diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-21 18:52:09 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-29 12:49:44 +0000 |
commit | 8a62ad06c2ddb5af80028f78524ff16cd29bc327 (patch) | |
tree | 99521f79594ba85e1e89afe6d8fb2e751f09ac1c /pkgs/development/ocaml-modules | |
parent | e79e66cad13e116351cc8e339a27f92e4784ac84 (diff) | |
download | nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar.gz nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar.bz2 nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar.lz nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar.xz nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.tar.zst nixlib-8a62ad06c2ddb5af80028f78524ff16cd29bc327.zip |
ocamlPackages.cil: disable for OCaml ≥ 4.06
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/cil/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/cil/default.nix b/pkgs/development/ocaml-modules/cil/default.nix index 0394266353ce..5fbb141b6cce 100644 --- a/pkgs/development/ocaml-modules/cil/default.nix +++ b/pkgs/development/ocaml-modules/cil/default.nix @@ -1,4 +1,9 @@ { stdenv, fetchurl, perl, ocaml, findlib, ocamlbuild }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "cil is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-cil-1.7.3"; src = fetchurl { |