configure stack to use ghc 9.6.3 in CI

ucsd-progsys · Dec 5, 2023 · ef4c0c7 · ef4c0c7
1 parent df8b378
commit ef4c0c7
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -124,18 +124,21 @@ commands:
             - ./.stack-work
       - run:
           name: Test
-          command: |
+          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
-            stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> test -j1 liquidhaskell-boot << parameters.extra_build_flags >>
+            # the -package-db and -package arguments help work around https://github.com/commercialhaskell/stack/issues/6251
+            stack --no-terminal build liquidhaskell-boot
+            stack --no-terminal build liquidhaskell --ghc-options="-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell-boot"
+            stack --no-terminal run test-driver --ghc-options="-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell"
+            stack --no-terminal test tests:tasty --ghc-options="-package-db $(stack path --snapshot-pkg-db) -package-db $(stack path --local-pkg-db) -package liquidhaskell"
+            stack --no-terminal test -j1 liquidhaskell-boot << parameters.extra_build_flags >>
           no_output_timeout: 30m
       - run:
           name: Generate haddock
           command: |
             # stack haddock liquidhaskell --flag liquidhaskell:-devel --no-haddock-deps --haddock-arguments="--no-print-missing-docs --odir=$CIRCLE_ARTIFACTS"
-            # skip if extra_build_flags are set
+            # skip if extra_build_flags are set--ghc-options
             [ ! -z "<< parameters.extra_build_flags >>" ] || stack --no-terminal --stack-yaml << parameters.stack_yaml_file >> haddock << parameters.extra_build_flags >> liquidhaskell  --no-haddock-deps --haddock-arguments="--no-print-missing-docs"
       - run:
           name: Dist