tsltools/.github/workflows/action.yml at master · Barnard-PL-Labs/tsltools · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
on: [push]
name: build
jobs:
  ormolu:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - uses: haskell-actions/run-ormolu@v11
  build:
    name: TSL test suite
    runs-on: ubuntu-latest # or macOS-latest, or windows-latest
    needs: ormolu
    steps:
      - uses: actions/checkout@v4

      # Install system dependencies
      - name: Install system dependencies
        run: |
          sudo apt-get update
          sudo apt-get install -y libpcre3 libpcre3-dev

      - uses: haskell-actions/setup@v2
        with:
          enable-stack: true
          stack-version: 'latest'

      # Cache Stack dependencies
      - uses: actions/cache@v3
        name: Cache ~/.stack
        with:
          path: ~/.stack
          key: ${{ runner.os }}-stack-${{ hashFiles('stack.yaml.lock', 'package.yaml') }}
          restore-keys: |
            ${{ runner.os }}-stack-

      # Update Stack index to avoid hash verification errors
      - run: stack update

      # Setup CVC5
      - run: mkdir deps deps-src
      - run: mkdir deps/bin
      - run: wget -P deps-src https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.1/cvc5-Linux-static.zip
      - run: unzip deps-src/cvc5-Linux-static.zip -d deps-src
      - run: mv deps-src/cvc5-Linux-static/bin/cvc5 deps/bin
      - run: chmod u+x deps/bin/cvc5

      # Run tests
      - run: PATH="deps/bin:$PATH" stack test