ci-lib.yml

---
name: Build

on:
  push:
    branches:
      - '**'
    tags:
      - '**'
  pull_request:
    branches:
      - main
  schedule:
    - cron: '0 21 * * *'

permissions: read-all

defaults:
  run:
    shell: bash

jobs:
  build:
    name: Build pack with Idris2 latest
    runs-on: ubuntu-latest
    env:
      PACK_DIR: /root/.pack
    strategy:
      fail-fast: false
    container: ghcr.io/stefan-hoeck/idris2-pack:latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: Build lib
        run: pack typecheck pack.ipkg
      - name: Build admin
        run: pack typecheck pack-admin.ipkg

  micropack:
    name: Bootstrap with micropack
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install scheme
        run: |
          sudo apt-get update
          sudo apt-get install --yes chezscheme libgmp3-dev nodejs
      - name: Run installation script
        run: |
          make micropack SCHEME=chezscheme
          echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
      - name: Install application
        run: pack install graph
      - name: Run examples
        run: |
          cd example1
          pack run chem-formula-example-test -n 1000
          cd ../example2
          pack run chem-smiles-example-test -n 1000

  micropack-racket:
    name: Bootstrap with micropack-racket
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install scheme
        run: |
          sudo apt-get update
          sudo apt-get install --yes racket libgmp3-dev nodejs
      - name: Run installation script
        run: |
          make micropack-racket
          echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
      - name: Install application
        run: pack install graph
      - name: Run examples
        run: |
          cd example1
          pack run chem-formula-example-test -n 1000
          cd ../example2
          pack run chem-smiles-example-test -n 1000

  shellscript:
    name: Bootstrap with the shell script
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install scheme
        run: |
          sudo apt-get update
          sudo apt-get install --yes chezscheme libgmp3-dev nodejs
      - name: Run installation script
        run: |
          echo chezscheme | bash -c ./install.bash
          echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
      - name: Install application
        run: pack install graph
      - name: Run examples
        run: |
          cd example1
          pack run chem-formula-example-test -n 1000
          cd ../example2
          pack run chem-smiles-example-test -n 1000

  shellscript-racket:
    name: Bootstrap with the shell script and racket
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install scheme
        run: |
          sudo apt-get update
          sudo apt-get install --yes racket libgmp3-dev nodejs
      - name: Run installation script
        run: |
          echo racket | bash -c ./install.bash
          echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
      - name: Install application
        run: pack install graph
      - name: Run examples
        run: |
          cd example1
          pack run chem-formula-example-test -n 1000
          cd ../example2
          pack run chem-smiles-example-test -n 1000