From: Fabian Castelli Date: Tue, 6 Jul 2021 15:00:31 +0000 (+0200) Subject: Remove unused file default.packages X-Git-Tag: v9.3.3-r1~1^2~14^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F239%2Fhead;p=candi.git Remove unused file default.packages --- diff --git a/candi.sh b/candi.sh index 4d5769c..3d5bf2d 100755 --- a/candi.sh +++ b/candi.sh @@ -812,14 +812,6 @@ if [ -z "${LDSUFFIX}" ]; then exit 1 fi -# Source default PACKAGES variables, if none were given so far -if [ -z "${PACKAGES}" ]; then - DEFAULT_PACKAGES=${PROJECT}/packages/default.packages - if [ -e ${DEFAULT_PACKAGES} ]; then - source ${DEFAULT_PACKAGES} - fi -fi - # Source PLATFORM variables if set up correctly if [ -z ${PLATFORM} ]; then cecho ${BAD} "Please contact the authors, if you have not changed candi!" diff --git a/deal.II-toolchain/packages/default.packages b/deal.II-toolchain/packages/default.packages deleted file mode 100644 index 7e62724..0000000 --- a/deal.II-toolchain/packages/default.packages +++ /dev/null @@ -1,12 +0,0 @@ -PACKAGES=( -load:dealii-prepare -once:opencascade -once:parmetis -once:superlu_dist -once:hdf5 -once:p4est -once:trilinos -once:petsc -once:slepc -dealii -)