diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2014-06-11 17:47:00 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-06-12 06:51:50 +0700 |
commit | 38c0664555a9674b440c360b4661008b21139534 (patch) | |
tree | cb66b4daa9831b2e8b9b03c6e4097d21192a6a2a /development/facile/facile-1.1-ocaml4.patch | |
parent | 59c33a0c1ebe761f5b3b22498d44debd1f063563 (diff) | |
download | slackbuilds-38c0664555a9674b440c360b4661008b21139534.tar.gz |
development/facile: Fix build with ocaml 4.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/facile/facile-1.1-ocaml4.patch')
-rw-r--r-- | development/facile/facile-1.1-ocaml4.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/development/facile/facile-1.1-ocaml4.patch b/development/facile/facile-1.1-ocaml4.patch new file mode 100644 index 0000000000..185d39fe98 --- /dev/null +++ b/development/facile/facile-1.1-ocaml4.patch @@ -0,0 +1,26 @@ +diff -ur facile-1.1.old/src/facile.mli facile-1.1/src/facile.mli +--- facile-1.1.old/src/facile.mli 2004-09-08 10:51:02.000000000 +0100 ++++ facile-1.1/src/facile.mli 2012-06-10 21:06:41.553916954 +0100 +@@ -127,7 +127,7 @@ + module Hashtbl : + sig + type ('a, 'b) t +- val create : int -> ('a, 'b) t ++ val create : ?random:bool -> int -> ('a, 'b) t + val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t + val add : ('a, 'b) t -> 'a -> 'b -> unit + val find : ('a, 'b) t -> 'a -> 'b +Binary files facile-1.1.old/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi differ +diff -ur facile-1.1.old/src/fcl_data.mli facile-1.1/src/fcl_data.mli +--- facile-1.1.old/src/fcl_data.mli 2004-09-08 10:51:02.000000000 +0100 ++++ facile-1.1/src/fcl_data.mli 2012-06-10 21:06:25.841590828 +0100 +@@ -23,7 +23,7 @@ + + module Hashtbl : sig + type ('a, 'b) t +- val create : int -> ('a, 'b) t ++ val create : ?random:bool -> int -> ('a, 'b) t + val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t + val add : ('a, 'b) t -> 'a -> 'b -> unit + val find : ('a, 'b) t -> 'a -> 'b + |