mirror of
https://github.com/QuantumPackage/qp2.git
synced 2024-08-29 20:23:40 +02:00
Fixing opam
This commit is contained in:
parent
d3d8f8731b
commit
a9a4b00afd
3
configure
vendored
3
configure
vendored
@ -277,8 +277,7 @@ EOF
|
||||
source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
|
||||
|
||||
rm $OPAMROOT/config
|
||||
${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
|
||||
|
Loading…
Reference in New Issue
Block a user