From 242ce526733a5137c471e706f61b4138e7daa6f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 27 Nov 2023 19:19:21 -0300 Subject: [PATCH] Configure stack CI jobs to run without link-z3-as-a-library --- .github/workflows/stack.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml index 2645a5279..89ef56061 100644 --- 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