shellfiles/build_stx_libjava.sh
author Jan Vrany <jan.vrany@fit.cvut.cz>
Thu, 07 Feb 2013 09:31:05 +0100
changeset 112 8df32339b6cd
child 113 28d9dbbe08c2
permissions -rw-r--r--
Added shellfiles with some Jenkins shell scripts
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
8df32339b6cd Added shellfiles with some Jenkins shell scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   101
      (cd stx && cvs update)
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"