linux-gcl.yml

name: FriCAS CI on Linux on GCL

on: workflow_dispatch

jobs:
  build:

    runs-on: ubuntu-24.04
    timeout-minutes: 40

    steps:
    - uses: actions/checkout@v4
    - name: install dependencies
      run: |
        sudo apt-get update
        sudo apt-get install gcl libxpm-dev libreadline-dev

    - name: configure and make
      run: |
        export GCL_ANSI=t
        ./configure --with-lisp=gcl --with-x || cat config.log
        make -j4 --output-sync

    - name: make check
      run: make check -j4 --output-sync

    - name: Create artifact archives
      run: |
        test "$GITHUB_REF_TYPE" != "tag" && rm -r target/*/src
        tar -cjf FriCAS-linux-GCL-x86_64-${{ github.sha }}.tar.bz2 target/

    - name: Upload Linux binary
      uses: actions/upload-artifact@v4
      with:
        name: FriCAS-linux-GCL-x86_64-binary
        path: FriCAS-linux-GCL-x86_64-${{ github.sha }}.tar.bz2