10
0
mirror of https://github.com/QuantumPackage/qp2.git synced 2024-06-24 06:02:26 +02:00

Merge branch 'dev' into dev-lcpq

This commit is contained in:
Anthony Scemama 2019-04-01 18:03:26 +02:00
commit 8deb6ae0d7
2 changed files with 3 additions and 3 deletions

4
configure vendored
View File

@ -276,8 +276,8 @@ 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
rm $OPAMROOT/config
${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes
eval $(${QP_ROOT}/bin/opam env)
opam install -y ${OCAML_PACKAGES} || exit 1

View File

@ -538,7 +538,7 @@ def get_binaries(path_module):
import subprocess
try:
cmd = 'grep -l -e "^program " {0}/*.irp.f'.format(path_module.abs)
cmd = 'grep -l -e "^\\s*program " {0}/*.irp.f'.format(path_module.abs)
process = subprocess.Popen([cmd],
shell=True,
stdout=subprocess.PIPE,