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

Install agda from cabal

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-07 19:00:47 -06:00
parent 33ba6b0e3f
commit d0a4510d2d
1 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -16,24 +16,26 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v1 - uses: actions/checkout@v1
- name: install cabal
run: sudo apt-get install -y cabal-install
- name: cabal update
working-directory: prototyping
run: cabal update
- name: install agda - name: install agda
run: sudo apt-get install -y agda run: cabal install Agda
- name: check examples
working-directory: prototyping
run: ~/.cabal/bin/agda Examples.agda
- name: cmake configure - name: cmake configure
run: cmake . run: cmake .
- name: cmake build luau-ast - name: cmake build luau-ast
run: cmake --build . --target Luau.Ast.CLI run: cmake --build . --target Luau.Ast.CLI
- name: check examples
working-directory: prototyping
run: agda Examples.agda
- name: cabal update
working-directory: prototyping
run: cabal update
- name: cabal install - name: cabal install
working-directory: prototyping working-directory: prototyping
run: cabal install --lib aeson scientific vector run: cabal install --lib aeson scientific vector
- name: build PrettyPrinter - name: build PrettyPrinter
working-directory: prototyping working-directory: prototyping
run: agda --compile PrettyPrinter.agda run: ~/.cabal/bin/agda --compile PrettyPrinter.agda
- name: run smoketest - name: run smoketest
working-directory: prototyping working-directory: prototyping
run: ../lua-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua run: ../lua-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua