Merge pull request coq#3055 from coq/gares-patch-1

coq-elpi.dev
gares · Jun 25, 2024 · d51c8b5 · d51c8b5
2 parents 822391a + af1d972
commit d51c8b5
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -6,15 +6,12 @@ homepage: "https://github.com/LPCIC/coq-elpi"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 dev-repo: "git+https://github.com/LPCIC/coq-elpi"
 
-build: [ [ make "build"   "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" "OCAMLWARN=" ]
-         [ make "test"    "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" ] {with-test}
-       ]
-install: [ make "install" "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" ]
 depends: [
   "ocaml" {>= "4.10.0"}
   "stdlib-shims"
-  "elpi" {= "1.18.1" }
+  "elpi" {= "1.19.2" }
   "coq" {= "dev"}
+  "ppx_optcomp"
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"
@@ -37,5 +34,5 @@ numbers, or `{{A -> B}}` to the representation of a product by unfolding
 and
 new tactics."""
 url {
-  src: "git+https://github.com/LPCIC/coq-elpi.git#coq-master"
+  src: "git+https://github.com/LPCIC/coq-elpi.git"
 }