From ac59724be449c2ad818f9c89c59874fe329dd226 Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sun, 6 Mar 2016 18:46:03 +0100
Subject: [PATCH] Use separate repository with branch release_38_tacle for
Clang
---
setup.sh | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/setup.sh b/setup.sh
index 7fa9e1b..d2d836f 100755
--- a/setup.sh
+++ b/setup.sh
@@ -2,10 +2,13 @@
# repos
LLVM_GIT="http://llvm.org/git/llvm.git"
-CLANG_GIT="http://llvm.org/git/clang.git"
# branch of LLVM and Clang
BRANCH="release_38"
+# CLANG_GIT="http://llvm.org/git/clang.git"
+CLANG_GIT="git@gitlab.cs.fau.de:tacle/tacle-clang.git"
+CLANG_BRANCH="release_38_tacle"
+
# use clang-tools-extra repository from TACLe
EXTRA_GIT="git@gitlab.cs.fau.de:tacle/tacle-clang-tools-extra.git"
# EXTRA_GIT="http://llvm.org/git/clang-tools-extra.git"
@@ -33,7 +36,7 @@ fi
if ! test -d ${CLANG_SRC}; then
git clone ${CLANG_GIT} ${CLANG_SRC}
cd ${CLANG_SRC}
- git checkout ${BRANCH}
+ git checkout ${CLANG_BRANCH}
cd ${BASE}
fi
--
GitLab