configure stack to use ghc 9.6.3 in CI

ucsd-progsys · Dec 5, 2023 · 3e91546 · 3e91546
1 parent df8b378
commit 3e91546
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -127,8 +127,11 @@ commands:
           command: |
             stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> clean
             mkdir -p /tmp/junit/stack
-            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> run test-driver
-            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> test tests:tasty
+            # the -package-db and -package arguments help work around https://github.com/commercialhaskell/stack/issues/6251
+            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> build liquidhaskell-boot
+            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> build liquidhaskell --ghc-options "-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell-boot"
+            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> run test-driver --ghc-options "-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell"
+            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> test tests:tasty --ghc-options "-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell"
             stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> test -j1 liquidhaskell-boot << parameters.extra_build_flags >>
           no_output_timeout: 30m
       - run: