allow overriding prefix_path

author Timo Heister <timo.heister@gmail.com>

Fri, 2 Oct 2015 21:09:03 +0000 (17:09 -0400)

committer Timo Heister <timo.heister@gmail.com>

Sat, 3 Oct 2015 12:59:28 +0000 (08:59 -0400)
author Timo Heister <timo.heister@gmail.com>
Fri, 2 Oct 2015 21:09:03 +0000 (17:09 -0400)
committer Timo Heister <timo.heister@gmail.com>
Sat, 3 Oct 2015 12:59:28 +0000 (08:59 -0400)
diff --git a/project-deal.II.cfg b/project-deal.II.cfg

index f42f1d1eaebab2cecc1ed54bc7158c37c39fab34..649d027e8a02ed27ba347ec3321b3566e2c1a045 100644 (file)
--- 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
author	Timo Heister <timo.heister@gmail.com>
	Fri, 2 Oct 2015 21:09:03 +0000 (17:09 -0400)
committer	Timo Heister <timo.heister@gmail.com>
	Sat, 3 Oct 2015 12:59:28 +0000 (08:59 -0400)