[ build ] A major refactor of the build system

.gitattributes

@@ -1 +1 @@
-bootstrap/idris2_app/* linguist-generated
+build/stage1/idris2_app/* linguist-generated

.github/ISSUE_TEMPLATE/installation-problem.md

@@ -11,7 +11,7 @@ Please check INSTALL.md and README.md to ensure you have all the required depend
 
 Some common possible solutions:
 
-* In `make bootstrap`, make sure you have the right exectuable name for `SCHEME`
+* In `make bootstrap`, make sure you have the right exectuable name for `CHEZ`
 * Stale `.ttc` files from an earlier version, or an out of data `IdrisPaths.idr` might be in the way. Try removing these with `make distclean`
 * Removing all trace of Idris 2 from your installation directory might help. By default this is `$HOME/.idris2` - if you have a particularly out of date version, or you have used a broken build at some point (as much as we try to avoid this) then deleting this might help.
 

.github/workflows/ci-bootstrap.yml

@@ -12,11 +12,11 @@ name: Bootstrap
 on:
   push:
     paths:
-      - 'bootstrap/idris2_app/idris2.ss'
+      - 'build/stage1/idris2_app/idris2.ss'
       - '.github/workflows/ci-bootstrap.yml'
   pull_request:
     paths:
-      - 'bootstrap/idris2_app/idris2.ss'
+      - 'build/stage1/idris2_app/idris2.ss'
       - '.github/workflows/ci-bootstrap.yml'
 
 jobs:
@@ -34,9 +34,9 @@ jobs:
         id: get_commit_message
         run: |
           if   [[ '${{ github.event_name }}' == 'push' ]]; then
-            echo ::set-output name=commit_message::$(git log --format=%B -n 1 HEAD)
+            echo "::set-output name=commit_message::$(git log --format=%B -n 1 HEAD)"
           elif [[ '${{ github.event_name }}' == 'pull_request' ]]; then
-            echo ::set-output name=commit_message::$(git log --format=%B -n 1 HEAD^2)
+            echo "::set-output name=commit_message::$(git log --format=%B -n 1 HEAD^2)"
           fi
 
     outputs:
@@ -50,14 +50,18 @@ jobs:
       !contains(needs.initialise.outputs.commit_message, '[ci: skip]')
     env:
       IDRIS2_CG: chez
-      SCHEME: scheme
+      CHEZ: scheme
     steps:
       - name: Checkout
         uses: actions/checkout@v2
+        with:
+          # We use git describe during the build, so let's fetch
+          # everything.
+          fetch-depth: 0
       - name: Install build dependencies (LTS versions)
         run: |
           sudo apt-get update
           sudo apt-get install -y chezscheme
-          echo "$HOME/.idris2/bin" >> $GITHUB_PATH
+          echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
       - name: Build bootstrap
         run: make bootstrap