mirror of
https://github.com/QuantumPackage/qp2.git
synced 2024-08-14 21:48:28 +02:00
Removed ocaml compiler version from configure (#37)
This commit is contained in:
parent
b877e032c3
commit
a43b3a3e71
3
configure
vendored
3
configure
vendored
@ -276,7 +276,6 @@ 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
|
||||||
|
|
||||||
rm $OPAMROOT/config
|
|
||||||
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes
|
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes
|
||||||
|
|
||||||
eval $(${QP_ROOT}/bin/opam env)
|
eval $(${QP_ROOT}/bin/opam env)
|
||||||
@ -292,7 +291,7 @@ 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
|
||||||
\${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
|
\${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
|
||||||
--yes --comp=4.07.0
|
--yes
|
||||||
eval \$(\${QP_ROOT}/bin/opam env)
|
eval \$(\${QP_ROOT}/bin/opam env)
|
||||||
opam install -y \${OCAML_PACKAGES} || exit 1
|
opam install -y \${OCAML_PACKAGES} || exit 1
|
||||||
EOF
|
EOF
|
||||||
|
Loading…
Reference in New Issue
Block a user