diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-14 07:25:54 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-11-21 05:59:49 +0000 |
| commit | e481df83b1c1df52b6c5d4df7808cd8b9286f239 (patch) | |
| tree | df8d53d33d355541fc46ba0a183fcb6f8c85274d /pkgs/top-level/ocaml-packages.nix | |
| parent | 4a38cfbeb6a7abed9f70f4e126dcce48e1cf46c6 (diff) | |
| download | nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar.gz nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar.bz2 nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar.lz nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar.xz nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.tar.zst nixlib-e481df83b1c1df52b6c5d4df7808cd8b9286f239.zip | |
ocamlPackages.camlp5: 7.06 -> 7.07
Keeping the legacy (7.06) version around, needed by hol_light
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 1d0c14914362..cf06b52c5ba0 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1039,7 +1039,9 @@ let enableX11 = config.unison.enableX11 or true; }; - hol_light = callPackage ../applications/science/logic/hol_light { }; + hol_light = callPackage ../applications/science/logic/hol_light { + camlp5 = callPackage ../development/tools/ocaml/camlp5 { legacy = true; }; + }; }; in (ocamlPackages.janeStreet // ocamlPackages); |