From f19596ac8115f3ad85064b7f16773f722a7f65d9 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 12 Apr 2024 01:50:50 +0200
Subject: [PATCH] Update build.yml

---
 .github/workflows/build.yml | 43 ++++++++++---------------------------
 1 file changed, 11 insertions(+), 32 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cfbbaa3..b33bcc0 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -6,18 +6,20 @@ on:
   pull_request:
     branches: [ "master" ]
 
-env:
-  # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
-  BUILD_TYPE: Release
-
 jobs:
   build:
     # The CMake configure and build commands are platform agnostic and should work equally
     # well on Windows or Mac.  You can convert this to a matrix build if you need
     # cross-platform coverage.
     # See: https://docs.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#configuring-a-build-matrix
-    runs-on: ubuntu-latest
-
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        #os: [ubuntu-20.04, windows-2022, macos-13]
+        os: [ubuntu-20.04, macos-13]
+        build_type: ['Release']
+        staticcompile: ['ON', 'OFF']
+        
     steps:
     - uses: actions/checkout@v2
 
@@ -69,7 +71,7 @@ jobs:
       run: |
        cd cryptominisat
        mkdir build && cd build
-       cmake ..
+       cmake -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
        make
        cd ../..
    
@@ -78,32 +80,15 @@ jobs:
       with:
         repository: meelgroup/arjun
         path: arjun
-        
-    - name: Build Arjun
-      run: |
-       cd arjun
-       mkdir build && cd build
-       cmake ..
-       make
-       cd ../..
      
     - name: Build Arjun
       run: |
        cd arjun
        mkdir build && cd build
-       cmake ..
+       cmake  -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
        make
        cd ../..
 
-    - name: Build Arjun
-      run: |
-       mkdir arjun_git && cd arjun_git
-       git clone --depth 1 https://github.com/meelgroup/arjun
-       cd arjun
-       mkdir build && cd build
-       cmake ..
-       make
-       cd ../../..
 
     - name: Configure CMake
       # Use a bash shell so we can use the same syntax for environment variable
@@ -113,7 +98,7 @@ jobs:
       # Note the current convention is to use the -S and -B options here to specify source 
       # and build directories, but this is only available with CMake 3.13 and higher.  
       # The CMake binaries on the Github Actions machines are (as of this writing) 3.12
-      run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=$BUILD_TYPE
+      run: cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} $GITHUB_WORKSPACE
 
     - name: Build
       working-directory: ${{runner.workspace}}/build
@@ -121,9 +106,3 @@ jobs:
       # Execute the build.  You can specify a specific target with "--target <NAME>"
       run: cmake --build . --config $BUILD_TYPE
 
-    - name: Test
-      working-directory: ${{runner.workspace}}/build
-      shell: bash
-      # Execute tests defined by the CMake configuration.  
-      # See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
-      run: ctest -C $BUILD_TYPE