diff --git a/configure b/configure index 2599fbbc..368151f6 100755 --- a/configure +++ b/configure @@ -301,9 +301,9 @@ ${QP_ROOT}/bin 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.07.1 +# source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true +# +# opam switch create ocaml-base-compiler.4.07.1 opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing eval $(opam env) @@ -322,8 +322,8 @@ EOF | sh \${QP_ROOT}/external/opam_installer.sh 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.07.1 || exit 1 +# source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true +# opam switch create ocaml-base-compiler.4.07.1 || exit 1 opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing eval $(opam env) EOF