[extra-dev] Make coq-elpi compile on Coq master

coq · Dec 15, 2024 · 54493e1 · 54493e1
1 parent 9e40d6b
commit 54493e1
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"