Work around coq-community/coq-nix-toolbox#95

whonore · Feb 21, 2022 · 3f78ea6 · 3f78ea6
1 parent 0a7c6a0
commit 3f78ea6
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ci/coq.nix b/ci/coq.nix
@@ -11,5 +11,15 @@ let
     (filter (s: s != "") (match "coq([0-9]|master)([0-9]*)-.*" tox_version));
 in if dot_version == "8.4" then
   (import (fetchTarball url_8_4) { }).coq_8_4
+else if dot_version == "master" then
+  # NOTE: Temporary workaround until
+  # https://github.com/coq-community/coq-nix-toolbox/issues/95 is resolved
+  (pkgs.coq.override { version = dot_version; }).overrideAttrs (old: {
+    postInstall = old.postInstall + ''
+      for prog in $out/bin/coq*; do
+        wrapProgram $prog --prefix OCAMLPATH : $OCAMLPATH
+      done
+    '';
+  })
 else
   pkgs.coq.override ({ version = dot_version; })