1234567891011121314151617181920212223242526272829303132333435363738 |
- #!/bin/sh -e
- if [ -z "$ANDROID_HOME" ]; then
- echo 'No $ANDROID_HOME specified.'
- exit 1
- fi
- VERSION=$1
- PREV_VERSION=$2
- git checkout refs/tags/release-$VERSION
- git log --pretty=fuller --date=short refs/tags/release-$PREV_VERSION..HEAD > ChangeLog
- ./configure && \
- make dist-bzip2 && make dist-gzip && make dist-xz || echo "error"
- make distclean
- # mingw 32bit
- export HOST=i686-w64-mingw32
- export LABEL=win-32bit
- ./mingw-config
- make -j3
- ./mingw-release
- make distclean
- # mingw 64bit
- export HOST=x86_64-w64-mingw32
- export LABEL=win-64bit
- ./mingw-config
- make -j3
- ./mingw-release
- make distclean
- # android
- ./android-config
- ./android-make -j3
- ./android-release
- make distclean
|