$OpenBSD: patch-common_input_ml,v 1.1 2015/08/30 15:56:12 avsm Exp $
--- common/input.ml.orig	Mon Aug  3 18:07:28 2015
+++ common/input.ml	Mon Aug  3 18:07:28 2015
@@ -15,41 +15,19 @@ open ExtLib
 include Util.Logging(struct let label = "common/input.ml" end) ;;
 
 let gzip_open_file file =
-IFDEF HASZIP THEN
-  let ch = Gzip.open_in file in
-  let input_char ch = try Gzip.input_char ch with End_of_file -> raise IO.No_more_input in
-  let read ch = try Gzip.input ch with End_of_file -> raise IO.No_more_input in
-  IO.create_in
-  ~read:(fun () -> input_char ch)
-  ~input:(read ch)
-  ~close:(fun () -> Gzip.close_in ch)
-ELSE
+
+
     fatal "gzip not supported. re-configure with --with-zip"
-END
+
+
 ;;
 
 let bzip_open_file file =
-IFDEF HASBZ2 THEN
-  (* workaround to avoid segfault :
-   * http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=602170 *)
-  let _ = Bz2.version in 
-  let s = " " in
-  let ch = Bz2.open_in (open_in file) in
-  let input_char ch = 
-    try ignore (Bz2.read ch s 0 1) ; s.[0]
-    with End_of_file -> raise IO.No_more_input
-  in
-  let read ch s pos len =
-    try Bz2.read ch s pos len 
-    with End_of_file -> raise IO.No_more_input
-  in
-  IO.create_in
-  ~read:(fun () -> input_char ch)
-  ~input:(read ch)
-  ~close:(fun () -> Bz2.close_in ch)
-ELSE
+
+
     fatal "bzip not supported. re-configure with --with-bz2"
-END
+
+
 
 ;;
 let std_open_file file = IO.input_channel (open_in file)
