c080173e33
Includes local patches for OPAM compatibility, as with the previous version ok jca@, tested by krw@ daniel@ jsg@
26 lines
586 B
Plaintext
26 lines
586 B
Plaintext
$OpenBSD: patch-common_input_mli,v 1.1 2015/08/30 15:56:12 avsm Exp $
|
|
--- common/input.mli.orig Tue Nov 18 11:42:46 2014
|
|
+++ common/input.mli Mon Aug 3 18:07:28 2015
|
|
@@ -14,17 +14,11 @@
|
|
|
|
open ExtLib
|
|
|
|
-IFDEF HASZIP THEN
|
|
-(** load a file in gzip format
|
|
- @return ExtLib.IO.input channel *)
|
|
-val gzip_open_file : string -> IO.input
|
|
-END
|
|
|
|
-IFDEF HASBZ2 THEN
|
|
-(** load a file in bzip format - Not implemented yet
|
|
- @return ExtLib.IO.input channel *)
|
|
-val bzip_open_file : string -> IO.input
|
|
-END
|
|
+
|
|
+
|
|
+
|
|
+
|
|
|
|
(** load a non compressed file
|
|
@return ExtLib.IO.input channel *)
|