Build for arm linux too, cleanup

Author: msoos

.github/workflows/binary-build.yml

@@ -14,21 +14,21 @@ jobs:
       fail-fast: false
 
       matrix:
-        os: [ubuntu-latest, macos-14]
+        os: [ubuntu-latest, macos-14, ubuntu-24.04-arm]
         build_type: [Release]
         staticcompile: [ON, OFF]
         c_compiler: [gcc]
         cpp_compiler: [g++]
 
     steps:
-    
-    - name: Install help2man for Linux
-      if: matrix.os == 'ubuntu-latest'
+
+    - name: Install dependencies for Linux
+      if: matrix.os == 'ubuntu-latest' || matrix.os == 'ubuntu-24.04-arm'
       run: sudo apt-get update && sudo apt-get install -yq help2man libgmp-dev
-      
+
     - name: Install gmp for Mac
       if: matrix.os == 'macos-13'
-      run: | 
+      run: |
         HOMEBREW_NO_AUTO_UPDATE=1 brew install cmake
         wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
         tar xf gmp-6.3.0.tar.xz
@@ -40,26 +40,26 @@ jobs:
 
     - name: Install zlib for Mac dynamic
       if: matrix.os == 'macos-14' && matrix.staticcompile == 'OFF'
-      run: | 
+      run: |
         wget https://www.zlib.net/zlib-1.3.1.tar.gz
         tar xzvf zlib-1.3.1.tar.gz
         cd zlib-1.3.1
         ./configure
         make -j8
         sudo make install
         cd ..
-    
+
     - name: Install zlib for Mac static
       if: matrix.os == 'macos-14' && matrix.staticcompile == 'ON'
-      run: | 
+      run: |
         wget https://www.zlib.net/zlib-1.3.1.tar.gz
         tar xzvf zlib-1.3.1.tar.gz
         cd zlib-1.3.1
         ./configure --static
         make -j8
         sudo make install
         cd ..
-  
+
     - name: Installing Numpy
       run: |
         pip install pip --upgrade
@@ -71,7 +71,7 @@ jobs:
         repository: meelgroup/cadical
         ref: mate-only-libraries-1.8.0
         path: cadical
-        
+
     - name: Build Cadical
       run: |
        cd cadical
@@ -85,48 +85,57 @@ jobs:
         repository: meelgroup/cadiback
         ref: synthesis
         path: cadiback
-        
+
     - name: Build Cadiback
       run: |
        cd cadiback
        CXX=c++ ./configure
        make -j8
        cd ..
-       
+
     - name: checkout
-      uses: actions/checkout@v4.1.1        
+      uses: actions/checkout@v4
       with:
-        path: cryptominisat
-  
-    - name: Add git submodules for Linux only (not needed for non-testing)
-      working-directory: cryptominisat
-      if: matrix.os == 'ubuntu-latest'
-      run: git submodule update --init
+        path: project
+        submodules: 'true'
 
     - name: Configure & build
       run: |
-        cd cryptominisat
+        cd project
         mkdir -p build && cd build
-        cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
-        cmake --build . --config ${{ matrix.build_type }}
+        cmake \
+        -DENABLE_TESTING=OFF \
+        -DCMAKE_CXX_COMPILER=${{ matrix.cpp_compiler }} \
+        -DCMAKE_C_COMPILER=${{ matrix.c_compiler }} \
+        -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} \
+        -DSTATICCOMPILE=${{ matrix.staticcompile }} \
+        -S ..
+        cmake --build . --config ${{matrix.build_type}} -v
 
     - name: Upload Artifact - Linux
       if: matrix.os == 'ubuntu-latest' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
       with:
         name: cryptominisat5-linux-amd64
-        path: cryptominisat/build/cryptominisat5
-    
+        path: project/build/cryptominisat5
+
+    - name: Upload Artifact - Linux arm
+      if: matrix.os == 'ubuntu-24.04-arm' && matrix.staticcompile == 'ON'
+      uses: actions/upload-artifact@v4
+      with:
+        name: cryptominisat-linux-arm64
+        path: project/build/cryptominisat5
+
     - name: Upload Artifact - Mac
       if: matrix.os == 'macos-14' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
       with:
         name: cryptominisat5-mac-arm64
-        path: cryptominisat/build/cryptominisat5
+        path: project/build/cryptominisat5
 
     - name: Upload Artifact - Windows
       if: matrix.os == 'windows-2022' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
       with:
         name: cryptominisat5-win64.exe
-        path: cryptominisat\build\Release\cryptominisat5.exe
+        path: project\build\Release\cryptominisat5.exe