build-and-test.yml

name: Build and Test Functors

on:
  push:
    branches: [ "master" ]
  pull_request:
    branches: [ "master" ]

jobs:
  build-and-test:

    runs-on: ubuntu-latest

    container:
      image: ghcr.io/nevillegrech/gigahorse-toolchain-deps-souffle24:latest

    steps:
    - uses: actions/checkout@v4
    - name: Build
      run: make libsoufflenum.so
    - name: Test
      run: make
    - name: Run lists_test.dl
      run: souffle lists_test.dl
    - name: Run smt-testing.dl
      run: souffle smt-testing.dl

  build-and-test-with-package:

    runs-on: ubuntu-22.04

    steps:
    - uses: actions/checkout@v4

    - name: Install Souffle
      run: |
        sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg
        echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list
        sudo apt update && sudo apt install souffle=2.3

    - name: Test Souffle
      run: souffle --version

    - name: Install Boost
      run: sudo apt install libboost-all-dev

    - name: Install z3
      run: sudo apt install libz3-dev

    - name: Build
      run: make libsoufflenum.so
    - name: Test
      run: make
    - name: Run lists_test.dl
      run: souffle lists_test.dl
    - name: Run smt-testing.dl
      run: souffle smt-testing.dl