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 | |
parent | 8967a3f7981ad0d029a0057a4493701398893ad2 (diff) | |
download | nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.gz nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.bz2 nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.lz nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.xz nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.tar.zst nixpkgs-e61663a23310a7f7cdb5e87a4ca332948da39177.zip |
treewide: move to ocaml-ng system
Diffstat (limited to 'pkgs/applications/science/logic')
-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 b434063cae9..ec4e530ae52 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"; |