From 4c907630bb22f4eeb46620eae8a5588af7081ffe Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= 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