coqPackages.coq-elpi: support master

2024-12-13 17:30:45 +01:00
parent 77f2b0312b
commit ea27f40ced
1 changed files with 4 additions and 0 deletions
@@ -167,6 +167,10 @@ in
    stdlib
  ];

+  preConfigure = ''
+    make elpi/dune || true
+  '';
+
  meta = {
    description = "Coq plugin embedding ELPI";
    maintainers = [ lib.maintainers.cohencyril ];