Merge pull request #2897 from liyishuai/qc

Update coq-quickchick.dev
coq · Jan 16, 2024 · 65200ae · 65200ae
2 parents d44cc27 + 7d8cfcd
commit 65200ae
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam b/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam
@@ -7,20 +7,24 @@ dev-repo: "git+https://github.com/QuickChick/QuickChick.git"
 bug-reports: "https://github.com/QuickChick/QuickChick/issues"
 license: "MIT"
 
-build: [ make "-j" jobs ]
-install: [
-  [make "-j" jobs "install" ]
-  [make "-j" jobs "tests"] {with-test}
+build: [
+  [make "compat"]
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
 ]
 
 depends: [
+  "dune" {>= "2.8"}
   "ocaml" {>= "4.07"}
-  "coq" {>= "8.11"}
+  "menhir" {build}
+  "cppo" {build & >= "1.6.8"}
+  "coq" {>= "8.15~"}
   "coq-ext-lib"
   "coq-mathcomp-ssreflect"
   "coq-simple-io"
   "ocamlbuild"
   "ocamlfind"
+  "odoc" {with-doc}
 ]
 authors: [
   "Leonidas Lampropoulos <>"