diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:46:16 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:52:54 +0200 |
commit | b25d65e0513b59a7767ca627ab61ed84c3ea0768 (patch) | |
tree | d353d3093875092fa11332f4e5fce6179be21e00 /pkgs/applications | |
parent | c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8 (diff) | |
download | nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar.gz nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar.bz2 nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar.lz nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar.xz nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.tar.zst nixlib-b25d65e0513b59a7767ca627ab61ed84c3ea0768.zip |
coq: use camlp5_strict
The versions of Coq available through this expression do not actually require camlp5_transitional. We drop this dependency to see if, in the future, the package camlp5_transitional can be removed from nixpkgs.
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 284175d2b4c7..3f4be58c2667 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -21,7 +21,7 @@ let "8.6.1" = "17cg2c40y9lskkiqfhngavp8yw3shpqgkpihh30xx0rlhn9amy1j"; }."${version}"; coq-version = builtins.substring 0 3 version; - camlp5 = ocamlPackages.camlp5_transitional; + camlp5 = ocamlPackages.camlp5_strict; ideFlags = if buildIde then "-lablgtkdir ${ocamlPackages.lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; csdpPatch = if csdp != null then '' substituteInPlace plugins/micromega/sos.ml --replace "; csdp" "; ${csdp}/bin/csdp" |