|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [PATCH v1 1/2] oxenstored: fix build on OCaml 5.x
Char.lowercase got removed in OCaml 5.0 (it has been deprecated since 2014).
Char.lowercase_ascii has existed since OCaml 4.03, so that is the new
minimum version for oxenstored.
(Given the choice between supporting a new release and dropping support
for an 8y+ old release, we drop support for OCaml <4.03)
Signed-off-by: Edwin Török <edwin.torok@xxxxxxxxx>
---
tools/configure | 2 +-
tools/configure.ac | 2 +-
tools/ocaml/xenstored/disk.ml | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/tools/configure b/tools/configure
index 0135a0059a..5723efaa56 100755
--- a/tools/configure
+++ b/tools/configure
@@ -6836,7 +6836,7 @@ else
-e 's/[^0-9]//g'`
- ax_compare_version_B=`echo "4.02.0" | sed -e 's/\([0-9]*\)/Z\1Z/g' \
+ ax_compare_version_B=`echo "4.03.0" | sed -e 's/\([0-9]*\)/Z\1Z/g' \
-e 's/Z\([0-9]\)Z/Z0\1Z/g' \
-e 's/Z\([0-9][0-9]\)Z/Z0\1Z/g' \
-e 's/Z\([0-9][0-9][0-9]\)Z/Z0\1Z/g' \
diff --git a/tools/configure.ac b/tools/configure.ac
index 618ef8c63f..c979c3de7c 100644
--- a/tools/configure.ac
+++ b/tools/configure.ac
@@ -336,7 +336,7 @@ AS_IF([test "x$ocamltools" = "xy"], [
AC_MSG_ERROR([Ocaml tools enabled, but missing ocamlopt or
ocamlfind])])
ocamltools="n"
], [
- AX_COMPARE_VERSION([$OCAMLVERSION], [lt], [4.02.0], [
+ AX_COMPARE_VERSION([$OCAMLVERSION], [lt], [4.03.0], [
AS_IF([test "x$enable_ocamltools" = "xyes"], [
AC_MSG_ERROR([Your version of OCaml: $OCAMLVERSION is not
supported])])
ocamltools="n"
diff --git a/tools/ocaml/xenstored/disk.ml b/tools/ocaml/xenstored/disk.ml
index 91f945f2bd..ccaa048faf 100644
--- a/tools/ocaml/xenstored/disk.ml
+++ b/tools/ocaml/xenstored/disk.ml
@@ -30,7 +30,7 @@ let undec c =
| _ -> raise (Failure "undecify")
let unhex c =
- let c = Char.lowercase c in
+ let c = Char.lowercase_ascii c in
match c with
| '0' .. '9' -> (Char.code c) - (Char.code '0')
| 'a' .. 'f' -> (Char.code c) - (Char.code 'a') + 10
--
2.43.0
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |