build-and-test.yml

name: Build and Test on Linux and Mac OS

on:
  pull_request:
    branches:
      - '**'

jobs:
  CrossARM:

    runs-on: ubuntu-20.04

    steps:
    - name: Update Dependencies
      run: sudo apt-get update
    - name: Install Packages
      run: sudo apt-get install -y zlib1g-dev make cmake gcc-arm-linux-gnueabi g++-arm-linux-gnueabi

    - uses: actions/checkout@v1

    - name: mergesat build
      run: make BUILD_TYPE=parallel d r p sh lr ld lp lsh -j $(nproc) CXX=arm-linux-gnueabi-g++

  Linux:

    runs-on: ubuntu-18.04

    steps:
    - name: Install Packages
      run: sudo apt-get install zlib1g-dev make cmake picosat

    - uses: actions/checkout@v1

    - name: mergesat build
      run: make d r p sh lr ld lp lsh

    - name: Check working help output
      run: ./build/release/bin/mergesat --help

    - name: run CI script
      env:
        RUNOPENWBO: 0
      run: ./tools/ci.sh

  MacOS:

    runs-on: macos-latest

    steps:
    - name: Install Packages
      run: brew install libzip

    - uses: actions/checkout@v1

    - name: mergesat build
      run: make BUILD_TYPE=simp d r sh lr ld lsh

  WebAssembly:

    runs-on: ubuntu-20.04

    steps:
    - name: Install Packages
      run: sudo apt-get install make

    - uses: actions/checkout@v1

    - uses: actions/cache@v2
      with:
        path: emsdk-cache
        key: emsdk-${{ runner.os }}

    - uses: mymindstorm/setup-emsdk@v9
      with:
        actions-cache-folder: emsdk-cache

    - name: mergesat build
      run: make BUILD_TYPE=simp CXX=em++ lr ld lp