mirror of
https://github.com/QuantumPackage/qp2.git
synced 2024-11-07 05:53:37 +01:00
bump ocaml version
This commit is contained in:
parent
7560e2762d
commit
9cce1a98e7
8
configure
vendored
8
configure
vendored
@ -319,8 +319,8 @@ EOF
|
|||||||
rm ${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
|
# source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
|
||||||
#
|
#
|
||||||
# opam switch create ocaml-base-compiler.4.10.0
|
# opam switch create ocaml-base-compiler.4.11.1
|
||||||
opam init --verbose --yes --compiler=4.10.0 --disable-sandboxing
|
opam init --verbose --yes --compiler=4.11.1 --disable-sandboxing
|
||||||
|
|
||||||
eval $(opam env)
|
eval $(opam env)
|
||||||
opam install -y ${OCAML_PACKAGES} || exit 1
|
opam install -y ${OCAML_PACKAGES} || exit 1
|
||||||
@ -339,9 +339,9 @@ EOF
|
|||||||
EOF
|
EOF
|
||||||
rm ${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
|
# source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
|
||||||
# opam switch create ocaml-base-compiler.4.10.0 || exit 1
|
# opam switch create ocaml-base-compiler.4.11.1 || exit 1
|
||||||
|
|
||||||
opam init --verbose --yes --compiler=4.10.0 --disable-sandboxing
|
opam init --verbose --yes --compiler=4.11.1 --disable-sandboxing
|
||||||
eval $(opam env)
|
eval $(opam env)
|
||||||
execute << EOF
|
execute << EOF
|
||||||
opam install -y \${OCAML_PACKAGES} || exit 1
|
opam install -y \${OCAML_PACKAGES} || exit 1
|
||||||
|
Loading…
Reference in New Issue
Block a user