coqPackages.coq-elpi: support master

(cherry picked from commit ea27f40)
NixOS · Dec 16, 2024 · ea82ecb · ea82ecb
1 parent 411b89a
commit ea82ecb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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 ];