diff options
Diffstat (limited to 'make-distcheck.sh')
-rwxr-xr-x | make-distcheck.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/make-distcheck.sh b/make-distcheck.sh index 0918a08..2968dd0 100755 --- a/make-distcheck.sh +++ b/make-distcheck.sh @@ -72,6 +72,16 @@ check_tarball() ( cmake "${@:2}" .. make + + # NOTE: We need to copy some .dll files next to the + # Windows binaries so that they are ready to be executed + if [[ "${*:2}" == *mingw* ]]; then + cp /usr/lib/gcc/i686-w64-mingw32/*-posix/libgcc_s_sjlj-1.dll ./ + cp /usr/lib/gcc/i686-w64-mingw32/*-posix/libstdc++-6.dll ./ + cp /usr/i686-w64-mingw32/lib/libwinpthread-1.dll ./ + cp "${GTEST_PREFIX:?}"/bin/libgtest.dll ./ + fi + make test make DESTDIR="${PWD}"/ROOT/ install ) |