From 4c907630bb22f4eeb46620eae8a5588af7081ffe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
Date: Tue, 27 Jan 2015 09:36:58 +0100
Subject: [PATCH] candi.sh: added git option for checkout of a release tag

---
 candi.sh                        | 4 ++++
 deal.II/packages/dealii.package | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

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
-- 
2.39.5