From a7a280d9a2c7acc921b2d335fb167cb71055ea89 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Mon, 8 Apr 2019 10:50:23 +0200 Subject: [PATCH] Removed ocaml compiler version from configure --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/configure b/configure index f3186018..0acf7f6b 100755 --- a/configure +++ b/configure @@ -276,8 +276,7 @@ EOF rm ${QP_ROOT}/external/opam_installer.sh source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true - ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \ - --yes --comp=4.07.0 + ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes eval $(${QP_ROOT}/bin/opam env) opam install -y ${OCAML_PACKAGES} || exit 1 @@ -292,7 +291,7 @@ EOF rm \${QP_ROOT}/external/opam_installer.sh source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true \${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \ - --yes --comp=4.07.0 + --yes eval \$(\${QP_ROOT}/bin/opam env) opam install -y \${OCAML_PACKAGES} || exit 1 EOF