diff options
Diffstat (limited to 'scripts/build_win32.sh')
| -rw-r--r-- | scripts/build_win32.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/build_win32.sh b/scripts/build_win32.sh new file mode 100644 index 000000000..26315ccd6 --- /dev/null +++ b/scripts/build_win32.sh @@ -0,0 +1,10 @@ +#!/bin/sh +set -e +apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis libsaxonb-java + +mkdir win32 +pushd win32 +cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DBUILD_MAPTOOL=n -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package +popd + +cp win32/*.exe $CIRCLE_ARTIFACTS/ |