Remove unused file default.packages

diff --git a/candi.sh b/candi.sh
index 4d5769cdd17f6e9a15ce11d11c12d6daa070babe..3d5bf2db67d2e409b48152a2a6d07ce1cc36a3ff 100755 (executable)
--- 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 (file)
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
-)