Merge pull request #3258 from proux01/elpi_dev

[extra-dev] Make coq-elpi compile on Coq master
coq · Dec 15, 2024 · 85f288d · 85f288d
2 parents 9e40d6b + 54493e1
commit 85f288d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -26,6 +26,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {dev}
+  [ make "elpi/dune" ]
   [
     "dune"
     "build"