diff options
Diffstat (limited to 'dev-ml/extlib/files/ocaml405.patch')
| -rw-r--r-- | dev-ml/extlib/files/ocaml405.patch | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/dev-ml/extlib/files/ocaml405.patch b/dev-ml/extlib/files/ocaml405.patch new file mode 100644 index 000000000000..4e3b04a1c8e5 --- /dev/null +++ b/dev-ml/extlib/files/ocaml405.patch @@ -0,0 +1,35 @@ +Index: ocaml-extlib-1.7.1/src/configure.ml +=================================================================== +--- ocaml-extlib-1.7.1.orig/src/configure.ml ++++ ocaml-extlib-1.7.1/src/configure.ml +@@ -3,5 +3,6 @@ let () = + print_endline (if Sys.ocaml_version >= "4.02.0" then "-D OCAML4_02 " else ""); + print_endline (if Sys.ocaml_version >= "4.03.0" then "-D OCAML4_03 " else ""); + print_endline (if Sys.ocaml_version >= "4.04.0" then "-D OCAML4_04 " else ""); ++ print_endline (if Sys.ocaml_version >= "4.05.0" then "-D OCAML4_05 " else ""); + let (_:int) = Sys.command "ocamlfind query -format \"-D WITH_BYTES\" bytes" in (); + exit 0 +Index: ocaml-extlib-1.7.1/src/extHashtbl.mli +=================================================================== +--- ocaml-extlib-1.7.1.orig/src/extHashtbl.mli ++++ ocaml-extlib-1.7.1/src/extHashtbl.mli +@@ -132,6 +132,9 @@ module type S = + val add : 'a t -> key -> 'a -> unit + val remove : 'a t -> key -> unit + val find : 'a t -> key -> 'a ++#ifdef OCAML4_05 ++ val find_opt: 'a t -> key -> 'a option ++#endif + val find_all : 'a t -> key -> 'a list + val replace : 'a t -> key -> 'a -> unit + val mem : 'a t -> key -> bool +@@ -167,6 +170,9 @@ module type SeededS = + val add : 'a t -> key -> 'a -> unit + val remove : 'a t -> key -> unit + val find : 'a t -> key -> 'a ++#ifdef OCAML4_05 ++ val find_opt : 'a t -> key -> 'a option ++#endif + val find_all : 'a t -> key -> 'a list + val replace : 'a t -> key -> 'a -> unit + val mem : 'a t -> key -> bool |