diff --git a/INSTALL.rst b/INSTALL.rst index c91b184f..825c0c4d 100644 --- a/INSTALL.rst +++ b/INSTALL.rst @@ -143,7 +143,7 @@ IRPF90 to Parameters (IRP) method. * Download the latest version of IRPF90 - here : ``_ and move + here : ``_ and move the downloaded archive in the :file:`${QP_ROOT}/external` directory * Extract the archive and go into the :file:`irpf90-*` directory to run diff --git a/configure b/configure index c343c243..c3ff8942 100755 --- a/configure +++ b/configure @@ -297,12 +297,13 @@ EOF ${QP_ROOT}/bin + 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 --verbose --yes + ${QP_ROOT}/bin/opam init --verbose --yes --comp=4.07.1 --disable-sandboxing eval $(${QP_ROOT}/bin/opam env) opam install -y ${OCAML_PACKAGES} || exit 1 @@ -310,13 +311,14 @@ EOF # Conventional commands execute << EOF chmod +x "\${QP_ROOT}"/external/opam_installer.sh + "\${QP_ROOT}"/external/opam_installer.sh --no-backup rm --force \${QP_ROOT}/bin/opam export OPAMROOT=\${OPAMROOT:-\${QP_ROOT}/external/opam} echo \${QP_ROOT}/bin \ | sh \${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 - \${QP_ROOT}/bin/opam init --verbose --yes + \${QP_ROOT}/bin/opam init --verbose --yes --comp=4.07.1 --disable-sandboxing eval \$(\${QP_ROOT}/bin/opam env) opam install -y \${OCAML_PACKAGES} || exit 1 EOF