From 9cce1a98e732e111e9ed6e5df158ce4aa99949cf Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Mon, 15 Feb 2021 13:37:33 +0100 Subject: [PATCH] bump ocaml version --- configure | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure b/configure index 63a041fa..391f5384 100755 --- a/configure +++ b/configure @@ -319,8 +319,8 @@ EOF rm ${QP_ROOT}/external/opam_installer.sh # source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true # -# opam switch create ocaml-base-compiler.4.10.0 - opam init --verbose --yes --compiler=4.10.0 --disable-sandboxing +# opam switch create ocaml-base-compiler.4.11.1 + opam init --verbose --yes --compiler=4.11.1 --disable-sandboxing eval $(opam env) opam install -y ${OCAML_PACKAGES} || exit 1 @@ -339,9 +339,9 @@ EOF EOF rm ${QP_ROOT}/external/opam_installer.sh # source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true -# opam switch create ocaml-base-compiler.4.10.0 || exit 1 +# opam switch create ocaml-base-compiler.4.11.1 || exit 1 - opam init --verbose --yes --compiler=4.10.0 --disable-sandboxing + opam init --verbose --yes --compiler=4.11.1 --disable-sandboxing eval $(opam env) execute << EOF opam install -y \${OCAML_PACKAGES} || exit 1