From 7a142c729464d9a63e958407d5a9185f0698bdb7 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 8 Mar 2021 15:16:54 +0100
Subject: [PATCH] [opam] adds dune dependencies and ignore local switch
---
.gitignore | 2 +-
opam/opam | 7 +++++--
2 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/.gitignore b/.gitignore
index 471cf458ebc..1a274ad1184 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,7 +23,7 @@ frama_c_journal.ml
/headers/hdrck
#build
-
+/_opam/
configure
autom4te.cache
.log.autoconf
diff --git a/opam/opam b/opam/opam
index a102e260f19..64d2322ea7e 100644
--- a/opam/opam
+++ b/opam/opam
@@ -106,6 +106,10 @@ run-test: [
depends: [
"ocaml" { >= "4.08.1" }
+ "dune" { >= "2.8.2" }
+ "dune-configurator"
+ "dune-private-libs"
+ "dune-site"
"ocamlgraph" { >= "1.8.8" }
"ocamlfind" # needed beyond build stage, used by -load-module
"zarith"
@@ -119,6 +123,7 @@ depends: [
"yojson"
"why3" { >= "1.3.3" }
"conf-time" { with-test }
+ "ppx_deriving_yojson"
]
depopts: [
@@ -129,8 +134,6 @@ depopts: [
"mlgmpidl"
"apron"
"zmq"
- "ppx_deriving"
- "ppx_deriving_yojson"
]
messages: [
--
GitLab