ci.yml

name: CI

on: push

jobs:
  build-linux:
    name: Build on Linux
    runs-on: ubuntu-latest

    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository

    steps:
      - name: Checkout latest code
        uses: actions/checkout@v4

      - name: Setup Java
        uses: actions/setup-java@v3
        with:
          distribution: zulu
          java-version: 11

      - name: Install meson
        run: pip install meson ninja

      - name: Set up Gradle
        uses: gradle/gradle-build-action@v2

      - name: Build project using Gradle
        run: ./gradlew build -x test --stacktrace --scan

      - name: Build MiniSat
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/Lipen/minisat solvers/minisat-src
          cd solvers/minisat-src
          meson setup builddir --buildtype release --strip --libdir=lib --prefix=$(realpath install)
          meson compile -C builddir
          meson install -C builddir

      - name: Build Glucose
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/Lipen/glucose solvers/glucose-src
          cd solvers/glucose-src
          meson setup builddir --buildtype release --strip --libdir=lib --prefix=$(realpath install)
          meson compile -C builddir
          meson install -C builddir

      - name: Build Cadical
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 --branch lipen/1.9.5 https://github.com/Lipen/cadical solvers/cadical-src
          cd solvers/cadical-src
          ./configure -fPIC
          make -j8 shared
          install -m 644 src/cadical.hpp -Dt install/include/cadical
          install -m 644 build/libcadical.so -Dt install/lib
          strip -s install/lib/libcadical.so

      - name: Build CryptoMiniSat
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/msoos/cryptominisat solvers/cms-src
          cd solvers/cms-src
          cmake -B build -DENABLE_PYTHON_INTERFACE=OFF -DCMAKE_BUILD_TYPE=Release
          cmake --build build -- -j8
          cmake --install build --prefix install
          strip -s install/lib/libcryptominisat5.so

      - name: Build Kissat
        working-directory: kotlin-satlib-jna
        run: |
          git clone --depth=1 https://github.com/Lipen/kissat solvers/kissat-src
          cd solvers/kissat-src
          ./configure --compact --quiet --no-options --no-proofs -shared
          make -j8
          install -m 644 build/libkissat.so -Dt install/lib

      - name: Show libs
        run: |
          ls -al --group-directories-first kotlin-satlib-jni/solvers/*-src/install/lib
          ls -al --group-directories-first kotlin-satlib-jna/solvers/*-src/install/lib

      - name: Fixup libcryptominisat5.so
        working-directory: kotlin-satlib-jni
        run: |
          cp --remove-destination $(readlink -f solvers/cms-src/install/lib/libcryptominisat5.so) solvers/cms-src/install/lib/libcryptominisat5.so

      - name: Set up ld cache
        run: sudo ldconfig $(realpath kotlin-satlib-jni/solvers/*-src/install/lib) $(realpath kotlin-satlib-jna/solvers/*-src/install/lib)

      - name: Build JNI libs
        working-directory: kotlin-satlib-jni
        run: make libs \
          MINISAT_INSTALL_DIR=solvers/minisat-src/install \
          GLUCOSE_INSTALL_DIR=solvers/glucose-src/install \
          CADICAL_INSTALL_DIR=solvers/cadical-src/install \
          CMS_INSTALL_DIR=solvers/cms-src/install

      - name: Copy JNI libs to resources folder
        working-directory: kotlin-satlib-jni
        run: make res

      - name: Add Cryptominisat to PATH
        working-directory: kotlin-satlib-jni
        run: |
          echo "$(realpath solvers/cms-src/install/bin)" >> $GITHUB_PATH

      - name: Run tests
        run: ./gradlew cleanTest test --no-build-cache --stacktrace

      - name: Upload to GH Releases
        uses: softprops/action-gh-release@v1
        if: startsWith(github.ref, 'refs/tags/')
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          files: |
            kotlin-satlib-jni/build/lib/libjminisat.so
            kotlin-satlib-jni/build/lib/libjglucose.so
            kotlin-satlib-jni/build/lib/libjcadical.so
            kotlin-satlib-jni/build/lib/libjcms.so
            kotlin-satlib-jni/solvers/minisat-src/install/lib/libminisat.so
            kotlin-satlib-jni/solvers/glucose-src/install/lib/libglucose.so
            kotlin-satlib-jni/solvers/cadical-src/install/lib/libcadical.so
            kotlin-satlib-jni/solvers/cms-src/install/lib/libcryptominisat5.so
            kotlin-satlib-jna/solvers/kissat-src/install/lib/libkissat.so

  build-windows:
    name: Build on Windows
    runs-on: windows-2019

    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository

    defaults:
      run:
        shell: bash

    steps:
      - name: Checkout latest code
        uses: actions/checkout@v4

      - name: Setup Java
        uses: actions/setup-java@v3
        with:
          distribution: zulu
          java-version: 11

      - name: Install meson
        run: pip install meson ninja

      - name: Set up Gradle
        uses: gradle/gradle-build-action@v2

      - name: Build project using Gradle
        run: ./gradlew build -x test --stacktrace --scan

      - name: Build MiniSat
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/Lipen/minisat solvers/minisat-src
          cd solvers/minisat-src
          meson setup builddir --buildtype release --strip --prefix=$(realpath install)
          meson compile -C builddir
          meson install -C builddir

      - name: Build Glucose
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/Lipen/glucose solvers/glucose-src
          cd solvers/glucose-src
          meson setup builddir --buildtype release --strip --prefix=$(realpath install)
          meson compile -C builddir
          meson install -C builddir

      - name: Build Cadical
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 --branch lipen/1.9.5 https://github.com/Lipen/cadical solvers/cadical-src
          cd solvers/cadical-src
          ./configure -fPIC
          make -j8 dll
          install src/cadical.hpp -Dt install/include/cadical
          install build/cadical.dll -Dt install/lib

      - name: Build CryptoMiniSat
        working-directory: kotlin-satlib-jni
        run: |
          git clone --depth=1 https://github.com/msoos/cryptominisat solvers/cms-src
          cd solvers/cms-src
          cmake -B build -DENABLE_PYTHON_INTERFACE=OFF -DCMAKE_BUILD_TYPE=Release -G "MinGW Makefiles"
          cmake --build build -- -j8
          cmake --install build --prefix install

      - name: Build Kissat
        working-directory: kotlin-satlib-jna
        run: |
          git clone --depth=1 --branch windows https://github.com/Lipen/kissat solvers/kissat-src
          cd solvers/kissat-src
          ./configure --compact --quiet --no-options --no-proofs -shared
          make -j8
          install -m 644 build/libkissat.so -DT install/lib/kissat.dll

      - name: Show libs
        run: |
          ls -al --group-directories-first kotlin-satlib-jni/solvers/*-src/install/lib
          ls -al --group-directories-first kotlin-satlib-jna/solvers/*-src/install/lib

      - name: Copy solver libs to C:/Windows
        run: |
          cp kotlin-satlib-jni/solvers/minisat-src/install/bin/libminisat.dll C:/Windows/
          cp kotlin-satlib-jni/solvers/glucose-src/install/bin/libglucose.dll C:/Windows/
          cp kotlin-satlib-jni/solvers/cadical-src/install/lib/cadical.dll C:/Windows/
          cp kotlin-satlib-jni/solvers/cms-src/install/bin/libcryptominisat5win.dll C:/Windows/
          cp kotlin-satlib-jna/solvers/kissat-src/install/lib/kissat.dll C:/Windows/

      - name: Build JNI libs
        working-directory: kotlin-satlib-jni
        run: |
          make libs \
            LIB_PREFIX= LIB_EXT=dll \
            JAVA_INCLUDE_SUBDIR=win32 \
            MINISAT_INSTALL_DIR=solvers/minisat-src/install \
            JMINISAT_CXXFLAGS="-D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS" \
            GLUCOSE_INSTALL_DIR=solvers/glucose-src/install \
            CADICAL_INSTALL_DIR=solvers/cadical-src/install \
            CMS_INSTALL_DIR=solvers/cms-src/install \
            JCMS_LDLIBS=-lcryptominisat5win

      - name: Copy JNI libs to resources folder
        working-directory: kotlin-satlib-jni
        run: |
          make res LIB_PREFIX= LIB_EXT=dll RES_LIB_SUBDIR=win64

      - name: Add Cryptominisat to PATH
        working-directory: kotlin-satlib-jni
        run: |
          echo "$(realpath solvers/cms-src/install/bin)" >> $GITHUB_PATH

      - name: Run tests
        run: ./gradlew cleanTest test --no-build-cache --stacktrace

      - name: Upload to GH Releases
        uses: softprops/action-gh-release@v1
        if: startsWith(github.ref, 'refs/tags/')
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          files: |
            kotlin-satlib-jni/build/lib/jminisat.dll
            kotlin-satlib-jni/build/lib/jglucose.dll
            kotlin-satlib-jni/build/lib/jcadical.dll
            kotlin-satlib-jni/build/lib/jcms.dll
            kotlin-satlib-jni/solvers/minisat-src/install/bin/libminisat.dll
            kotlin-satlib-jni/solvers/glucose-src/install/bin/libglucose.dll
            kotlin-satlib-jni/solvers/cadical-src/install/lib/cadical.dll
            kotlin-satlib-jni/solvers/cms-src/install/bin/libcryptominisat5win.dll
            kotlin-satlib-jna/solvers/kissat-src/install/lib/kissat.dll