From ea27f40ced90be742a1247e0e8ec30b90135860d Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 13 Dec 2024 17:30:45 +0100
Subject: [PATCH] coqPackages.coq-elpi: support master

---
 pkgs/development/coq-modules/coq-elpi/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix
index 5a6146de50b1..b4aa7727d6ab 100644
--- a/pkgs/development/coq-modules/coq-elpi/default.nix
+++ b/pkgs/development/coq-modules/coq-elpi/default.nix
@@ -167,6 +167,10 @@ in
     stdlib
   ];
 
+  preConfigure = ''
+    make elpi/dune || true
+  '';
+
   meta = {
     description = "Coq plugin embedding ELPI";
     maintainers = [ lib.maintainers.cohencyril ];