From e10b215a15e35d513f1ef4d70a085708d6e3fb77 Mon Sep 17 00:00:00 2001 From: jandegr Date: Sun, 11 Feb 2018 16:23:32 +0100 Subject: Update build_win32.sh (#402) * Update build_win32.sh * Update build_win32.sh --- ci/build_win32.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/build_win32.sh b/ci/build_win32.sh index 47b05b9d2..cb05c9b49 100644 --- a/ci/build_win32.sh +++ b/ci/build_win32.sh @@ -1,8 +1,8 @@ -apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis +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 -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package +cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package popd cp win32/*.exe $CIRCLE_ARTIFACTS/ -- cgit v1.2.1