haskell.yml

name: Haskell CI

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

permissions:
  contents: read

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3
    - uses: actions/setup-haskell@v1
      with:
        ghc-version: '8.10.3'
        stack-version: '2.9.3'
        cabal-version: '3.10.3.0'

    - name: Set path
      run: export PATH=$PATH:/home/runner/.cabal/bin/

    - name: Print path
      run: echo $PATH

    - name: Install system dependencies
      run: sudo apt-get update && sudo apt install gcc libgmp-dev libffi-dev libbsd-dev libc6-dev libncurses5-dev libc6 libffi8 libgmp10 libtinfo6


    - name: Install dependencies
      run: |
        cabal update
        cabal install agda2hs
    - name: Build
      run: |
        agda2hs ./src/Lam/Agda/Lam/Export.agda
        mv ./src/Lam/Agda/Lam/*.hs ./src/Lam
        rm ./src/Lam/Export.hs
        stack build
    - name: Run tests
      run: stack test