From e1c92bbe5a682d7e309abc67f70d48cf7457bb87 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Sun, 29 Sep 2024 15:14:21 +0100 Subject: [PATCH] Test --enable-relative in CI --- .github/workflows/build-msvc.yml | 1 + .github/workflows/build.yml | 3 ++- tools/ci/appveyor/appveyor_build.sh | 4 ++-- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-msvc.yml b/.github/workflows/build-msvc.yml index a6697a39a212..a87fc01206ea 100644 --- a/.github/workflows/build-msvc.yml +++ b/.github/workflows/build-msvc.yml @@ -101,6 +101,7 @@ jobs: CC=$CC --enable-ocamltest --enable-native-toplevel + --${{ matrix.cc == 'cl' && matrix.x86_64 && 'enable' || 'disable' }}-relative run: >- eval $(tools/msvs-promote-path) ; if ! ./configure ${{ env.CONFIGURE_FLAGS }} ; then diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1c8ba29122c6..0aacbbfc49ab 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -59,7 +59,7 @@ jobs: '${{ github.event.repository.full_name }}' - name: Configure tree run: | - MAKE_ARG=-j CONFIG_ARG='--enable-flambda --enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure + MAKE_ARG=-j CONFIG_ARG='--enable-flambda --enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel --enable-relative' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure - name: Build run: | MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build @@ -157,6 +157,7 @@ jobs: os: macos-13 - name: macos-arm64 os: macos-14 + config_arg: --enable-relative - name: static os: ubuntu-latest config_arg: --disable-shared --disable-native-toplevel diff --git a/tools/ci/appveyor/appveyor_build.sh b/tools/ci/appveyor/appveyor_build.sh index 19b21a615bf1..eeee6a07adb9 100755 --- a/tools/ci/appveyor/appveyor_build.sh +++ b/tools/ci/appveyor/appveyor_build.sh @@ -96,12 +96,12 @@ function set_configuration { # Remove configure cache if the script has failed if ! ./configure --cache-file="$CACHE_FILE" $dep $build $man $host \ --prefix="$2" --enable-ocamltest \ - --enable-native-toplevel ; then + --enable-native-toplevel --enable-relative ; then rm -f -- "$CACHE_FILE" local failed ./configure --cache-file="$CACHE_FILE" $dep $build $man $host \ --prefix="$2" --enable-ocamltest \ - --enable-native-toplevel \ + --enable-native-toplevel --enable-relative \ || failed=$? if ((failed)) ; then cat config.log ; exit $failed ; fi fi