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