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