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 to get cabal weirdness not to be weird

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-07 20:10:15 -06:00
parent 2d04049077
commit 8c390ffee2
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -23,7 +23,10 @@ jobs:
- name: cabal update
working-directory: prototyping
run: cabal update
- name: install agda
- name: cabal install dependencies
working-directory: prototyping
run: cabal install --lib aeson scientific vector
- name: cabal install agda
run: cabal install Agda
- name: check examples
working-directory: prototyping
@ -32,9 +35,6 @@ jobs:
run: cmake .
- name: cmake build luau-ast
run: cmake --build . --target Luau.Ast.CLI
- name: cabal install
working-directory: prototyping
run: cabal install --lib aeson scientific vector
- name: build PrettyPrinter
working-directory: prototyping
run: ~/.cabal/bin/agda --compile PrettyPrinter.agda