]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi/deal.II: updated unpack and build dirs and optimised candi output
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 17:56:19 +0000 (18:56 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 17:56:19 +0000 (18:56 +0100)
candi.sh
project-deal.II-toolchain.cfg

index 3cdf6032c0c198e9956236a744db9f617c2afe71..1522f110fbf004c33d1607e3433be05553d53486 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -523,8 +523,8 @@ fi
 default PROJECT=deal.II
 
 default DOWNLOAD_PATH=${PREFIX_PATH}/src
-default UNPACK_PATH=${PREFIX_PATH}/${PROJECT}/unpack
-default BUILD_PATH=${PREFIX_PATH}/${PROJECT}/build
+default UNPACK_PATH=${PREFIX_PATH}/${PROJECT}-unpack
+default BUILD_PATH=${PREFIX_PATH}/${PROJECT}-build
 default CLEAN_BUILD=false
 default INSTALL_PATH=${PREFIX_PATH}/${PROJECT}
 
@@ -581,8 +581,8 @@ if [ -z "${GIVEN_PLATFORM}" ]; then
     echo
     echo "Downloading files to:   $(prettify_dir ${DOWNLOAD_PATH})"
     echo "Unpacking files to:     $(prettify_dir ${UNPACK_PATH})"
-    echo "Building projects in:   $(prettify_dir ${BUILD_PATH})"
-    echo "Installing projects in: $(prettify_dir ${INSTALL_PATH})"
+    echo "Building packages in:   $(prettify_dir ${BUILD_PATH})"
+    echo "Installing packages in: $(prettify_dir ${INSTALL_PATH})"
     echo
     echo "Number of at most build processes to use: PROCS=${PROCS}"
     echo
index 5c4b8066c1add5d2562d80f6e3af5c565ff8067b..41dba326a8c89de89260f64e6a137c29d01f8e37 100644 (file)
@@ -95,10 +95,10 @@ MKL=OFF
 #DOWNLOAD_PATH=${PREFIX_PATH}/src
 
 # Where do you want to unpack source files to go?
-#UNPACK_PATH=${PREFIX_PATH}/unpack
+#UNPACK_PATH=${PREFIX_PATH}/${PROJECT}-unpack
 
 # Where do you want the build files to go?
-BUILD_PATH=${PREFIX_PATH}/${PROJECT}-build
+#BUILD_PATH=${PREFIX_PATH}/${PROJECT}-build
 
 # Where do you want the compiled software installed?
 INSTALL_PATH=${PREFIX_PATH}/${PROJECT}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.