From fdcd8c3a8f5a3b3eb0f9ed99acccd257d6f305dd Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Mon, 19 Aug 2019 17:42:54 +0200 Subject: [PATCH] Fixing opam installation --- configure | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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