build-sh

   1 #!/bin/bash
   2 #
   3 # We don't supply a Makefile.  Instead, we just supply this shell script.
   4
   5 set -e
   6
   7 case "$#.$1" in
   8 0.)     ;;
   9 *.-*)   echo >&2 'no options allowed'; exit 1;;
  10 *)      echo >&2 'no arguments allowed'; exit 1;;
  11 esac
  12
  13 : ${JAVA_HOME:=/usr/lib/jvm/java-6-sun}
  14 export JAVA_HOME
  15
  16 revision=`git describe --always || echo '(unknown revision)'`
  17 if [ x"`git diff 2>/dev/null || echo x`" != x ]; then
  18         revision="$revision-local"
  19 fi
  20
  21 cat >src/net/chiark/yarrg/Version.java <<END
  22   package net.chiark.yarrg;
  23   public class Version {
  24       public final static String version = "$revision";
  25   }
  26 END
  27 rm -f src/build/net/chiark/yarrg/Version.class
  28 rm -f src/build/net/chiark/yarrg/ControlPanel.class
  29 rm -f *.jar
  30
  31 cd src
  32 ant -f Jarrg.xml
  33 cd ..
  34
  35 echo "
  36 Building tarballs
  37 "
  38
  39 tarball () {
  40         output=$1; shift
  41         GZIP='-9v --rsyncable' tar --exclude=\*{~,.tar.gz,.exe} --exclude='#*#' \
  42           --transform='s/^./jarrg/' --exclude={src/build,tmp} "$@" \
  43           -zcf "$output" .
  44 }
  45
  46 tarball jarrg-source.tar.gz
  47
  48 tarball jarrg-linux.tar.gz \
  49   --exclude={.git*,src,accessibility.properties,build-sh} \
  50
  51 files='jarrg-source.tar.gz jarrg-linux.tar.gz jarrg-setup.exe'
  52
  53 echo "
  54 Generated OK:
  55 "
  56 ls -al $files
  57
  58 pubbase="${JARRG_PUBLISH_BASE-login.chiark.greenend.org.uk}"
  59 pubdir="${JARRG_PUBLISH_DIR-/home/yarrgweb/public-html/download/jarrg}"
  60
  61 echo "
  62 Revision: $revision
  63
  64 Install with:
  65  RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/test/
  66 "