Merge pull request #664 from ucsd-progsys/fd/ci-link-z3-as-a-library

Configure stack CI jobs to run without link-z3-as-a-library
ucsd-progsys · Nov 28, 2023 · 01c41db · 01c41db
2 parents 3601ebb + 242ce52
commit 01c41db
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -3,6 +3,9 @@ name: stack
 on:
   push:
   pull_request:
+env:
+  # We test in stack jobs that we can build without link-z3-as-a-library
+  STACK_FLAGS: --no-terminal --flag liquid-fixpoint:-link-z3-as-a-library
 
 jobs:
   build:
@@ -45,7 +48,7 @@ jobs:
           key: ${{ runner.os }}-${{ matrix.ghc }}-stack-${{ hashFiles('**/*.cabal', './stack/stack-${{ matrix.ghc }}.yaml', './stack/stack-${{ matrix.ghc }}.yaml.lock') }}
 
       - name: Build
-        run: stack test --no-run-tests --no-terminal
+        run: stack test --no-run-tests $STACK_FLAGS
 
       - name: Test
-        run: stack test --no-terminal --test-arguments "--color=always"
+        run: stack test --test-arguments "--color=always" $STACK_FLAGS