diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-06-26 19:38:47 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-06-26 19:38:47 +0200 |
| commit | 456089b74db4d93e33dff2c3f8abd58f6281f738 (patch) | |
| tree | 30666457b7bef394235094ec954b562a2eab2d9f | |
| parent | ac83ef3994e055cfba752476d1b1a673d94cd53e (diff) | |
| download | nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar.gz nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar.bz2 nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar.lz nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar.xz nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.tar.zst nixpkgs-456089b74db4d93e33dff2c3f8abd58f6281f738.zip | |
ocamlPackages.mlgmp: disable for OCaml ≥ 4.03
| -rw-r--r-- | pkgs/development/ocaml-modules/mlgmp/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/mlgmp/default.nix b/pkgs/development/ocaml-modules/mlgmp/default.nix index 0c51fe71ce1..20455cc6016 100644 --- a/pkgs/development/ocaml-modules/mlgmp/default.nix +++ b/pkgs/development/ocaml-modules/mlgmp/default.nix @@ -1,5 +1,8 @@ {stdenv, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }: +if stdenv.lib.versionAtLeast ocaml.version "4.03" +then throw "mlgmp is not available for OCaml ${ocaml.version}" else + let pname = "mlgmp"; in |