idris1.yml

name: Idris1 on Ubuntu

on:
  push:
    branches:
      - '*'
    tags:
      - '*'
  pull_request:
    branches:
      - main

jobs:
# -- [ Build ]
  build:

# ---- [ Initialise Build Environment ]
    runs-on: ubuntu-latest
    timeout-minutes: 60
    strategy:
      matrix:
        emacs: [29.3]
        idris: [git]
    env:
      EMACS_VERSION: ${{ matrix.emacs }}
      IDRIS_VERSION: ${{ matrix.idris }}

# ---- [ Steps to Run ]
    steps:

# ----- [ Steps Dependencies ]
      - name: Fetch Dependencies
        run: sudo apt install -y libgc-dev libgif-dev libxaw7-dev openssl

# ----- [ Initialise Variables ]

      - name: Initialise variables
        run: |
          mkdir -p $HOME/.local/bin
          echo "$HOME/.local/bin" >> $GITHUB_PATH

# ----- [ Emacs ]

      - name: Fetch Emacs
        uses: purcell/setup-emacs@master
        with:
          version: ${{ matrix.emacs }}

# ----- [ Caches ]

      - name: Cache stack global package-db
        id: stack-global
        uses: actions/cache@v3
        with:
          path: ~/.stack
          key: ${{ runner.os }}-stack-global-${{ matrix.idris }}
          restore-keys: |
            ${{ runner.os }}-stack-global-${{ matrix.idris }}

      - name: Cache stack-installed programs in ~/.local/bin
        id:   stack-programs
        uses: actions/cache@v3
        with:
          path: ~/.local/bin
          key: ${{ runner.os }}-stack-programs-${{ matrix.idris }}
          restore-keys: |
               ${{ runner.os }}-stack-programs-${{ matrix.idris }}

      - name: Cache .stack-work
        uses: actions/cache@v3
        with:
          path: .stack-work
          key: ${{ runner.os }}-stack-work-${{ matrix.idris }}
          restore-keys: |
               ${{ runner.os }}-stack-work-${{ matrix.idris }}


      - name: Cache idris-dev-git/
        if: matrix.idris == 'git'
        id: idris-dev-git
        uses: actions/cache@v3
        with:
          path: ~/idris-dev-git/
          key: ${{ runner.os }}-idris-dev-stack-work-${{ matrix.idris }}
          restore-keys: |
               ${{ runner.os }}-idris-dev-stack-work-${{ matrix.idris }}

# ----- [ Idris from GIT ]
      - name: Install Idris from GIT
        if: matrix.idris == 'git' && steps.idris-dev-git.outputs.cache-hit != 'true'
        run: |
          pushd .
          git clone https://github.com/idris-lang/Idris-dev.git ~/idris-dev-git
          cd ~/idris-dev-git
          stack --no-terminal install --flag idris:-FFI --flag idris:-GMP
          popd
          idris --info

# ----- [ Idris from Stack ]
      - name: Install Idris from Stackage
        if: matrix.idris == 'stackage' && steps.stack-program.outputs.cache-hit != 'true'
        run: |
          stack install --resolver lts-12.26 idris

# ----- [ Checkout and Run]
      - name: Checkout
        uses: actions/checkout@v3

      - name: Run Tests
        run: |
          make clean
          make build
          make test

# -- EOF