mirror of
https://github.com/QuantumPackage/qp2.git
synced 2024-12-22 03:23:29 +01:00
Fixing bwrap
This commit is contained in:
parent
c960dfd245
commit
d3d8f8731b
1
configure
vendored
1
configure
vendored
@ -276,6 +276,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
|
||||||
|
|
||||||
|
rm $OPAMROOT/config
|
||||||
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
|
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
|
||||||
--yes --comp=4.07.0
|
--yes --comp=4.07.0
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user