From b5a6e6cf010a53dd6a761c08ad08815f295bb32a Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 12:36:21 +0000 Subject: [PATCH 01/45] unison: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index da150ae19caf..92ea89a043ab 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18898,7 +18898,7 @@ with pkgs; unigine-valley = callPackage ../applications/graphics/unigine-valley { }; - inherit (ocamlPackages) unison; + inherit (ocaml-ng.ocamlPackages_4_05) unison; unpaper = callPackage ../tools/graphics/unpaper { }; From 28ee1ae69d17eb61131e29f6a7d497cf4c2c70a4 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 12:43:13 +0000 Subject: [PATCH 02/45] libbap: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 92ea89a043ab..597b2df21235 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -10095,7 +10095,7 @@ with pkgs; libb2 = callPackage ../development/libraries/libb2 { }; libbap = callPackage ../development/libraries/libbap { - inherit (ocamlPackages) bap ocaml findlib ctypes; + inherit (ocaml-ng.ocamlPackages_4_05) bap ocaml findlib ctypes; }; libbass = (callPackage ../development/libraries/audio/libbass { }).bass; From c81d4f800e1fdc041ec2c7f1e190cb192d088c0c Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 12:54:19 +0000 Subject: [PATCH 03/45] acgtk: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 597b2df21235..432746a60913 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20835,7 +20835,9 @@ with pkgs; abella = callPackage ../applications/science/logic/abella {}; - acgtk = callPackage ../applications/science/logic/acgtk { }; + acgtk = callPackage ../applications/science/logic/acgtk { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; alt-ergo = callPackage ../applications/science/logic/alt-ergo { }; From 18b3b676894f531b49471a93da39cdf9d1940a73 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 12:58:31 +0000 Subject: [PATCH 04/45] alt-ergo: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 432746a60913..f54734844a29 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20839,7 +20839,9 @@ with pkgs; ocamlPackages = ocaml-ng.ocamlPackages_4_05; }; - alt-ergo = callPackage ../applications/science/logic/alt-ergo { }; + alt-ergo = callPackage ../applications/science/logic/alt-ergo { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; aspino = callPackage ../applications/science/logic/aspino {}; From 124639bd8f244b2aba905e72e1fc28ed610832f1 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:36:25 +0000 Subject: [PATCH 05/45] jackline: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index f54734844a29..f9a49dddb7df 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16844,7 +16844,9 @@ with pkgs; extra-packages = [ csound ]; }; - jackline = callPackage ../applications/networking/instant-messengers/jackline { }; + jackline = callPackage ../applications/networking/instant-messengers/jackline { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; slack = callPackage ../applications/networking/instant-messengers/slack { }; From 65f42595cfa161c874720ed39dbd47d604c0f8b0 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 19:10:18 +0000 Subject: [PATCH 06/45] sapic: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index f9a49dddb7df..097c1b2b41bd 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20964,7 +20964,9 @@ with pkgs; proverif = callPackage ../applications/science/logic/proverif { }; - sapic = callPackage ../applications/science/logic/sapic { }; + sapic = callPackage ../applications/science/logic/sapic { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; satallax = callPackage ../applications/science/logic/satallax { ocaml = ocaml-ng.ocamlPackages_4_01_0.ocaml; From be6769816d0cb05709b10969bf29fe19ad1e72cb Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 19:17:10 +0000 Subject: [PATCH 07/45] statverif: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 097c1b2b41bd..22e6e45af0ac 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20978,7 +20978,9 @@ with pkgs; stdenv = gccStdenv; }; - statverif = callPackage ../applications/science/logic/statverif { }; + statverif = callPackage ../applications/science/logic/statverif { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; tptp = callPackage ../applications/science/logic/tptp {}; From 8cdb0c3cbdab5769db25098954fd0806fb6d0939 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 19:45:15 +0000 Subject: [PATCH 08/45] opam: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 22e6e45af0ac..cae82e79cef7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7113,7 +7113,9 @@ with pkgs; opaline = callPackage ../development/tools/ocaml/opaline { }; - opam = callPackage ../development/tools/ocaml/opam { }; + opam = callPackage ../development/tools/ocaml/opam { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; picat = callPackage ../development/compilers/picat { stdenv = overrideCC stdenv gcc49; From 9b76bf991f19fdba247a8ecfcf57ca01ddd0971a Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 21:22:24 +0000 Subject: [PATCH 09/45] coq_8_5: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- pkgs/top-level/coq-packages.nix | 2 ++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cae82e79cef7..519f695c039b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20855,7 +20855,9 @@ with pkgs; inherit (callPackage ./coq-packages.nix { inherit (ocaml-ng) ocamlPackages_3_12_1 - ocamlPackages_4_02; + ocamlPackages_4_02 + ocamlPackages_4_05 + ; }) mkCoqPackages coq_8_3 coq_8_4 coq_8_5 coq_8_6 coq_8_7 coq_8_8 coqPackages_8_5 coqPackages_8_6 coqPackages_8_7 coqPackages_8_8 diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 5f784e645349..907c2eb0e27e 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -2,6 +2,7 @@ , gnumake3 , ocamlPackages_3_12_1 , ocamlPackages_4_02 +, ocamlPackages_4_05 }: let @@ -65,6 +66,7 @@ in rec { camlp5 = ocamlPackages_4_02.camlp5_transitional; }; coq_8_5 = callPackage ../applications/science/logic/coq { + ocamlPackages = ocamlPackages_4_05; version = "8.5pl3"; }; coq_8_6 = callPackage ../applications/science/logic/coq { From 271af919e352c1a0d301fd364e1b5482701aff96 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 21:29:54 +0000 Subject: [PATCH 10/45] coccinelle: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 519f695c039b..2d7672b77f63 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8089,7 +8089,9 @@ with pkgs; # Does not actually depend on Qt 5 inherit (kdeFrameworks) extra-cmake-modules kapidox kdoctools; - coccinelle = callPackage ../development/tools/misc/coccinelle { }; + coccinelle = callPackage ../development/tools/misc/coccinelle { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; cpptest = callPackage ../development/libraries/cpptest { }; From 9edd1875bc07fae5d5ac7e5beb0d4d26b8ad191f Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 21:33:13 +0000 Subject: [PATCH 11/45] coq_8_6: use OCaml 4.05 --- pkgs/top-level/coq-packages.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 907c2eb0e27e..818f896048ba 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -70,6 +70,7 @@ in rec { version = "8.5pl3"; }; coq_8_6 = callPackage ../applications/science/logic/coq { + ocamlPackages = ocamlPackages_4_05; version = "8.6.1"; }; coq_8_7 = callPackage ../applications/science/logic/coq { From 4d26e2a31238682932cc2c756dee56968738d181 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 21:41:24 +0000 Subject: [PATCH 12/45] mldonkey: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 2d7672b77f63..3ecbf984b528 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17454,7 +17454,9 @@ with pkgs; mjpg-streamer = callPackage ../applications/video/mjpg-streamer { }; - mldonkey = callPackage ../applications/networking/p2p/mldonkey { }; + mldonkey = callPackage ../applications/networking/p2p/mldonkey { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; MMA = callPackage ../applications/audio/MMA { }; From 7211ee1aeb45f19b0edcd33326f3600e3da4e6af Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 22:13:27 +0000 Subject: [PATCH 13/45] haxe: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3ecbf984b528..0da9fc4e15de 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6716,7 +6716,7 @@ with pkgs; graphviz = graphviz-nox; }); - inherit (ocamlPackages.haxe) haxe_3_2 haxe_3_4; + inherit (ocaml-ng.ocamlPackages_4_05.haxe) haxe_3_2 haxe_3_4; haxe = haxe_3_4; haxePackages = recurseIntoAttrs (callPackage ./haxe-packages.nix { }); inherit (haxePackages) hxcpp; From 4d8c0d75b35cc0bc127f5a139ec70b37eff06c5d Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 22:39:30 +0000 Subject: [PATCH 14/45] cubicle: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 0da9fc4e15de..dded66094264 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20876,7 +20876,9 @@ with pkgs; caprice32 = callPackage ../misc/emulators/caprice32 { }; - cubicle = callPackage ../applications/science/logic/cubicle { }; + cubicle = callPackage ../applications/science/logic/cubicle { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; cvc3 = callPackage ../applications/science/logic/cvc3 { gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; }); From 6a220840afdaf2b316ded71e54e51ac7e8a70b81 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 27 Aug 2018 08:03:51 +0000 Subject: [PATCH 15/45] xen_4_8: use OCaml 4.05 --- pkgs/applications/virtualization/xen/4.8.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/virtualization/xen/4.8.nix b/pkgs/applications/virtualization/xen/4.8.nix index f99cdb69d2a8..2a59cd1f0615 100644 --- a/pkgs/applications/virtualization/xen/4.8.nix +++ b/pkgs/applications/virtualization/xen/4.8.nix @@ -1,4 +1,5 @@ { stdenv, callPackage, fetchurl, fetchpatch, fetchgit +, ocaml-ng , withInternalQemu ? true , withInternalTraditionalQemu ? true , withInternalSeabios ? true @@ -181,4 +182,4 @@ callPackage (import ./generic.nix (rec { else throw "this xen has no qemu builtin"; }; -})) args +})) ({ ocamlPackages = ocaml-ng.ocamlPackages_4_05; } // args) From 5670f77a90650d7a224d12e89144741f696b1fb7 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 28 Aug 2018 04:52:28 +0000 Subject: [PATCH 16/45] obliv-c: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index dded66094264..6b7b8d3b260b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7088,7 +7088,9 @@ with pkgs; nvidia_cg_toolkit = callPackage ../development/compilers/nvidia-cg-toolkit { }; - obliv-c = callPackage ../development/compilers/obliv-c {}; + obliv-c = callPackage ../development/compilers/obliv-c { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; ocaml-ng = callPackage ./ocaml-packages.nix { }; ocaml = ocamlPackages.ocaml; From 8a23558db1ec96452eed6bd78813bd7084a68ee7 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 28 Aug 2018 05:09:44 +0000 Subject: [PATCH 17/45] xen_4_10: use OCaml 4.05 --- pkgs/applications/virtualization/xen/4.10.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/virtualization/xen/4.10.nix b/pkgs/applications/virtualization/xen/4.10.nix index 5e21f7ee6081..f3055fc79c35 100644 --- a/pkgs/applications/virtualization/xen/4.10.nix +++ b/pkgs/applications/virtualization/xen/4.10.nix @@ -1,4 +1,5 @@ { stdenv, callPackage, fetchurl, fetchpatch, fetchgit +, ocaml-ng , withInternalQemu ? true , withInternalTraditionalQemu ? true , withInternalSeabios ? true @@ -177,4 +178,4 @@ callPackage (import ./generic.nix (rec { else throw "this xen has no qemu builtin"; }; -})) args +})) ({ ocamlPackages = ocaml-ng.ocamlPackages_4_05; } // args) From f661b0dbf69719ac143dce0c4a2ec234a0cb4148 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 29 Aug 2018 12:29:01 +0000 Subject: [PATCH 18/45] tlaps: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 6b7b8d3b260b..4353b9401362 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21023,7 +21023,9 @@ with pkgs; z3 = callPackage ../applications/science/logic/z3 { python = python2; }; tlaplus = callPackage ../applications/science/logic/tlaplus {}; - tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {}; + tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; tlaplusToolbox = callPackage ../applications/science/logic/tlaplus/toolbox.nix {gtk = gtk2;}; aiger = callPackage ../applications/science/logic/aiger {}; From 6d38ada0ba0831f1d3aba5354ad9df15ffd22296 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 29 Aug 2018 12:31:35 +0000 Subject: [PATCH 19/45] wyrd: use OCaml 4.05 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 4353b9401362..98ed8a046d96 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6050,7 +6050,9 @@ with pkgs; wv2 = callPackage ../tools/misc/wv2 { }; - wyrd = callPackage ../tools/misc/wyrd { }; + wyrd = callPackage ../tools/misc/wyrd { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; x86info = callPackage ../os-specific/linux/x86info { }; From 15a568cfe67abf19f2443163ef50bdf38f70937b Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:15:58 +0000 Subject: [PATCH 20/45] =?UTF-8?q?ocamlPackages.bin=5Fprot=5Fp4:=20disable?= =?UTF-8?q?=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/bin_prot/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/bin_prot/default.nix b/pkgs/development/ocaml-modules/bin_prot/default.nix index 1acb17a8f7a3..bc075295cf33 100644 --- a/pkgs/development/ocaml-modules/bin_prot/default.nix +++ b/pkgs/development/ocaml-modules/bin_prot/default.nix @@ -1,4 +1,8 @@ -{stdenv, buildOcaml, fetchurl, type_conv}: +{ stdenv, buildOcaml, fetchurl, ocaml, type_conv }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "bin_prot-112.24.00 is not available for OCaml ${ocaml.version}" +else buildOcaml rec { name = "bin_prot"; From c2b86bc5bbde88b94f658a56f69bf92460251616 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:20:43 +0000 Subject: [PATCH 21/45] =?UTF-8?q?ocamlPackages.fieldslib=5Fp4:=20disable?= =?UTF-8?q?=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/fieldslib/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/fieldslib/default.nix b/pkgs/development/ocaml-modules/fieldslib/default.nix index 6a8db9e62816..36c1342e61fa 100644 --- a/pkgs/development/ocaml-modules/fieldslib/default.nix +++ b/pkgs/development/ocaml-modules/fieldslib/default.nix @@ -2,6 +2,10 @@ assert stdenv.lib.versionOlder "4.00" (stdenv.lib.getVersion ocaml); +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "fieldslib-109.20.03 is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-fieldslib-109.20.03"; From f7c617e34d6a39d1b5e7664d3dc15bd029d26cd0 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:23:32 +0000 Subject: [PATCH 22/45] =?UTF-8?q?ocamlPackages.enumerate:=20disable=20for?= =?UTF-8?q?=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/enumerate/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/enumerate/default.nix b/pkgs/development/ocaml-modules/enumerate/default.nix index 557f2f88d8d2..4f0c182726de 100644 --- a/pkgs/development/ocaml-modules/enumerate/default.nix +++ b/pkgs/development/ocaml-modules/enumerate/default.nix @@ -2,6 +2,10 @@ assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.00"; +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "enumerate-111.08.00 is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-enumerate-111.08.00"; From a04f3afc3c4f512a1ae8a44901493757ff09b4ce Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:26:56 +0000 Subject: [PATCH 23/45] =?UTF-8?q?ocamlPackages.faillib:=20disable=20for=20?= =?UTF-8?q?OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/faillib/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/faillib/default.nix b/pkgs/development/ocaml-modules/faillib/default.nix index 98acc8032e3f..9b80433b6d19 100644 --- a/pkgs/development/ocaml-modules/faillib/default.nix +++ b/pkgs/development/ocaml-modules/faillib/default.nix @@ -1,4 +1,8 @@ -{stdenv, buildOcaml, fetchurl, herelib, camlp4}: +{ stdenv, buildOcaml, fetchurl, ocaml, herelib, camlp4 }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "faillib-111.17.00 is not available for OCaml ${ocaml.version}" +else buildOcaml rec { minimumSupportedOcamlVersion = "4.00"; From efbc322c9fb4bc9f35ad8b8c12f5dfa406a57188 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:30:36 +0000 Subject: [PATCH 24/45] =?UTF-8?q?ocamlPackages.variantslib=5Fp4:=20disable?= =?UTF-8?q?=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/variantslib/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/variantslib/default.nix b/pkgs/development/ocaml-modules/variantslib/default.nix index cb25b844606d..425383a64854 100644 --- a/pkgs/development/ocaml-modules/variantslib/default.nix +++ b/pkgs/development/ocaml-modules/variantslib/default.nix @@ -1,4 +1,8 @@ -{stdenv, buildOcaml, fetchurl, type_conv}: +{ stdenv, buildOcaml, ocaml, fetchurl, type_conv }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "variantslib-109.15.03 is not available for OCaml ${ocaml.version}" +else buildOcaml rec { name = "variantslib"; From 09821d23ba3fe37a26d30592e6833de336581212 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:35:54 +0000 Subject: [PATCH 25/45] =?UTF-8?q?ocamlPackages.bolt:=20disable=20for=20OCa?= =?UTF-8?q?ml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/bolt/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/bolt/default.nix b/pkgs/development/ocaml-modules/bolt/default.nix index 121f484ce419..b5a4f179b17a 100644 --- a/pkgs/development/ocaml-modules/bolt/default.nix +++ b/pkgs/development/ocaml-modules/bolt/default.nix @@ -5,6 +5,10 @@ let inherit (stdenv.lib) getVersion versionAtLeast; in assert versionAtLeast (getVersion ocaml) "4.00.0"; assert versionAtLeast (getVersion findlib) "1.3.3"; +if versionAtLeast ocaml.version "4.06" +then throw "bolt is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "bolt-1.4"; From 354dedfec3691f5504429bcb876a8b8e4e007323 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:40:03 +0000 Subject: [PATCH 26/45] =?UTF-8?q?ocamlPackages.camlimages=5F4=5F1:=20disab?= =?UTF-8?q?le=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/camlimages/4.1.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/camlimages/4.1.nix b/pkgs/development/ocaml-modules/camlimages/4.1.nix index 77a252de52fd..31b4047efc81 100644 --- a/pkgs/development/ocaml-modules/camlimages/4.1.nix +++ b/pkgs/development/ocaml-modules/camlimages/4.1.nix @@ -2,6 +2,10 @@ assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.00"; +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "camlimages-4.1.2 is not available for OCaml ${ocaml.version}" +else + let pname = "camlimages"; version = "4.1.2"; From 6a9831940d364b8bed5eac6148b5cf0fddfddf27 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:43:01 +0000 Subject: [PATCH 27/45] =?UTF-8?q?ocamlPackages.dypgen:=20disable=20for=20O?= =?UTF-8?q?Caml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/dypgen/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/dypgen/default.nix b/pkgs/development/ocaml-modules/dypgen/default.nix index 1bdcae521dd8..1abf387bdd3f 100644 --- a/pkgs/development/ocaml-modules/dypgen/default.nix +++ b/pkgs/development/ocaml-modules/dypgen/default.nix @@ -4,6 +4,10 @@ let pname = "dypgen"; in +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "${pname} is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "${pname}-${version}"; version = "20120619-1"; From 23fd7e452fd0759bbbc9d01940a8b7de261fe99f Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:45:30 +0000 Subject: [PATCH 28/45] =?UTF-8?q?ocamlPackages.frontc:=20disable=20for=20O?= =?UTF-8?q?Caml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/frontc/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/frontc/default.nix b/pkgs/development/ocaml-modules/frontc/default.nix index ecf1ddc8fbae..e5330789e262 100644 --- a/pkgs/development/ocaml-modules/frontc/default.nix +++ b/pkgs/development/ocaml-modules/frontc/default.nix @@ -1,4 +1,8 @@ -{lib, buildOcaml, fetchurl}: +{ lib, buildOcaml, fetchurl, ocaml }: + +if lib.versionAtLeast ocaml.version "4.06" +then throw "FrontC is not available for OCaml ${ocaml.version}" +else buildOcaml rec { name = "FrontC"; From 78b8fc7a757aa30db59a0b41c2a1fcfa47ea2e28 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 13:53:38 +0000 Subject: [PATCH 29/45] =?UTF-8?q?ocamlPackages.gtktop:=20disable=20for=20O?= =?UTF-8?q?Caml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/gtktop/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/gtktop/default.nix b/pkgs/development/ocaml-modules/gtktop/default.nix index de0334c2a183..07420693005d 100644 --- a/pkgs/development/ocaml-modules/gtktop/default.nix +++ b/pkgs/development/ocaml-modules/gtktop/default.nix @@ -2,6 +2,10 @@ let pname = "gtktop-2.0"; in +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "${pname} is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-${pname}"; From 4f7c4e70e4007b270247de66a73f4ba9a9f3c995 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 14:14:54 +0000 Subject: [PATCH 30/45] =?UTF-8?q?ocamlPackages.lwt2:=20disable=20for=20OCa?= =?UTF-8?q?ml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/lwt/legacy.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/development/ocaml-modules/lwt/legacy.nix b/pkgs/development/ocaml-modules/lwt/legacy.nix index 53ba904f628e..cd40a5051be9 100644 --- a/pkgs/development/ocaml-modules/lwt/legacy.nix +++ b/pkgs/development/ocaml-modules/lwt/legacy.nix @@ -6,6 +6,7 @@ }: if !stdenv.lib.versionAtLeast ocaml.version "4" + || stdenv.lib.versionAtLeast ocaml.version "4.06" then throw "lwt is not available for OCaml ${ocaml.version}" else From 84e3cece288368029b028b39c41a69024d1f774e Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 14:24:41 +0000 Subject: [PATCH 31/45] =?UTF-8?q?ocamlPackages.ulex08:=20disable=20for=20O?= =?UTF-8?q?Caml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/ulex/0.8/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/ulex/0.8/default.nix b/pkgs/development/ocaml-modules/ulex/0.8/default.nix index 288e9a6933e7..6c0cf9214f29 100644 --- a/pkgs/development/ocaml-modules/ulex/0.8/default.nix +++ b/pkgs/development/ocaml-modules/ulex/0.8/default.nix @@ -4,6 +4,10 @@ let pname = "ulex"; in +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "ulex-0.8 is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "${pname}-${version}"; version = "0.8"; From 06cd948ba305db25b02149061cb0b6bc52d3992e Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 16:02:42 +0000 Subject: [PATCH 32/45] =?UTF-8?q?ocamlPackages.sqlite3EZ:=20disable=20for?= =?UTF-8?q?=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/sqlite3EZ/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/sqlite3EZ/default.nix b/pkgs/development/ocaml-modules/sqlite3EZ/default.nix index ef9c254aba14..e8f248ee4a1c 100644 --- a/pkgs/development/ocaml-modules/sqlite3EZ/default.nix +++ b/pkgs/development/ocaml-modules/sqlite3EZ/default.nix @@ -2,6 +2,10 @@ assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "3.12"; +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "sqlite3EZ is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-sqlite3EZ-0.1.0"; From ea276e21cf4d1b83e3169f2bab2e8361a78e3e1e Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 16:17:57 +0000 Subject: [PATCH 33/45] =?UTF-8?q?ocamlPackages.pa=5Founit:=20disable=20for?= =?UTF-8?q?=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/pa_ounit/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/pa_ounit/default.nix b/pkgs/development/ocaml-modules/pa_ounit/default.nix index fa4ecfcc28b2..2471c855cf54 100644 --- a/pkgs/development/ocaml-modules/pa_ounit/default.nix +++ b/pkgs/development/ocaml-modules/pa_ounit/default.nix @@ -1,4 +1,8 @@ -{stdenv, buildOcaml, fetchurl, ounit}: +{ stdenv, buildOcaml, ocaml, fetchurl, ounit }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "pa_ounit is not available for OCaml ${ocaml.version}" +else buildOcaml rec { name = "pa_ounit"; From 450e35804025d9e26fbd142a653741bcc89f36fa Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 16:32:48 +0000 Subject: [PATCH 34/45] =?UTF-8?q?ocamlPackages.omake=5Frc1:=20disable=20fo?= =?UTF-8?q?r=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/tools/ocaml/omake/0.9.8.6-rc1.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/development/tools/ocaml/omake/0.9.8.6-rc1.nix b/pkgs/development/tools/ocaml/omake/0.9.8.6-rc1.nix index 84365889638c..4d7900de80d2 100644 --- a/pkgs/development/tools/ocaml/omake/0.9.8.6-rc1.nix +++ b/pkgs/development/tools/ocaml/omake/0.9.8.6-rc1.nix @@ -4,6 +4,11 @@ let version = "0.9.8.6-0.rc1"; webpage = "http://omake.metaprl.org"; in + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "${pname}-${version} is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "${pname}-${version}"; From ebd62e2423a7c12083566086f2ffb697321cf858 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 17:34:09 +0000 Subject: [PATCH 35/45] =?UTF-8?q?ocamlPackages.ocaml=5Fcairo:=20disable=20?= =?UTF-8?q?for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/ocaml-cairo/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/ocaml-cairo/default.nix b/pkgs/development/ocaml-modules/ocaml-cairo/default.nix index e1590bb0c9ae..22215b8da0dc 100644 --- a/pkgs/development/ocaml-modules/ocaml-cairo/default.nix +++ b/pkgs/development/ocaml-modules/ocaml-cairo/default.nix @@ -4,6 +4,10 @@ let pname = "ocaml-cairo"; in +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "${pname} is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "${pname}-${version}"; version = "1.2.0"; From 3fb8dac658a4792f8735bfbc5801f476d3309e66 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 17:41:42 +0000 Subject: [PATCH 36/45] =?UTF-8?q?ocamlPackages.ocaml=5Fcryptgps:=20disable?= =?UTF-8?q?=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/cryptgps/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/cryptgps/default.nix b/pkgs/development/ocaml-modules/cryptgps/default.nix index cb85ebce5016..f8eb80837a3e 100644 --- a/pkgs/development/ocaml-modules/cryptgps/default.nix +++ b/pkgs/development/ocaml-modules/cryptgps/default.nix @@ -1,5 +1,9 @@ {stdenv, fetchurl, ocaml, findlib}: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "cryptgps is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "ocaml-cryptgps-${version}"; version = "0.2.1"; From 0c3cf014e21ba3f9c1dbfb10c32ed773187fc859 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:11:23 +0000 Subject: [PATCH 37/45] =?UTF-8?q?ocamlPackages.ojquery:=20disable=20for=20?= =?UTF-8?q?OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/ojquery/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/ojquery/default.nix b/pkgs/development/ocaml-modules/ojquery/default.nix index 2d697a285fd3..8cf5819c9002 100644 --- a/pkgs/development/ocaml-modules/ojquery/default.nix +++ b/pkgs/development/ocaml-modules/ojquery/default.nix @@ -1,5 +1,9 @@ { stdenv, fetchgit, ocaml, findlib, ocamlbuild, js_of_ocaml, js_of_ocaml-camlp4, camlp4, lwt3, react }: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "ojquery is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { version = "0.1"; name = "ocaml-ojquery-${version}"; From 9590e46c05c33baadb6e7663707c0423fd6383ce Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:16:40 +0000 Subject: [PATCH 38/45] =?UTF-8?q?ocamlPackages.ocaml=5Fdata=5Fnotation:=20?= =?UTF-8?q?disable=20for=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/odn/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/odn/default.nix b/pkgs/development/ocaml-modules/odn/default.nix index f30fea2c4192..a56a6140f8ea 100644 --- a/pkgs/development/ocaml-modules/odn/default.nix +++ b/pkgs/development/ocaml-modules/odn/default.nix @@ -1,5 +1,9 @@ { stdenv, fetchurl, ocaml, findlib, ocamlbuild, type_conv, ounit, camlp4 }: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "ocaml-data-notation is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-data-notation-0.0.11"; From 24f47da9b35f1ad2410c3938c777207e1864de01 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:18:49 +0000 Subject: [PATCH 39/45] =?UTF-8?q?ocamlPackages.erm=5Fxml:=20disable=20for?= =?UTF-8?q?=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/erm_xml/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/erm_xml/default.nix b/pkgs/development/ocaml-modules/erm_xml/default.nix index ae264b657d87..c944752ff6b6 100644 --- a/pkgs/development/ocaml-modules/erm_xml/default.nix +++ b/pkgs/development/ocaml-modules/erm_xml/default.nix @@ -1,5 +1,9 @@ { stdenv, fetchzip, ocaml, findlib, ocamlbuild }: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "erm_xml is not available for OCaml ${ocaml.version}" +else + let version = "0.3"; in stdenv.mkDerivation { From e79e66cad13e116351cc8e339a27f92e4784ac84 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:35:50 +0000 Subject: [PATCH 40/45] =?UTF-8?q?ocamlPackages.magick:=20disable=20for=20O?= =?UTF-8?q?Caml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/magick/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/magick/default.nix b/pkgs/development/ocaml-modules/magick/default.nix index 021962154bd0..ca6ab458fff2 100644 --- a/pkgs/development/ocaml-modules/magick/default.nix +++ b/pkgs/development/ocaml-modules/magick/default.nix @@ -1,5 +1,9 @@ { stdenv, fetchurl, which, pkgconfig, ocaml, findlib, imagemagick }: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "magick is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-magick-0.34"; src = fetchurl { From 8a62ad06c2ddb5af80028f78524ff16cd29bc327 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:52:09 +0000 Subject: [PATCH 41/45] =?UTF-8?q?ocamlPackages.cil:=20disable=20for=20OCam?= =?UTF-8?q?l=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/cil/default.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/development/ocaml-modules/cil/default.nix b/pkgs/development/ocaml-modules/cil/default.nix index 0394266353ce..5fbb141b6cce 100644 --- a/pkgs/development/ocaml-modules/cil/default.nix +++ b/pkgs/development/ocaml-modules/cil/default.nix @@ -1,4 +1,9 @@ { stdenv, fetchurl, perl, ocaml, findlib, ocamlbuild }: + +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "cil is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation { name = "ocaml-cil-1.7.3"; src = fetchurl { From bdaec23d14de5c4b9c9a402baab1ade3c56c153f Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 18:55:25 +0000 Subject: [PATCH 42/45] ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5 --- pkgs/top-level/ocaml-packages.nix | 3 --- 1 file changed, 3 deletions(-) diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 5787f84335b0..c94e0d5fb204 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -610,9 +610,6 @@ let else null; ocaml_extlib = callPackage ../development/ocaml-modules/extlib { }; - ocaml_extlib_maximal = callPackage ../development/ocaml-modules/extlib { - minimal = false; - }; ocb-stubblr = callPackage ../development/ocaml-modules/ocb-stubblr { }; From e63e4c11cc25b2bd8f67eec138eb7f19f87695fe Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 19:20:23 +0000 Subject: [PATCH 43/45] =?UTF-8?q?ocamlPackages.mezzo:=20disable=20for=20OC?= =?UTF-8?q?aml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/compilers/mezzo/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/compilers/mezzo/default.nix b/pkgs/development/compilers/mezzo/default.nix index 79dc479fae83..c0b535747133 100644 --- a/pkgs/development/compilers/mezzo/default.nix +++ b/pkgs/development/compilers/mezzo/default.nix @@ -1,5 +1,9 @@ { stdenv, fetchFromGitHub, ocaml, findlib, ocamlbuild, menhir, yojson, ulex, pprint, fix, functory }: +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "mezzo is not available for OCaml ${ocaml.version}" +else + let check-ocaml-version = with stdenv.lib; versionAtLeast (getVersion ocaml); in From 20af031a2ffa3cbcaacf10f4668e74ecf1380095 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 29 Aug 2018 12:44:12 +0000 Subject: [PATCH 44/45] =?UTF-8?q?ocamlPackages.ocamlsdl:=20disable=20for?= =?UTF-8?q?=20OCaml=20=E2=89=A5=204.06?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/ocamlsdl/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/ocaml-modules/ocamlsdl/default.nix b/pkgs/development/ocaml-modules/ocamlsdl/default.nix index e8441cf6937c..8cfe43a5d322 100644 --- a/pkgs/development/ocaml-modules/ocamlsdl/default.nix +++ b/pkgs/development/ocaml-modules/ocamlsdl/default.nix @@ -4,6 +4,10 @@ let pname = "ocamlsdl"; in +if stdenv.lib.versionAtLeast ocaml.version "4.06" +then throw "${pname} is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "${pname}-${version}"; version = "0.9.1"; From 474c0aa2218fa5b70eed8c43cd2f04d7dfba6c65 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 21 Aug 2018 12:34:43 +0000 Subject: [PATCH 45/45] ocamlPackages: default to 4.06 --- pkgs/top-level/all-packages.nix | 12 +++--------- pkgs/top-level/ocaml-packages.nix | 7 +------ 2 files changed, 4 insertions(+), 15 deletions(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 98ed8a046d96..f599477fe583 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6735,13 +6735,9 @@ with pkgs; mono = mono46; }; - fstar = callPackage ../development/compilers/fstar { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + fstar = callPackage ../development/compilers/fstar { }; - pyre = callPackage ../development/tools/pyre { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + pyre = callPackage ../development/tools/pyre { }; dotnetPackages = recurseIntoAttrs (callPackage ./dotnet-packages.nix {}); @@ -21862,9 +21858,7 @@ with pkgs; sane-frontends = callPackage ../applications/graphics/sane/frontends.nix { }; - satysfi = callPackage ../tools/typesetting/satysfi { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + satysfi = callPackage ../tools/typesetting/satysfi { }; sc-controller = pythonPackages.callPackage ../misc/drivers/sc-controller { inherit libusb1; # Shadow python.pkgs.libusb1. diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index c94e0d5fb204..459a76143043 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1072,10 +1072,5 @@ in rec ocamlPackages_latest = ocamlPackages_4_07; - ocamlPackages = - # OCaml 4.05 is broken on aarch64 - if system == "aarch64-linux" then - ocamlPackages_4_06 - else - ocamlPackages_4_05; + ocamlPackages = ocamlPackages_4_06; }