9
1
mirror of https://github.com/QuantumPackage/qp2.git synced 2024-06-23 04:52:05 +02:00

Fixing travis

This commit is contained in:
Anthony Scemama 2019-04-10 19:41:07 +02:00
parent 1a9698301d
commit 68fc52c219

4
configure vendored
View File

@ -276,7 +276,6 @@ EOF
rm ${QP_ROOT}/external/opam_installer.sh
source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
rm $OPAMROOT/config
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes
eval $(${QP_ROOT}/bin/opam env)
@ -291,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 --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
EOF