diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/3.09.1.nix')
-rw-r--r-- | pkgs/development/compilers/ocaml/3.09.1.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ocaml/3.09.1.nix b/pkgs/development/compilers/ocaml/3.09.1.nix new file mode 100644 index 000000000000..6e9922ccc366 --- /dev/null +++ b/pkgs/development/compilers/ocaml/3.09.1.nix @@ -0,0 +1,16 @@ +args: with args; + +stdenv.mkDerivation { + name = "ocaml-3.09.1"; + builder = ./builder.sh; + src = fetchurl { + url = http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.1.tar.gz; + md5 = "c73f4b093e27ba5bf13d62923f89befc"; + }; + configureScript = ./configure-3.09.1; + dontAddPrefix = "True"; + configureFlags = ["-no-tk" "-x11lib" x11]; + buildFlags = ["world" "bootstrap" "opt"]; + checkTarget = ["opt.opt"]; + buildInputs = [x11 ncurses]; +} |