candi.sh: added git option for checkout of a release tag

diff --git a/candi.sh b/candi.sh
index 91436cfab55e0edded0ed458d5773953b9ae107f..09a490924e6e2a261b32df9a717ab3a49a1535b5 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -125,6 +125,10 @@ package_fetch () {
             git pull
             cd ..
         fi
+        if [ ${STABLE_BUILD} = true ]
+            cd ${EXTRACTSTO}
+            git checkout ${VERSION}
+        fi
     elif [ ${PACKING} = "bzr" ]; then
         cd ${UNPACK_PATH}
         # Suitably branch or update bzr repositories

diff --git a/deal.II/packages/dealii.package b/deal.II/packages/dealii.package
index a128587c7ca27809330798fae6ee49779f8fa102..85e902cb9739391a6029c5eee849641c37ca384c 100644 (file)
--- a/deal.II/packages/dealii.package
+++ b/deal.II/packages/dealii.package
@@ -1,6 +1,6 @@
-VERSION=git
+VERSION=v8.2.1
 NAME=dealii.git
-EXTRACTSTO=deal.II-git
+EXTRACTSTO=deal.II-${VERSION}
 SOURCE=https://github.com/dealii/
 PACKING=git
 BUILDCHAIN=cmake