mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
update the minimal ocaml version to 4.02
The ocaml safe-strings patch uses code introduced in ocaml 4.02 so update the minimal version. Signed-off-by: Michael Young <m.a.young@durham.ac.uk> Acked-by: Christian Lindig <christian.lindig@citrix.com>
This commit is contained in:
1 parent
5191c1ef51
commit
66c4f0c47f
4 files changed
+5
-5
No files matched your search
Vendored
+2
-2
@@ -3528,10 +3528,10 @@ GRUB_VERSION="0.97"
|
||||
|
||||
if test "x$OCAML_URL" = "x"; then :
|
||||
|
||||
OCAML_URL="http://caml.inria.fr/pub/distrib/ocaml-3.11"
|
||||
OCAML_URL="http://caml.inria.fr/pub/distrib/ocaml-4.02"
|
||||
|
||||
fi
|
||||
OCAML_VERSION="3.11.0"
|
||||
OCAML_VERSION="4.02.0"
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -65,7 +65,7 @@ AX_STUBDOM_LIB([LIBPCI], [libpci], [2.2.9], [http://www.kernel.org/pub/software/
|
||||
AX_STUBDOM_LIB([NEWLIB], [newlib], [1.16.0], [ftp://sources.redhat.com/pub/newlib])
|
||||
AX_STUBDOM_LIB([LWIP], [lwip], [1.3.0], [http://download.savannah.gnu.org/releases/lwip])
|
||||
AX_STUBDOM_LIB([GRUB], [grub], [0.97], [http://alpha.gnu.org/gnu/grub])
|
||||
AX_STUBDOM_LIB_NOEXT([OCAML], [ocaml], [3.11.0], [http://caml.inria.fr/pub/distrib/ocaml-3.11])
|
||||
AX_STUBDOM_LIB_NOEXT([OCAML], [ocaml], [4.02.0], [http://caml.inria.fr/pub/distrib/ocaml-4.02])
|
||||
AX_STUBDOM_LIB([GMP], [libgmp], [4.3.2], [ftp://ftp.gmplib.org/pub/gmp-4.3.2])
|
||||
AX_STUBDOM_LIB([POLARSSL], [polarssl], [1.1.4], [http://polarssl.org/code/releases])
|
||||
AX_STUBDOM_LIB([TPMEMU], [berlios tpm emulator], [0.7.4], [http://download.berlios.de/tpm-emulator])
|
||||
|
||||