All of lore.kernel.org
 help / color / mirror / Atom feed
* [RFC PATCH] tools/configure: require OCaml >= 4.06.1 for oxenstored
@ 2022-07-29 18:10 Edwin Török
  2022-08-01  8:25 ` Christian Lindig
  0 siblings, 1 reply; 2+ messages in thread
From: Edwin Török @ 2022-07-29 18:10 UTC (permalink / raw)
  To: xen-devel
  Cc: Edwin Török, Wei Liu, Anthony PERARD, Christian Lindig

OCaml 4.06.1 is widely available in distributions: https://repology.org/project/ocaml/versions

oxenstored already includes some compatibility code to be able to run on
versions older than 4.06, however this is slightly less efficient than
just using the new features in 4.06 standard library:
https://lore.kernel.org/xen-devel/b94cd2ad099486678609909e12b045c54abb2f27.camel@citrix.com/

The OCaml version in stubdom/ is unchanged for now as it is unclear how
this used. Typically to run OCaml code as a stubdom one would use the mirage
tooling to build a unikernel, which handles cross-compilation using
Dune.
The unikernel itself also uses Solo5 instead of MiniOS, so the OCaml
code in stubdom/ is probably stale.

Signed-off-by: Edwin Török <edvin.torok@citrix.com>
Cc: Christian Lindig <christian.lindig@citrix.com>
---
 tools/configure    | 2 +-
 tools/configure.ac | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/configure b/tools/configure
index 41deb7fb96..8f391e2da4 100755
--- a/tools/configure
+++ b/tools/configure
@@ -6765,7 +6765,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.06.1" | 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 32cbe6bd3c..7518199ec8 100644
--- a/tools/configure.ac
+++ b/tools/configure.ac
@@ -310,7 +310,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.06.1], [
             AS_IF([test "x$enable_ocamltools" = "xyes"], [
                 AC_MSG_ERROR([Your version of OCaml: $OCAMLVERSION is not supported])])
             ocamltools="n"
-- 
2.34.1



^ permalink raw reply related	[flat|nested] 2+ messages in thread

* Re: [RFC PATCH] tools/configure: require OCaml >= 4.06.1 for oxenstored
  2022-07-29 18:10 [RFC PATCH] tools/configure: require OCaml >= 4.06.1 for oxenstored Edwin Török
@ 2022-08-01  8:25 ` Christian Lindig
  0 siblings, 0 replies; 2+ messages in thread
From: Christian Lindig @ 2022-08-01  8:25 UTC (permalink / raw)
  To: Edwin Torok; +Cc: Xen-devel, Wei Liu, Anthony Perard

[-- Attachment #1: Type: text/plain, Size: 309 bytes --]



On 29 Jul 2022, at 19:10, Edwin Török <edvin.torok@citrix.com<mailto:edvin.torok@citrix.com>> wrote:

tools/configure | 2 +-
tools/configure.ac | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)

Acked-by: Christian Lindig <christian.lindig@citrix.com<mailto:christian.lindig@citrix.com>>


[-- Attachment #2: Type: text/html, Size: 2991 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-08-01  8:25 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-07-29 18:10 [RFC PATCH] tools/configure: require OCaml >= 4.06.1 for oxenstored Edwin Török
2022-08-01  8:25 ` Christian Lindig

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.