From b98737587e2edce63584ed05c565808aead77397 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sun, 21 Feb 2016 09:48:54 -0500 Subject: [PATCH] changes to CONFIGURATION_PATH - do not manually set the configuration path - change the default to be under the installation path (only important if you change the installation path) --- candi.sh | 2 +- project-deal.II-toolchain.cfg | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/candi.sh b/candi.sh index 61719ca..f2d7690 100755 --- a/candi.sh +++ b/candi.sh @@ -630,7 +630,7 @@ default DOWNLOAD_PATH=${PREFIX_PATH}/src default UNPACK_PATH=${PREFIX_PATH}/${PROJECT}-unpack default BUILD_PATH=${PREFIX_PATH}/${PROJECT}-build default INSTALL_PATH=${PREFIX_PATH}/${PROJECT} -default CONFIGURATION_PATH=${PREFIX_PATH}/${PROJECT}/share/configuration +default CONFIGURATION_PATH=${INSTALL_PATH}/configuration default CLEAN_BUILD=false default STABLE_BUILD=true diff --git a/project-deal.II-toolchain.cfg b/project-deal.II-toolchain.cfg index bf218e4..2cbf26e 100644 --- a/project-deal.II-toolchain.cfg +++ b/project-deal.II-toolchain.cfg @@ -19,7 +19,7 @@ CLEAN_BUILD=false INSTALL_PATH=${PREFIX_PATH}/${PROJECT} # Where do you want the configuration files placed? -CONFIGURATION_PATH=${PREFIX_PATH}/${PROJECT}/share/configuration +#CONFIGURATION_PATH=${INSTALL_PATH}/configuration ######################################################################### # Set up mirror server url(s), to speed up downloads, e.g. -- 2.39.5