deal.II: corrected version folder to master, if unstable build is forced

diff --git a/project-deal.II.cfg b/project-deal.II.cfg
index e27e0ff40416431e125d157d1f07c7dfb8bfab86..67f53b7fc80453dfc4b2bb33c48f1144e8cb058f 100644 (file)
--- a/project-deal.II.cfg
+++ b/project-deal.II.cfg
@@ -5,7 +5,6 @@
 
 # Meta-project to build
 PROJECT=deal.II
-DEAL_II_VERSION=v8.3.0
 CLEAN_BUILD=false
 
 #########################################################################
@@ -57,6 +56,21 @@ DEAL_CONFOPTS=" \
 
 #########################################################################
 
+# Install the following deal.II version:
+DEAL_II_VERSION=v8.3.0
+
+# Would you like to build stable versions of projects?
+# If STABLE_BUILD=false, then the development version of deal.II will be
+# installed.
+STABLE_BUILD=true
+#STABLE_BUILD=false
+
+if [ ${STABLE_BUILD} = "false" ]; then
+    DEAL_II_VERSION=master
+fi
+
+#########################################################################
+
 # Do you want to use MKL?
 MKL=OFF
 # BLAS_DIR=
@@ -76,9 +90,3 @@ BUILD_PATH=${PREFIX_PATH}/${PROJECT}/${DEAL_II_VERSION}-build
 # Where do you want the compiled software installed?
 INSTALL_PATH=${PREFIX_PATH}/${PROJECT}/${DEAL_II_VERSION}
 
-# Would you like to build stable versions of projects?
-# If STABLE_BUILD=false, then the development version of deal.II will be
-# installed.
-STABLE_BUILD=true
-#STABLE_BUILD=false
-