install.yml

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

env:
  IDRIS2_TESTS_CG: jvm
  ACTIONS_ALLOW_UNSECURE_COMMANDS: true
  PREVIOUS_VERSION: 0.6.0.4

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2

      - name: Set up JDK 8
        uses: actions/setup-java@v2
        with:
          java-version: '8'
          distribution: 'adopt'
          cache: 'maven'

      - name: Set IDRIS2_PREFIX
        run: echo IDRIS2_PREFIX="$HOME/bin/idris2-$PREVIOUS_VERSION/env" >> "$GITHUB_ENV"

      - name: Set PREFIX
        run: echo PREFIX="$IDRIS2_PREFIX" >> "$GITHUB_ENV"

      - name: Download previous version
        run: |
          mvn dependency:copy "-Dartifact=io.github.mmhelloworld:idris-jvm-compiler:$PREVIOUS_VERSION:zip" -DoutputDirectory=. -U
          unzip idris-jvm-compiler-*.zip -d "$HOME/bin"
          echo "::add-path::$HOME/bin/idris2-$PREVIOUS_VERSION/exec"

      - name: Build
        run: mvn -B install -Dinteractive= -Didris.tests=only=jvm

      - name: Copy new version
        run: |
          mkdir -p "$HOME/bin/idris2-current"
          cp -r build/exec "$HOME/bin/idris2-current/exec"
          cp -r build/env "$HOME/bin/idris2-current/env"

      - name: Use new version
        run: |
          echo "::add-path::$HOME/bin/idris2-current/exec"
          echo IDRIS2_PREFIX="$HOME/bin/idris2-current/env" >> "$GITHUB_ENV"
          echo PREFIX="$IDRIS2_PREFIX" >> "$GITHUB_ENV"

      - name: Self host
        run: mvn -B clean install -Dinteractive= -Didris.tests=only=jvm