From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Tue, 27 Jan 2015 08:36:58 +0000 (+0100)
Subject: candi.sh: added git option for checkout of a release tag
X-Git-Tag: v0.4~22
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4c907630bb22f4eeb46620eae8a5588af7081ffe;p=candi.git

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

diff --git a/candi.sh b/candi.sh
index 91436cf..09a4909 100755
--- 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 a128587..85e902c 100644
--- 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