diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-17 13:26:43 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-17 13:26:43 +0200 |
commit | fa1247675544430e97aa0499ad5073b98cb31817 (patch) | |
tree | 0ba9e600d8cf8a5d97e50625b005ca04d0cfc816 /pkgs | |
parent | 7dea8e403e5540d1c1fe1b5f1003f81bb0971eb5 (diff) | |
download | nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.gz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.bz2 nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.lz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.xz nixlib-fa1247675544430e97aa0499ad5073b98cb31817.tar.zst nixlib-fa1247675544430e97aa0499ad5073b98cb31817.zip |
coq: add ocamlPackages in passthru
We might need OCaml packages that are not the one Coq is depending on but they still need to come from the same package set (same OCaml version).
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 23f1ff85edf0..040d722f9410 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -37,6 +37,8 @@ self = stdenv.mkDerivation { passthru = { inherit coq-version; + inherit ocamlPackages; + # For compatibility inherit (ocamlPackages) ocaml camlp5 findlib num; emacsBufferSetup = pkgs: '' ; Propagate coq paths to children |