9
1
mirror of https://github.com/QuantumPackage/qp2.git synced 2024-06-17 01:55:17 +02:00

Fixing travis

This commit is contained in:
Anthony Scemama 2019-07-24 09:36:51 +02:00
parent c405dc99d3
commit be6c9b533e

2
configure vendored
View File

@ -304,6 +304,7 @@ EOF
source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
execute << EOF
opam switch 4.07.1 || exit 1
${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
eval $(${QP_ROOT}/bin/opam env)
@ -324,6 +325,7 @@ EOF
execute << EOF
rm \${QP_ROOT}/external/opam_installer.sh
source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
opam switch 4.07.1 || exit 1
\${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
EOF
execute << EOF