ocaml: init at 4.07.0+beta2
This commit is contained in:
parent
c4b7bbf77e
commit
5c4ee2a3ab
9
pkgs/development/compilers/ocaml/4.07.nix
Normal file
9
pkgs/development/compilers/ocaml/4.07.nix
Normal file
@ -0,0 +1,9 @@
|
|||||||
|
import ./generic.nix {
|
||||||
|
major_version = "4";
|
||||||
|
minor_version = "07";
|
||||||
|
patch_version = "0+beta2";
|
||||||
|
sha256 = "0rrvl47kq982z2ns7cnasmlbj60mpmza2zyhl1kh45c5a3n7692n";
|
||||||
|
|
||||||
|
# If the executable is stripped it does not work
|
||||||
|
dontStrip = true;
|
||||||
|
}
|
@ -45,7 +45,8 @@ stdenv.mkDerivation (args // rec {
|
|||||||
;
|
;
|
||||||
|
|
||||||
buildFlags = "world" + optionalString useNativeCompilers " bootstrap world.opt";
|
buildFlags = "world" + optionalString useNativeCompilers " bootstrap world.opt";
|
||||||
buildInputs = [ncurses] ++ optionals useX11 [ libX11 xproto ];
|
buildInputs = optional (!stdenv.lib.versionAtLeast version "4.07") ncurses
|
||||||
|
++ optionals useX11 [ libX11 xproto ];
|
||||||
installTargets = "install" + optionalString useNativeCompilers " installopt";
|
installTargets = "install" + optionalString useNativeCompilers " installopt";
|
||||||
preConfigure = optionalString (!stdenv.lib.versionAtLeast version "4.04") ''
|
preConfigure = optionalString (!stdenv.lib.versionAtLeast version "4.04") ''
|
||||||
CAT=$(type -tp cat)
|
CAT=$(type -tp cat)
|
||||||
|
@ -1042,6 +1042,8 @@ in rec
|
|||||||
|
|
||||||
ocamlPackages_4_06 = mkOcamlPackages (callPackage ../development/compilers/ocaml/4.06.nix { }) (self: super: { });
|
ocamlPackages_4_06 = mkOcamlPackages (callPackage ../development/compilers/ocaml/4.06.nix { }) (self: super: { });
|
||||||
|
|
||||||
|
ocamlPackages_4_07 = mkOcamlPackages (callPackage ../development/compilers/ocaml/4.07.nix { }) (self: super: { });
|
||||||
|
|
||||||
ocamlPackages_latest = ocamlPackages_4_06;
|
ocamlPackages_latest = ocamlPackages_4_06;
|
||||||
|
|
||||||
ocamlPackages = ocamlPackages_4_05;
|
ocamlPackages = ocamlPackages_4_05;
|
||||||
|
Loading…
Reference in New Issue
Block a user