diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2021-12-19 13:24:28 +0000 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2021-12-23 10:38:59 +0000 |
| commit | 035711f092bf31a534a4feb4e1df092147a42377 (patch) | |
| tree | ae1c671499471a68344a608bca7d828e9e29e37e /tools | |
| parent | 0dd92b1169853d94970300002a30709e8c5bb407 (diff) | |
| download | ocaml-035711f092bf31a534a4feb4e1df092147a42377.tar.gz | |
Use GNU parallel for the AppVeyor testsuite run
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ci/appveyor/appveyor_build.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/ci/appveyor/appveyor_build.sh b/tools/ci/appveyor/appveyor_build.sh index 9725809d0b..b944fae813 100644 --- a/tools/ci/appveyor/appveyor_build.sh +++ b/tools/ci/appveyor/appveyor_build.sh @@ -88,6 +88,7 @@ function set_configuration { # run "Content of $FILE" cat Makefile.config } +PARALLEL_URL='https://ftpmirror.gnu.org/parallel/parallel-latest.tar.bz2' APPVEYOR_BUILD_FOLDER=$(echo "$APPVEYOR_BUILD_FOLDER" | cygpath -f -) FLEXDLLROOT="$PROGRAMFILES/flexdll" OCAMLROOT=$(echo "$OCAMLROOT" | cygpath -f - -m) @@ -110,6 +111,13 @@ fi case "$1" in install) + pushd /tmp &>/dev/null + curl -Ls $PARALLEL_URL | bunzip2 - | tar x + cd parallel-* + ./configure + make + make install + popd &/dev/null if [[ $BOOTSTRAP_FLEXDLL = 'false' ]] ; then mkdir -p "$FLEXDLLROOT" cd "$APPVEYOR_BUILD_FOLDER/../flexdll" @@ -133,7 +141,7 @@ case "$1" in "$FULL_BUILD_PREFIX-$PORT/tools/check-symbol-names" \ $FULL_BUILD_PREFIX-$PORT/runtime/*.a fi - run "test $PORT" $MAKE -C "$FULL_BUILD_PREFIX-$PORT" tests + run "test $PORT" $MAKE -C "$FULL_BUILD_PREFIX-$PORT/testsuite" parallel run "install $PORT" $MAKE -C "$FULL_BUILD_PREFIX-$PORT" install if [[ $PORT = 'msvc64' ]] ; then run "$MAKE check_all_arches" \ |