From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Mon, 30 Nov 2015 19:21:37 +0000 (+0100)
Subject: candi: package deal.II: optimises configuration file name
X-Git-Tag: v0.8.2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=994deb195c3cdf026d2a80f3fc00cf0a99dd904a;p=candi.git

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 bc21b2f..dddfc8e 100644
--- 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}