Commit 9b985ffb authored by Weijia Wang's avatar Weijia Wang
Browse files

weidu: patch against OCaml 4.14

parent 27390e68
Loading
Loading
Loading
Loading
+5 −2
Original line number Diff line number Diff line
@@ -9,10 +9,10 @@
}:

let
  # 1. Needs ocaml >= 4.04 and <= 4.11
  # 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_11.ocaml.override {
  ocaml' = ocaml-ng.ocamlPackages_4_14.ocaml.override {
    unsafeStringSupport = true;
  };

@@ -34,6 +34,9 @@ stdenv.mkDerivation rec {
      --replace elkhound ${elkhound}/bin/elkhound

    mkdir -p obj/{.depend,x86_LINUX}

    # undefined reference to `caml_hash_univ_param'
    sed -i "20,21d;s/old_hash_param/hash_param/" hashtbl-4.03.0/myhashtbl.ml
  '';

  nativeBuildInputs = [ elkhound ocaml' perl which gnumake42 ];