From ae1f2e2e8618036fc1d44a2b7bcbb1ca60fcbc3e Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 8 Feb 2022 09:55:24 -0600 Subject: [PATCH] Try using an explcit package.db --- .github/workflows/prototyping.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 0dd500fa..6b1a9234 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -26,16 +26,18 @@ jobs: - name: cabal install working-directory: prototyping run: | - cabal install --lib scientific - cabal install --lib vector - cabal install --lib aeson + ghc-pkg init package.db + cabal install --lib scientific --package-db package.db + cabal install --lib vector --package-db package.db + cabal install --lib aeson --package-db package.db + ghc-pkg list --package-db package.db cabal install Agda - name: check examples working-directory: prototyping run: ~/.cabal/bin/agda Examples.agda - name: build PrettyPrinter working-directory: prototyping - run: ~/.cabal/bin/agda --compile --ghc-flag=-v PrettyPrinter.agda + run: ~/.cabal/bin/agda --compile --ghc-flag=-v --ghc-flag=-package-db --ghc-flag=package.db PrettyPrinter.agda - name: cmake configure run: cmake . - name: cmake build luau-ast