Fix build with new ocaml-ocurl (if curl is enabled)

1 files changed, 18 insertions, 0 deletions

diff --git a/lang/cduce/files/patch-parser_cduce_curl.ml b/lang/cduce/files/patch-parser_cduce_curl.ml
new file mode 100644
index 000000000000..f9d04b01077b
--- /dev/null
+++ b/lang/cduce/files/patch-parser_cduce_curl.ml
@@ -0,0 +1,18 @@
+--- parser/cduce_curl.ml	2008-02-25 11:10:42.000000000 +0100
++++ parser/cduce_curl.ml	2009-02-13 16:52:26.000000000 +0100
+@@ -9,7 +9,14 @@
+     let buff = Buffer.create 4096 in 
+     let conn = Curl.init () in
+     Curl.set_url conn s;
+-    Curl.set_writefunction conn (Buffer.add_string buff);
++    Curl.set_writefunction conn (
++      fun str ->
++	try
++          Buffer.add_string buff str;
++	  String.length str
++	with
++	    Failure _ -> 0
++      );
+     Curl.perform conn;
+     Buffer.contents buff
+   with Curl.CurlException (code, n, msg) ->