diff --git a/configure b/configure index 909360ee..ffda5016 100755 --- a/configure +++ b/configure @@ -290,8 +290,7 @@ EOF | sh \${QP_ROOT}/external/opam_installer.sh 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 + \${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes eval \$(\${QP_ROOT}/bin/opam env) opam install -y \${OCAML_PACKAGES} || exit 1 EOF