treewide: use ocaml-ng.ocamlPackages_4_14_unsafe_string

This commit is contained in:
Weijia Wang 2023-03-07 00:03:36 +02:00
parent 6b52f88815
commit da3dacd0e6
2 changed files with 4 additions and 12 deletions

View File

@ -12,9 +12,7 @@ let
# 1. Needs ocaml >= 4.04 and <= 4.11 (patched against 4.14)
# 2. ocaml 4.10 defaults to safe (immutable) strings so we need a version with
# that disabled as weidu is strongly dependent on mutable strings
ocaml' = ocaml-ng.ocamlPackages_4_14.ocaml.override {
unsafeStringSupport = true;
};
ocaml' = ocaml-ng.ocamlPackages_4_14_unsafe_string.ocaml;
in
stdenv.mkDerivation rec {

View File

@ -20193,9 +20193,7 @@ with pkgs;
glpk = callPackage ../development/libraries/glpk { };
glsurf = callPackage ../applications/science/math/glsurf {
ocamlPackages = ocaml-ng.mkOcamlPackages (ocaml-ng.ocamlPackages_4_14.ocaml.override {
unsafeStringSupport = true;
});
ocamlPackages = ocaml-ng.ocamlPackages_4_14_unsafe_string;
};
glui = callPackage ../development/libraries/glui {};
@ -31564,9 +31562,7 @@ with pkgs;
mjpg-streamer = callPackage ../applications/video/mjpg-streamer { };
mldonkey = callPackage ../applications/networking/p2p/mldonkey {
ocamlPackages = ocaml-ng.mkOcamlPackages (ocaml-ng.ocamlPackages_4_14.ocaml.override {
unsafeStringSupport = true;
});
ocamlPackages = ocaml-ng.ocamlPackages_4_14_unsafe_string;
};
mlvwm = callPackage ../applications/window-managers/mlvwm { };
@ -37104,9 +37100,7 @@ with pkgs;
drat-trim = callPackage ../applications/science/logic/drat-trim {};
ekrhyper = callPackage ../applications/science/logic/ekrhyper {
ocaml = ocaml-ng.ocamlPackages_4_14.ocaml.override {
unsafeStringSupport = true;
};
ocaml = ocaml-ng.ocamlPackages_4_14_unsafe_string.ocaml;
};
eprover = callPackage ../applications/science/logic/eprover { };