chiark / gitweb /
Merge branch 'tidy' into 'main'
[jarrg-ian.git] / 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-8-openjdk-amd64}
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 revision=${revision#jarrg-}
21
22 cat >src/net/chiark/yarrg/Version.java <<END
23   package net.chiark.yarrg;
24   public class Version {
25       public final static String version = "$revision";
26   }
27 END
28 rm -f src/build/net/chiark/yarrg/Version.class
29 rm -f src/build/net/chiark/yarrg/ControlPanel.class
30 rm -f src/build/net/chiark/yarrg/MarketUploader.class
31 rm -f *.jar
32
33 cd src
34 ant -f Jarrg.xml
35 cd ..
36
37 echo "
38 Building tarballs
39 "
40
41 tarball () {
42         output=$1; shift
43         >"$output"; # avoids rsync seeing that . changed
44         GZIP='-9v --rsyncable' tar --exclude=\*{~,.tar.gz,.exe} --exclude='#*#' \
45           --transform='s/^./jarrg/' --exclude={src/build,tmp} "$@" \
46           -zcf "$output" .
47 }
48
49 tarball jarrg-source.tar.gz
50
51 tarball jarrg-linux.tar.gz \
52   --exclude={.git*,src,accessibility.properties,build-sh} \
53
54 files='jarrg-source.tar.gz jarrg-linux.tar.gz jarrg-setup.exe'
55
56 echo "
57 Generated OK:
58 "
59 ls -al $files
60
61 pubbase="${JARRG_PUBLISH_BASE-ijackson@login.chiark.greenend.org.uk}"
62 pubdir="${JARRG_PUBLISH_DIR-/home/yarrgweb/public-html/download/jarrg}"
63
64 echo "
65 Revision: $revision
66
67 Publish as test with:
68   RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/test/
69
70 To actually publish a release, on $pubbase:
71   mkdir $revision
72   ln test/* $revision/.
73   ln -f test/* .
74 "