From e91d49e44a34a98aa566cd4dc3d78bc73edfe2e8 Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Tue, 6 Jul 2021 17:00:31 +0200
Subject: [PATCH] Remove unused file default.packages

---
 candi.sh                                    |  8 --------
 deal.II-toolchain/packages/default.packages | 12 ------------
 2 files changed, 20 deletions(-)
 delete mode 100644 deal.II-toolchain/packages/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
-)
-- 
2.39.5