diff options
author | Stephane Glondu <steph@glondu.net> | 2019-09-08 18:02:25 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2019-09-08 18:02:25 +0200 |
commit | ae59e62c14986120e5964e387b088d7a7b7a4ee0 (patch) | |
tree | 8cd1563b92d0a3d32704b5b1b64f7fa44c5393b2 | |
parent | ab3c5eb079c36e64cb620acb71eee6db08b47eb3 (diff) |
Fix compilation with OCaml 4.08.0
-rw-r--r-- | debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch | 26 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 27 insertions, 0 deletions
diff --git a/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch b/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch new file mode 100644 index 0000000..d831e9c --- /dev/null +++ b/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch @@ -0,0 +1,26 @@ +From: Stephane Glondu <steph@glondu.net> +Date: Sun, 8 Sep 2019 18:02:09 +0200 +Subject: Fix compilation with OCaml 4.08.0 + +--- + setup.ml | 4 ++-- + 1 file changed, 2 insertions(+), 2 deletions(-) + +diff --git a/setup.ml b/setup.ml +index e18726f..50892b0 100644 +--- a/setup.ml ++++ b/setup.ml +@@ -210,11 +210,11 @@ module OASISString = struct + raise Not_found + + let replace_chars f s = +- let buf = String.make (String.length s) 'X' in ++ let buf = Bytes.make (String.length s) 'X' in + for i = 0 to String.length s - 1 do + buf.[i] <- f s.[i] + done; +- buf ++ Bytes.to_string buf + + end + diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..614f8ba --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Fix-compilation-with-OCaml-4.08.0.patch |