Add qcheck dependency

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" ]
 ]

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" ]
 ]

colibrics.opam.template

-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" ]
-]

dune

 (vendored_dirs dolmen farith farith2)
+
+(rule (copy generic.opam.template colibrics.opam.template))
+(rule (copy generic.opam.template colibri2.opam.template))

dune-project

@@ -50,6 +50,8 @@
            "ppx_optcomp"
            "ppx_hash"
            "ocamlgraph"
+           "qcheck"
+           "ppx_deriving_qcheck"
            ("ounit2" :with-test)
           ("ocaml" (>= "4.08"))
            "ocplib-simplex"

colibri2.opam.template → generic.opam.template

@@ -2,4 +2,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" ]
 ]