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/development/compilers/compcert | |
| 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/development/compilers/compcert')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 4957706ea0f8..fb95372a96f7 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -1,7 +1,10 @@ -{ stdenv, fetchurl, coq, ocamlPackages +{ stdenv, lib, fetchurl +, coq, ocaml, findlib, menhir , tools ? stdenv.cc }: +assert lib.versionAtLeast ocaml.version "4.02"; + stdenv.mkDerivation rec { name = "compcert-${version}"; version = "2.7.1"; @@ -11,7 +14,7 @@ stdenv.mkDerivation rec { sha256 = "1vhbs1fmr9x2imqyd6yfvkbz763jhjfm9wk4nizf9rn1cvxrjqa4"; }; - buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib menhir ]); + buildInputs = [ coq ocaml findlib menhir ]; enableParallelBuilding = true; |