author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Thu, 07 Feb 2013 17:13:49 +0100 | |
changeset 113 | 28d9dbbe08c2 |
parent 112 | 8df32339b6cd |
child 226 | a48cbce777eb |
permissions | -rw-r--r-- |
112
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1 |
#!/bin/bash |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
# Simple Unix shell script to build STX:LIBJAVA using Jenkins CI |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
4 |
# Actually, it is used on Windows (with UnxUtils) as well. |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
5 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
6 |
PROJECT="STX_LIBJAVA" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
7 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
8 |
# Determine operating system, bit simple but works |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
9 |
if [ "$OS" == "Windows_NT" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
10 |
WIN32=1 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
11 |
UNIX=0 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
12 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
13 |
WIN32=0 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
14 |
UNIX=1 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
15 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
16 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
17 |
if [ "$1" == "-tests" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
18 |
SKIP_CHECKOUT=yes |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
19 |
SKIP_COMPILE=yes |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
20 |
SKIP_ARTIFACTS=yes |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
21 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
22 |
RUN_REPORTS=yes |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
23 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
24 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
25 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
26 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
27 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
28 |
# Setup... |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
29 |
if [ "$WIN32" == "1" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
30 |
# WINDOWS |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
31 |
# MUST export this, otherwise libjpeg fails to build!!!" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
32 |
export BCB="C:\Borland\BCC55" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
33 |
# To make cvs/ssh happy |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
34 |
export CVS_RSH=plink |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
35 |
# Set home |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
36 |
export HOME=$USERPROFILE |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
37 |
# Defaults |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
38 |
export CVSROOT=":pserver:jenkinsBuild:blablu@cvs.bh.exept.de:/cvs/stx" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
39 |
# Make using bmake here..." |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
40 |
MAKE="cmd /C bmake.bat" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
41 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
42 |
# LINUX |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
43 |
# to get Mercurial |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
44 |
export PATH=$PATH:/home/vrany/bin |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
45 |
# Make using regular make here..." |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
46 |
MAKE=make |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
47 |
# Defaults |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
48 |
export CVSROOT="/cvs/stx" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
49 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
50 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
51 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
52 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
53 |
# Sorry, it's lot easier for JV to have all the messages in EN :-) |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
54 |
export LANG=en_GB.UTF-8 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
55 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
56 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
57 |
# When run interactively, Jenkins env variables |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
58 |
# may not be set... |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
59 |
if [ -z "$WORKSPACE" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
60 |
WORKSPACE="$PWD" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
61 |
INTERACTIVE=1 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
62 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
63 |
INTERACTIVE=0 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
64 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
65 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
66 |
if [ "$INTERACTIVE" == "0" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
67 |
if [ "$WIN32" == "1" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
68 |
WORKSPACE="$PWD" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
69 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
70 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
71 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
72 |
if [ -z "$BUILD_NUMBER" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
73 |
BUILD_NUMBER=$(date +%Y_%m_%d_interactive) |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
74 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
75 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
76 |
#BUILD="$WORKSPACE/${PROJECT}_${BUILD_NUMBER}_linux_build" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
77 |
BUILD="build" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
78 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
79 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
80 |
echo "INFO: BUILD=\"$BUILD\"" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
81 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
82 |
if [ -d "$BUILD" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
83 |
echo "WARN: Build directory already exists!" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
84 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
85 |
mkdir -p "$BUILD" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
86 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
87 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
88 |
pushd "$BUILD" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
89 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
90 |
if [ -z "$SKIP_CHECKOUT" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
91 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
92 |
echo "INFO: Checking out source code" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
93 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
94 |
# Checkout stx |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
95 |
if [ ! -d stx ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
96 |
if ! cvs co stx; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
97 |
echo "ERROR: CVS: Cannot checkout stx"; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
98 |
exit; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
99 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
100 |
else |
113
28d9dbbe08c2
Make cvs update -d when updating CVS working copy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
112
diff
changeset
|
101 |
(cd stx && cvs update -d) |
112
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
102 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
103 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
104 |
# Checkout stx:libjava |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
105 |
if [ -d stx/libjava/CVS ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
106 |
rm -rf stx/libjava |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
107 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
108 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
109 |
if [ ! -d stx/libjava ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
110 |
if ! hg clone https://swing.fit.cvut.cz/hg/stx.libjava/ stx/libjava -b development; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
111 |
echo "ERROR: HG: Cannot clone stx/libjava"; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
112 |
exit; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
113 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
114 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
115 |
if ! hg --cwd stx/libjava pull; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
116 |
echo "ERROR: HG: Cannot pull stx/libjava"; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
117 |
exit; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
118 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
119 |
if ! hg --cwd stx/libjava update; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
120 |
echo "ERROR: HG: Cannot update stx/libjava"; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
121 |
exit; |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
122 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
123 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
124 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
125 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
126 |
echo "INFO: Checkout skipped (SKIP_CHECKOUT=$SKIP_CHECKOUT)" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
127 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
128 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
129 |
# Compile |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
130 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
131 |
if [ -z "$SKIP_COMPILE" ]; then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
132 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
133 |
echo "INFO: Compiling" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
134 |
TARGETS1="stx stx/libjava stx/goodies/petitparser stx/libjava/tools stx/libjava/experiments stx/projects/smalltalk stx/librun" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
135 |
for target in $TARGETS1; do |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
136 |
if ! (cd "$target" && $MAKE); then |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
137 |
echo "ERROR: cannot $MAKE in $target" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
138 |
exit 3 |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
139 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
140 |
done |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
141 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
142 |
else |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
143 |
echo "INFO: Compilation skipped (SKIP_COMPILE=$SKIP_COMPILE)" |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
144 |
fi |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
145 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
146 |
popd |
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
147 |
|
8df32339b6cd
Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
148 |
echo "INFO: $PROJECT SUCCESSFULLY BUILT" |