Skip to content

Add quotes around sourcedir value in generated .ipkg file #244

Add quotes around sourcedir value in generated .ipkg file

Add quotes around sourcedir value in generated .ipkg file #244

Workflow file for this run

## Adapted from The Frex Project.
name: Idris2 on Ubuntu
# -- [ When to Act]
on:
push:
branches:
- '*'
tags:
- '*'
pull_request:
branches:
- main
# -- [ ENV Variables ]
env:
SCHEME: scheme
# -- [ Jobs ]
jobs:
## -- [ Initialise Build Environment ]
build:
runs-on: ubuntu-latest
timeout-minutes: 60
strategy:
matrix:
emacs: [25.3, 26.3, 27.2, 28.2]
env:
EMACS_VERSION: ${{ matrix.emacs }}
## -- [ Steps To Run ]
steps:
### -- [ Initialise Variables ]
- name: Initialise variables
run: |
# Only deploy if the build follows from pushing to main
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
### -- [ Cache Idris2 ]
- name: Cache Idris2
uses: actions/cache@v3
id: cache-idris2
with:
path: |
~/.idris2
key: ${{ runner.os }}-idris2
### -- [ Fetch Dependencies ]
#### -- [ Chez Scheme ]
- name: Install Chez
run: |
sudo apt-get update
sudo apt-get install -y chezscheme
#### -- [ Idris2 ]
- name: Install Idris2
if: steps.cache-idris2.outputs.cache-hit != 'true'
run: |
pushd .
git clone https://github.com/idris-lang/idris2
cd idris2
make bootstrap && make install
popd
#### -- [ Emacs ]
- name: Fetch Emacs
uses: purcell/setup-emacs@master
with:
version: ${{ matrix.emacs }}
### -- [ Checkout the test ]
- name: Checkout
uses: actions/checkout@v3
### -- [ Test ]
- name: Build and Run
run: |
make clean
make build
make test2
# -- [ EOF ]