ci-lib.yml

name: Build
on:
  push:
    branches:
      - '**'
  pull_request:
    branches:
      - '**'

########################################################################
## CONFIGURATION
########################################################################

env:
  IDRIS2_COMMIT: v0.6.0
  SCHEME: scheme
  ELAB_COMMIT: 87f9d910f4669b38d9d2cd67b5a63922dffb1ab1
  SOP_COMMIT: 87a30cf81117f387824f945374081ffa2effa8a0

jobs:
  ubuntu-chez:
    runs-on: ubuntu-latest
    env:
      PACK_DIR: /root/.pack
    strategy:
      fail-fast: false
    container: ghcr.io/stefan-hoeck/idris2-pack:latest
    steps:
      - name: Checkout idris2-tls
        uses: actions/checkout@v2

      - name: Install idris2-sop
        run: pack install sop

      - name: Build package
        run: make install

      - name: Test package
        run: make test

  windows-chez:
    runs-on: windows-latest
    env:
      MSYSTEM: MINGW64
      MSYS2_PATH_TYPE: inherit
      SCHEME: scheme
      CC: gcc
    steps:
      - name: Init
        run: |
          git config --global core.autocrlf false
      - name: Checkout
        uses: actions/checkout@v2
      # This caching step allows us to save a lot of building time by only
      # rebuilding Idris2 from boostrap if absolutely necessary
      - name: Cache Idris2
        uses: actions/cache@v2
        id: cache-idris2
        with:
          path: |
            ChezScheme
            .idris2
          key: ${{ runner.os }}-${{ env.IDRIS2_COMMIT }}
      - name: Get Chez Scheme
        if: steps.cache-idris2.outputs.cache-hit != 'true'
        run: |
          git clone --depth 1 https://github.com/cisco/ChezScheme
          c:\msys64\usr\bin\bash -l -c "pacman -S --noconfirm tar make mingw-w64-x86_64-gcc"
          echo "PWD=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
      - name: Configure and Build Chez Scheme
        if: steps.cache-idris2.outputs.cache-hit != 'true'
        run: |
          c:\msys64\usr\bin\bash -l -c "cd $env:PWD && cd ChezScheme && ./configure --threads && make"
      - name: Set Path
        run: |
          $chez="$(pwd)\ChezScheme\ta6nt\bin\ta6nt"
          $idris="$(pwd)\.idris2"
          echo "$chez" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
          echo "$idris\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
          echo "IDRIS_PREFIX=$idris" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
          echo "PREFIX=$(c:\msys64\usr\bin\cygpath -u $idris)" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
      - name: Test Scheme
        run: |
          scheme --version
      - name: Install Idris2
        if: steps.cache-idris2.outputs.cache-hit != 'true'
        run: |
          git clone https://github.com/idris-lang/idris2
          cd idris2
          git checkout ${{ env.IDRIS2_COMMIT }}
          c:\msys64\usr\bin\bash -l -c "cd $env:PWD && cd idris2 && make bootstrap && make install"
      - name: Install idris2-elab-util
        run: |
          git clone https://github.com/stefan-hoeck/idris2-elab-util
          cd idris2-elab-util
          git checkout ${{ env.ELAB_COMMIT }}
          make install

      - name: Install idris2-sop
        run: |
          git clone https://github.com/stefan-hoeck/idris2-sop
          cd idris2-sop
          git checkout ${{ env.SOP_COMMIT }}
          idris2 --install sop.ipkg

      - name: Checkout idris2-tls
        uses: actions/checkout@v2
        with:
          path: tls

      - name: Build package
        run: |
          cd tls
          echo "TLS=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
          make install

      - name: Test package
        run: c:\msys64\usr\bin\bash -l -c "cd $env:TLS && make test"

  macos-chez:
    runs-on: macos-latest
    env:
      SCHEME: chez
    steps:
      # This caching step allows us to save a lot of building time by only
      # rebuilding Idris2 from boostrap if absolutely necessary
      - name: Cache Idris2
        uses: actions/cache@v2
        id: cache-idris2
        with:
          path: |
            ~/.idris2
          key: ${{ runner.os }}-${{ env.IDRIS2_COMMIT }}

      - name: Install Idris2 build dependencies
        run: |
          brew install chezscheme
          brew install coreutils
          echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"

      - name: Build Idris 2 from bootstrap
        if: steps.cache-idris2.outputs.cache-hit != 'true'
        run: |
          git clone https://github.com/idris-lang/idris2
          cd idris2
          git checkout ${{ env.IDRIS2_COMMIT }}
          chmod -R a-w bootstrap
          make bootstrap && make install
        shell: bash

      - name: Install idris2-elab-util
        run: |
          git clone https://github.com/stefan-hoeck/idris2-elab-util
          cd idris2-elab-util
          git checkout ${{ env.ELAB_COMMIT }}
          make install
        shell: bash

      - name: Install idris2-sop
        run: |
          git clone https://github.com/stefan-hoeck/idris2-sop
          cd idris2-sop
          git checkout ${{ env.SOP_COMMIT }}
          idris2 --install sop.ipkg
        shell: bash

      - name: Checkout idris2-tls
        uses: actions/checkout@v2
        with:
          path: tls

      - name: Build package
        run: |
          cd tls
          make install

      - name: Test package
        run: |
          cd tls
          make test