diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 13:14:31 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 13:14:31 +0000 |
| commit | d40b6801012613ee1fddcee95e012b01e7dc8360 (patch) | |
| tree | 66c19568ecbd49f8b2f1b1caedb602c57eaf2565 /pkgs/applications/science/logic | |
| parent | 42bf99ef443f4f59e1972b42116407279c312e58 (diff) | |
| download | nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.gz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.bz2 nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.lz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.xz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.zst nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.zip | |
coq-8.4: fix build of ssreflect and mathcomp
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.4.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/8.4.nix b/pkgs/applications/science/logic/coq/8.4.nix index f162fe4a86ea..32007ba45ce3 100644 --- a/pkgs/applications/science/logic/coq/8.4.nix +++ b/pkgs/applications/science/logic/coq/8.4.nix @@ -63,6 +63,7 @@ stdenv.mkDerivation { ''; passthru = { + inherit findlib; emacsBufferSetup = pkgs: '' ; Propagate coq paths to children (inherit-local-permanent coq-prog-name "${self}/bin/coqtop") |