From fc322bd6992200bb22ce8939b2d3c6eceb87514d Mon Sep 17 00:00:00 2001
From: Niklas Larsson <niklas@mm.st>
Date: Tue, 2 Jun 2020 12:44:31 +0200
Subject: [PATCH] Add a bootstrap from Idris 1 CI script

---
 .github/workflows/ci-full-bootstrap.yml | 38 +++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 .github/workflows/ci-full-bootstrap.yml

diff --git a/.github/workflows/ci-full-bootstrap.yml b/.github/workflows/ci-full-bootstrap.yml
new file mode 100644
index 000000000..e523651e3
--- /dev/null
+++ b/.github/workflows/ci-full-bootstrap.yml
@@ -0,0 +1,38 @@
+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
+