build: macos: add export path to test step

VeriFIT · Dec 22, 2024 · 520e756 · 520e756
1 parent c1c4f68
commit 520e756
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -51,6 +51,7 @@ jobs:
       - name: Test Z3-Noodler
         run: |
           cd build
+          export CPLUS_INCLUDE_PATH="${CPLUS_INCLUDE_PATH:+${CPLUS_INCLUDE_PATH}:}/usr/local/include/"
           make -j4 test-noodler
           ./test-noodler