luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Try package-env not package-db

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-08 10:07:56 -06:00
parent ae1f2e2e86
commit 1aae874c38
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
.github/workflows/prototyping.yml vendored
View file

@ -27,17 +27,17 @@ jobs:
working-directory: prototyping
run: |
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 --lib scientific --package-env .
cabal install --lib vector --package-env .
cabal install --lib aeson --package-env .
ghc-pkg list
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 --ghc-flag=-package-db --ghc-flag=package.db PrettyPrinter.agda
run: ~/.cabal/bin/agda --compile --ghc-flag=-v PrettyPrinter.agda
- name: cmake configure
run: cmake .
- name: cmake build luau-ast