From 45d9230f3c9d06c8ff16d402c8e82a3f9c1abb7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sat, 11 Dec 2021 10:55:55 +0100
Subject: [PATCH] Add qcheck dependency
---
colibri2.opam | 7 +++++++
colibri2.opam.template | 5 -----
colibrics.opam | 5 +++++
colibrics.opam.template | 5 -----
dune | 3 +++
dune-project | 2 ++
generic.opam.template | 10 ++++++++++
7 files changed, 27 insertions(+), 10 deletions(-)
delete mode 100644 colibri2.opam.template
delete mode 100644 colibrics.opam.template
create mode 100644 generic.opam.template
diff --git a/colibri2.opam b/colibri2.opam
index 689bf16d7..2396f7b8c 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -27,6 +27,8 @@ depends: [
"ppx_optcomp"
"ppx_hash"
"ocamlgraph"
+ "qcheck"
+ "ppx_deriving_qcheck"
"ounit2" {with-test}
"ocaml" {>= "4.08"}
"ocplib-simplex"
@@ -51,4 +53,9 @@ pin-depends: [
[ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+ [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
]
diff --git a/colibri2.opam.template b/colibri2.opam.template
deleted file mode 100644
index d285ebc0a..000000000
--- a/colibri2.opam.template
+++ /dev/null
@@ -1,5 +0,0 @@
-pin-depends: [
- [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
- [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
- [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-]
diff --git a/colibrics.opam b/colibrics.opam
index 6ab0410da..d8b2549b2 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -40,4 +40,9 @@ pin-depends: [
[ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+ [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
]
diff --git a/colibrics.opam.template b/colibrics.opam.template
deleted file mode 100644
index d285ebc0a..000000000
--- a/colibrics.opam.template
+++ /dev/null
@@ -1,5 +0,0 @@
-pin-depends: [
- [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
- [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
- [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
-]
diff --git a/dune b/dune
index 9b7d214cb..81b443b85 100644
--- a/dune
+++ b/dune
@@ -1 +1,4 @@
(vendored_dirs dolmen farith farith2)
+
+(rule (copy generic.opam.template colibrics.opam.template))
+(rule (copy generic.opam.template colibri2.opam.template))
diff --git a/dune-project b/dune-project
index 338e65f6c..ee1654981 100644
--- a/dune-project
+++ b/dune-project
@@ -50,6 +50,8 @@
"ppx_optcomp"
"ppx_hash"
"ocamlgraph"
+ "qcheck"
+ "ppx_deriving_qcheck"
("ounit2" :with-test)
("ocaml" (>= "4.08"))
"ocplib-simplex"
diff --git a/generic.opam.template b/generic.opam.template
new file mode 100644
index 000000000..0974d366c
--- /dev/null
+++ b/generic.opam.template
@@ -0,0 +1,10 @@
+pin-depends: [
+ [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+ [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+ [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+ [ "ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-alcotest.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-core.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+ [ "qcheck-ounit.0.18" "git+https://github.com/c-cube/qcheck.git#3999873752173b2802b3ee181beae554ef7fa113" ]
+]
--
GitLab