diff options
| author | Kirill Boltaev <aske@fmap.me> | 2016-09-19 20:00:42 +0300 |
|---|---|---|
| committer | Kirill Boltaev <aske@fmap.me> | 2016-09-26 02:36:49 +0300 |
| commit | e61663a23310a7f7cdb5e87a4ca332948da39177 (patch) | |
| tree | a2721ff7b833ace5026d8dcaba1310b29320382a /pkgs/applications/science/logic/coq/8.3.nix | |
| parent | 8967a3f7981ad0d029a0057a4493701398893ad2 (diff) | |
| download | nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.gz nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.bz2 nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.lz nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.xz nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.zst nixlib-e61663a23310a7f7cdb5e87a4ca332948da39177.zip | |
treewide: move to ocaml-ng system
Diffstat (limited to 'pkgs/applications/science/logic/coq/8.3.nix')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.3.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/8.3.nix b/pkgs/applications/science/logic/coq/8.3.nix index b434063cae98..ec4e530ae523 100644 --- a/pkgs/applications/science/logic/coq/8.3.nix +++ b/pkgs/applications/science/logic/coq/8.3.nix @@ -3,7 +3,10 @@ # However, coq can build without csdp by setting it to null. # In this case some Micromega tactics will search the user's path for the csdp program and will fail if it is not found. -{ stdenv, make, fetchurl, ocaml, findlib, camlp5, ncurses, lablgtk ? null, csdp ? null }: +{ stdenv, lib, make, fetchurl +, ocaml, findlib, camlp5, ncurses, lablgtk ? null, csdp ? null }: + +assert lib.versionOlder ocaml.version "4"; let version = "8.3pl4"; |