From 2850a35079a61e034a48c534df1a15848c56d530 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Mon, 4 Dec 2023 22:40:39 -0300
Subject: [PATCH] configure stack to use ghc 9.6.3 in CI

---
 .circleci/config.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f335dd90d0..5db128a886 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -127,15 +127,18 @@ 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:
           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