diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2014-03-19 08:46:17 +0100 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2014-03-19 08:46:17 +0100 |
| commit | 94a690a41ad833db38f6ef0c9cf76120e40f6e00 (patch) | |
| tree | ac85ed6cb8eceffe46a87f2cfd05f8f23a3ad3ec /pkgs/development/libraries/facile | |
| parent | 779a95998246f260dde468c65203c32dbf6d00f2 (diff) | |
| download | nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar.gz nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar.bz2 nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar.lz nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar.xz nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.tar.zst nixlib-94a690a41ad833db38f6ef0c9cf76120e40f6e00.zip | |
Fix compilation of ocaml-facile with OCaml 4.xx
Diffstat (limited to 'pkgs/development/libraries/facile')
| -rw-r--r-- | pkgs/development/libraries/facile/default.nix | 8 | ||||
| -rw-r--r-- | pkgs/development/libraries/facile/ocaml_4.xx.patch | 12 |
2 files changed, 17 insertions, 3 deletions
diff --git a/pkgs/development/libraries/facile/default.nix b/pkgs/development/libraries/facile/default.nix index edbe99cd8b07..5e3776afbc05 100644 --- a/pkgs/development/libraries/facile/default.nix +++ b/pkgs/development/libraries/facile/default.nix @@ -9,9 +9,11 @@ stdenv.mkDerivation rec { }; dontAddPrefix = 1; - - patchPhase = "sed -e 's@mkdir@mkdir -p@' -i Makefile"; - + + patches = [ ./ocaml_4.xx.patch ]; + + postPatch = "sed -e 's@mkdir@mkdir -p@' -i Makefile"; + postConfigure = "make -C src .depend"; makeFlags = "FACILEDIR=\${out}/lib/ocaml/facile"; diff --git a/pkgs/development/libraries/facile/ocaml_4.xx.patch b/pkgs/development/libraries/facile/ocaml_4.xx.patch new file mode 100644 index 000000000000..429405fabdaa --- /dev/null +++ b/pkgs/development/libraries/facile/ocaml_4.xx.patch @@ -0,0 +1,12 @@ +diff -rupN facile-1.1/src/fcl_data.ml facile-1.1-patched//src/fcl_data.ml +--- facile-1.1/src/fcl_data.ml 2004-09-08 11:51:02.000000000 +0200 ++++ facile-1.1-patched//src/fcl_data.ml 2012-12-16 13:49:36.286722670 +0100 +@@ -16,7 +16,7 @@ end + + module Hashtbl = struct + type ('a, 'b) t = ('a, 'b) Hashtbl.t +- let create = Hashtbl.create ++ let create x = Hashtbl.create x + let get h = h + + let add h k d = |