diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix b/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix new file mode 100644 index 000000000000..4337de702e16 --- /dev/null +++ b/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix @@ -0,0 +1,21 @@ +{ stdenv, fetchurl, xlibsWrapper }: + +stdenv.mkDerivation rec { + name = "ocaml-${version}"; + version = "3.08.0"; + + builder = ./builder.sh; + src = fetchurl { + url = "http://tarballs.nixos.org/${name}.tar.gz"; + sha256 = "135g5waj7djzrj0dbc8z1llasfs2iv5asq41jifhldxb4l2b97mx"; + }; + configureScript = ./configure-3.08.0; + dontAddPrefix = "True"; + configureFlags = ["-no-tk" "-x11lib" xlibsWrapper]; + buildFlags = ["world" "bootstrap" "opt"]; + checkTarget = ["opt.opt"]; + + meta = { + platforms = stdenv.lib.platforms.linux; + }; +} |