candi: package deal.II: optimises configuration file name

diff --git a/deal.II-toolchain/packages/dealii.package b/deal.II-toolchain/packages/dealii.package
index bc21b2f8ba1ff1a13966a5b82ce2d79df7d46b14..dddfc8e86fd7792e139e56fc89bccb48e7b0581e 100644 (file)
--- a/deal.II-toolchain/packages/dealii.package
+++ b/deal.II-toolchain/packages/dealii.package
@@ -226,7 +226,7 @@ setenv                  DEAL_II_DIR         ${INSTALL_PATH}
     
     ############################################################################
     # Generate configuration file
-    CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
+    CONFIG_FILE=${CONFIGURATION_PATH}/deal.II-${VERSION}
     rm -f $CONFIG_FILE
     echo "
 export DEAL_II_DIR=${INSTALL_PATH}