Merge pull request #641 from vbgl/master

Update coq-nix-toolbox
LPCIC · Jun 26, 2024 · d4f362b · d4f362b
2 parents 606a930 + 2ed63b1
commit d4f362b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"5814f779562efc3e3c0f9bfeaea0468728e2e08b"
+"bf47d818bbbd0f6a2d48cc4e0d876e0109077c75"
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -63,12 +63,7 @@ in mkCoqDerivation {
 
   mlPlugin = true;
   useDune = true;
-  propagatedBuildInputs = [ elpi coq.ocamlPackages.ppx_optcomp ];
-
-  postInstall = ''
-    mkdir -p "$OCAMLFIND_DESTDIR"
-    mv "$out/lib/coq-elpi" "$OCAMLFIND_DESTDIR"
-  '';
+  propagatedBuildInputs = [ coq.ocamlPackages.findlib elpi coq.ocamlPackages.ppx_optcomp ];
 
   meta = {
     description = "Coq plugin embedding ELPI.";