diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-14 17:38:45 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-15 11:24:17 +0000 |
commit | caec7dbb9fe4efced4d35c5496e592396bbb1b06 (patch) | |
tree | cd5df19b9fc8581d38557fc8d5be806a0f6ca9f4 /pkgs/applications/science/logic/coq/default.nix | |
parent | 5f97adccdc23117c87825cf410b3366e9139a74b (diff) | |
download | nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar.gz nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar.bz2 nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar.lz nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar.xz nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.tar.zst nixpkgs-caec7dbb9fe4efced4d35c5496e592396bbb1b06.zip |
coq: fix installation of OCaml libraries
Diffstat (limited to 'pkgs/applications/science/logic/coq/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 39bed68cdf1..5344eda0c3a 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -123,8 +123,11 @@ self = stdenv.mkDerivation { buildFlags = "revision coq coqide bin/votour"; + createFindlibDestdir = true; + postInstall = '' cp bin/votour $out/bin/ + ln -s $out/lib/coq $OCAMLFIND_DESTDIR/coq ''; meta = with stdenv.lib; { |