From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 2 Oct 2015 21:09:03 +0000 (-0400)
Subject: allow overriding prefix_path
X-Git-Tag: v0.7~13^2^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c9172be1473400e96b1c7d15ba411adc7538515;p=candi.git

allow overriding prefix_path
---

diff --git a/project-deal.II.cfg b/project-deal.II.cfg
index f42f1d1..649d027 100644
--- a/project-deal.II.cfg
+++ b/project-deal.II.cfg
@@ -64,7 +64,7 @@ PROCS=${PROCS:-1}
 
 #########################################################################
 # Prefix directory
-PREFIX_PATH=~/apps/candi
+PREFIX_PATH=${PREFIX_PATH:-~/apps/candi}
 
 #########################################################################
 # Setup compiler name string