macos-build.yml

name: Build on Mac OS

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

jobs:
  MacOS:

    runs-on: macos-latest

    steps:
    - uses: actions/checkout@v4
    - name: install gmp
      run: |
        brew list gmp | grep "gmp.h"
        brew list gmp | grep "libgmp10.dylib"
    - name: build COMiniSatPS
      run: |
        cd ..
        git clone https://github.com/marekpiotrow/cominisatps
        cd cominisatps
        rm core simp mtl utils
        ln -s minisat/core minisat/simp minisat/mtl minisat/utils .
        make lr
    - name: build the MaxPre preprocessor
      run: |
        cd ..
        git clone https://github.com/Laakeri/maxpre
        cd maxpre
        sed -i '' 's/-g/-D NDEBUG/' src/Makefile
        make lib
    - name: build UWrMaxSat
      run: |
        make config
        USESCIP= make r
    - name: test executable
      run: |
        build/release/bin/uwrmaxsat -of Examples/unsat.opb
        build/release/bin/uwrmaxsat -of Examples/garden9x9.opb
        build/release/bin/uwrmaxsat -bm Examples/satellite02ac.wcsp.wcnf
        build/release/bin/uwrmaxsat -maxpre -bm Examples/satellite02ac.wcsp.wcnf
    - name: build and test BIGWEIGHTS
      run: |
        USESCIP= make clean
        sed -i '' 's/BIGWEIGHTS?=#/BIGWEIGHTS?=/' config.mk
        USESCIP= make r
        build/release/bin/uwrmaxsat -of Examples/stein27_bignum.opb