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, 0 insertions, 21 deletions
diff --git a/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix b/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix deleted file mode 100644 index 5762bed41a4a..000000000000 --- a/nixpkgs/pkgs/development/compilers/ocaml/3.08.0.nix +++ /dev/null @@ -1,21 +0,0 @@ -{ stdenv, fetchurl, xlibsWrapper }: - -stdenv.mkDerivation rec { - pname = "ocaml"; - version = "3.08.0"; - - builder = ./builder.sh; - src = fetchurl { - url = "http://tarballs.nixos.org/${pname}-${version}.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 = lib.platforms.linux; - }; -} |