Merge pull request #38 from QuantumPackage/master

Fix travis with opam
2019-04-09 19:14:01 +02:00 · 2019-04-09 19:14:01 +02:00 · 016de173e1
parent 6352e442ca e9be29933c
commit 016de173e1
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -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)
@ -292,7 +291,7 @@ EOF
                  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
+                      --yes 
                  eval \$(\${QP_ROOT}/bin/opam env)
                  opam install -y \${OCAML_PACKAGES}  || exit 1
 EOF