diff options
Diffstat (limited to 'ci/build_win32.sh')
| -rw-r--r-- | ci/build_win32.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/build_win32.sh b/ci/build_win32.sh new file mode 100644 index 000000000..de5156843 --- /dev/null +++ b/ci/build_win32.sh @@ -0,0 +1,8 @@ +sudo apt-get install mingw32 mingw32-binutils mingw32-runtime default-jdk nsis + +mkdir win32 +pushd win32 +cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make && make package +popd + +cp win32/*.exe $CIRCLE_ARTIFACTS/ |