blob: f5a1c12e66821d8b0bc9a8d76b99d2d4631570ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
#!/bin/sh
CLOOG_HASH="bd03afe7c4045c325b07ed1eede1aaa7c72f1620"
ISL_HASH="00adaf6b43bc6877e286441be25101e64cea07ef"
PWD=`pwd`
check_command_line() {
if [ $# -eq 1 ]
then
CLOOG_DIR="${1}"
else
echo "Usage: " ${0} '<Directory to checkout CLooG>'
exit 1
fi
}
check_cloog_directory() {
if ! [ -e ${CLOOG_DIR} ]
then
echo :: Directory "'${CLOOG_DIR}'" does not exists. Trying to create it.
if ! mkdir -p "${CLOOG_DIR}"
then exit 1
fi
fi
if ! [ -d ${CLOOG_DIR} ]
then
echo "'${CLOOG_DIR}'" is not a directory
exit 1
fi
# Make it absolute
cd ${CLOOG_DIR}
CLOOG_DIR=`pwd`
if ! [ -e "${CLOOG_DIR}/.git" ]
then
echo ":: No git checkout found"
IS_GIT=0
else
echo ":: Existing git repo found"
IS_GIT=1
fi
}
complain() {
echo "$@"
exit 1
}
run() {
$cmdPre $*
if [ $? != 0 ]
then
complain $* failed
fi
}
check_command_line $@
check_cloog_directory
ISL_DIR=${CLOOG_DIR}/isl
if [ ${IS_GIT} -eq 0 ]
then
echo :: Performing initial checkout
# Remove the existing CLooG and ISL dirs to avoid crashing older git versions.
cd ${CLOOG_DIR}/..
run rmdir "${CLOOG_DIR}"
run git clone http://repo.or.cz/r/cloog.git ${CLOOG_DIR}
run rmdir "${ISL_DIR}"
run git clone http://repo.or.cz/r/isl.git ${ISL_DIR}
fi
echo :: Fetch versions required by Polly
run cd ${CLOOG_DIR}
run git remote update
run cd isl
run git remote update
echo :: Setting CLooG version
run cd ${CLOOG_DIR}
run git reset --hard "${CLOOG_HASH}"
echo :: Setting isl version
run cd ${ISL_DIR}
run git reset --hard "${ISL_HASH}"
echo :: Generating configure
run cd ${CLOOG_DIR}
run ./autogen.sh
echo :: If you install cloog/isl the first time run "'./configure'" followed by
echo :: "'make'" and "'make install'", otherwise, just call "'make'" and
echo :: "'make'" install.
|
