From 65e379daef8ae4794f34e425c1c208528945aa54 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Mon, 3 Jul 2017 04:36:32 -0400 Subject: [PATCH] unset PETSC_DIR If PETSC_DIR is already set in the environment, configuration of PETSC fails, so just unset it before. --- deal.II-toolchain/packages/petsc.package | 3 +++ 1 file changed, 3 insertions(+) diff --git a/deal.II-toolchain/packages/petsc.package b/deal.II-toolchain/packages/petsc.package index c89696b..b0eba72 100644 --- a/deal.II-toolchain/packages/petsc.package +++ b/deal.II-toolchain/packages/petsc.package @@ -72,6 +72,9 @@ fi package_specific_setup () { cd ${BUILDDIR} cp -rf ${UNPACK_PATH}/${EXTRACTSTO}/* . + + # make sure no other invalid PETSC_DIR is set: + unset PETSC_DIR ./configure --prefix=${INSTALL_PATH} ${CONFOPTS} quit_if_fail "petsc ./configure failed" -- 2.39.5