]> https://gitweb.dealii.org/ - candi.git/commitdiff
allow overriding prefix_path
authorTimo Heister <timo.heister@gmail.com>
Fri, 2 Oct 2015 21:09:03 +0000 (17:09 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 3 Oct 2015 12:59:28 +0000 (08:59 -0400)
project-deal.II.cfg

index f42f1d1eaebab2cecc1ed54bc7158c37c39fab34..649d027e8a02ed27ba347ec3321b3566e2c1a045 100644 (file)
@@ -64,7 +64,7 @@ PROCS=${PROCS:-1}
 
 #########################################################################
 # Prefix directory
-PREFIX_PATH=~/apps/candi
+PREFIX_PATH=${PREFIX_PATH:-~/apps/candi}
 
 #########################################################################
 # Setup compiler name string

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.