diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/default.nix')
-rw-r--r-- | pkgs/development/compilers/ocaml/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/compilers/ocaml/default.nix b/pkgs/development/compilers/ocaml/default.nix index 12022cc6c3ee..3e05938295cb 100644 --- a/pkgs/development/compilers/ocaml/default.nix +++ b/pkgs/development/compilers/ocaml/default.nix @@ -6,5 +6,10 @@ stdenv.mkDerivation { src = fetchurl { url = http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08.0.tar.gz; md5 = "c6ef478362295c150101cdd2efcd38e0"; - } + }; + configureScript = ./configure; + dontAddPrefix = "True"; + configureFlags = "-no-tk"; + makeFlags = ["world" "bootstrap" "opt"]; + checkTarget = ["opt.opt"]; } |