name: Idris bootstrap
on:
  push:
    branches:
      - master
    tags:
      - '*'

env:
  SCHEME: scheme
jobs:
  build:
    runs-on: ubuntu-20.04
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: Install build dependencies
        run: |
          sudo apt-get install -y chezscheme zlib1g-dev ghc cabal-install
          cabal update
          echo "::add-path::$HOME/.idris2/bin"
          echo "::add-path::$HOME/.cabal/bin"
      - name: Get Idris2-boot
        run: |
          cd $HOME && git clone https://github.com/edwinb/Idris2-boot
      - name: Install Idris 1
        run: cabal v1-install idris
      - name: Build Idris2-boot
        run: cd $HOME/Idris2-boot && make && make install
      - name: Build from bootstrap
        run: |
          make all IDRIS2_BOOT=$HOME/.idris2boot/bin/idris2boot
          make install
        shell: bash
      - name: Build and test self-hosted
        run: make clean && make all && make test INTERACTIVE=''
        shell: bash


Add a bootstrap from Idris 1 CI script
Add a bootstrap from Idris 1 CI script
