From 54493e12e3e287fee199ca089086e6e4983fcd5b Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sun, 15 Dec 2024 11:06:50 +0100
Subject: [PATCH] [extra-dev] Make coq-elpi compile on Coq master

---
 extra-dev/packages/coq-elpi/coq-elpi.dev/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
index c47915b3a..07b4c28da 100644
--- 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"