mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-27 01:13:05 +00:00
acba9240cd
It's currently the same machine, but tarballs.nixos.org should become an S3/CloudFront site eventually.
16 lines
414 B
Nix
16 lines
414 B
Nix
{ stdenv, fetchurl, x11 }:
|
|
|
|
stdenv.mkDerivation {
|
|
name = "ocaml-3.08.0";
|
|
builder = ./builder.sh;
|
|
src = fetchurl {
|
|
url = http://tarballs.nixos.org/ocaml-3.08.0.tar.gz;
|
|
md5 = "c6ef478362295c150101cdd2efcd38e0";
|
|
};
|
|
configureScript = ./configure-3.08.0;
|
|
dontAddPrefix = "True";
|
|
configureFlags = ["-no-tk" "-x11lib" x11];
|
|
buildFlags = ["world" "bootstrap" "opt"];
|
|
checkTarget = ["opt.opt"];
|
|
}
|