From a345a98ef7576564bfc1c7fdcaefaa1b571c9d89 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 9 Nov 2021 10:14:37 +0100 Subject: [PATCH] chore: fix foreign test on macOS --- .github/workflows/ci.yml | 1 + src/shell/CMakeLists.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d7e0d1eb72..cb8c5302ff 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -133,6 +133,7 @@ jobs: if: matrix.name == 'macOS' run: | cd build/stage1 + cp /usr/local/opt/gmp/lib/libgmp.* lib/ for f in lib/lean/libleanshared.dylib bin/lean bin/leanpkg bin/leanc bin/lake; do for lib in $(otool -L $f | tail -n +2 | cut -d' ' -f1); do # copy Homebrew dependencies diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 013250dd8a..c904abe999 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -79,7 +79,7 @@ ENDFOREACH(T) add_test(NAME leancomptest_foreign WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/compiler/foreign" - COMMAND bash -c "${LEAN_BIN}/leanmake --always-make CXX=${CMAKE_CXX_COMPILER}") + COMMAND bash -c "${LEAN_BIN}/leanmake --always-make CXX='${CMAKE_CXX_COMPILER} ${LEANC_OPTS}'") add_test(NAME leancomptest_doc_example WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../doc/examples/compiler" COMMAND bash -c "${LEAN_BIN}/leanmake --always-make bin && ./build/bin/test hello world")