[CI] Compile Uno with HiGHS

amontoison · amontoison · commit 21209174bd75 · 2025-07-31T23:18:48.000-05:00
diff --git a/.github/workflows/build-macos.yml b/.github/workflows/build-macos.yml
@@ -27,10 +27,18 @@ jobs:
     # See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
     runs-on: ${{ matrix.os }}
     strategy:
+      fail-fast: false
       matrix:
-        os: [macos-latest]
-        architecture: [x64, arm64]
+        # we want the combination (macos-13, x64) + (macos-latest, arm64)
+        os: [macos-13, macos-latest]
+        architecture: [arm64, x64]
         compiler: [gcc]
+        exclude:
+          # macos-latest only works with arm64 architecture 
+          - os: macos-latest
+            architecture: x64
+          - os: macos-13
+            architecture: arm64
 
     steps:
     - name: Checkout repository
@@ -41,16 +49,20 @@ jobs:
       run: |
         VERSION_BQPD="1.0.0"
         VERSION_MUMPS="5.8.0"
+        VERSION_HIGHS="1.11.0"
         if [[ "${{matrix.architecture}}" == "x64" ]]; then
           PLATFORM="x86_64-apple-darwin"
         else
           PLATFORM="aarch64-apple-darwin"
         fi
         wget https://github.com/leyffer/BQPD_jll.jl/releases/download/BQPD-v${VERSION_BQPD}%2B0/BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz
         wget https://github.com/amontoison/MUMPS_static_jll.jl/releases/download/MUMPS_static-v${VERSION_MUMPS}%2B0/MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz
+        wget https://github.com/amontoison/HiGHS_static_jll.jl/releases/download/HiGHS_static-v${VERSION_HIGHS}%2B0/HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz
         mkdir deps
+        mkdir deps/highs
         tar -xzvf BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz -C deps
         tar -xzvf MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz -C deps
+        tar -xzvf HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz -C deps/highs
 
     - name: Install Fortran compiler
       uses: fortran-lang/setup-fortran@main
@@ -71,8 +83,11 @@ jobs:
                                                 -DMUMPS_COMMON_LIBRARY=${{github.workspace}}/deps/lib/libmumps_common.a \
                                                 -DMUMPS_PORD_LIBRARY=${{github.workspace}}/deps/lib/libpord.a \
                                                 -DMUMPS_MPISEQ_LIBRARY=${{github.workspace}}/deps/lib/libmpiseq.a \
+                                                -DHIGHS_DIR=${{github.workspace}}/deps/highs/lib/cmake/highs \
                                                 -DBLAS_LIBRARIES=${{github.workspace}}/deps/lib/libblas.a \
-                                                -DLAPACK_LIBRARIES=${{github.workspace}}/deps/lib/liblapack.a
+                                                -DLAPACK_LIBRARIES=${{github.workspace}}/deps/lib/liblapack.a \
+                                                -DBUILD_STATIC_LIBS=ON \
+                                                -DBUILD_SHARED_LIBS=ON .
 
     - name: Build
       # Build your program with the given configuration
diff --git a/.github/workflows/build-msvc.yml b/.github/workflows/build-msvc.yml
@@ -44,6 +44,7 @@ jobs:
       run: |
         VERSION_BQPD="1.0.0"
         VERSION_MUMPS="5.8.0"
+        VERSION_HIGHS="1.11.0"
         if [[ "${{matrix.architecture}}" == "x64" ]]; then
           PLATFORM="x86_64-w64-mingw32"
         else
@@ -52,9 +53,11 @@ jobs:
         choco install wget
         wget https://github.com/leyffer/BQPD_jll.jl/releases/download/BQPD-v${VERSION_BQPD}%2B0/BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz
         wget https://github.com/amontoison/MUMPS_static_jll.jl/releases/download/MUMPS_static-v${VERSION_MUMPS}%2B0/MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz
+        wget https://github.com/amontoison/HiGHS_static_jll.jl/releases/download/HiGHS_static-v${VERSION_HIGHS}%2B0/HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz
         mkdir deps
         tar -xzvf BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz -C deps
         tar -xzvf MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz -C deps
+        tar -xzvf HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz -C deps
 
     - name: Install Fortran compiler
       uses: fortran-lang/setup-fortran@main
@@ -81,6 +84,7 @@ jobs:
                 -DMUMPS_MPISEQ_LIBRARY=${{github.workspace}}\deps\lib\libmpiseq.a ^
                 -DBLAS_LIBRARIES=${{github.workspace}}\deps\lib\libblas.a ^
                 -DLAPACK_LIBRARIES=${{github.workspace}}\deps\lib\liblapack.a ^
+                -DHIGHS_DIR=${{github.workspace}}\deps ^
                 -DBUILD_STATIC_LIBS=ON ^
                 -DBUILD_SHARED_LIBS=OFF .
         ) else (
diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml
@@ -27,9 +27,11 @@ jobs:
     # See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
     runs-on: ${{ matrix.os }}
     strategy:
+      fail-fast: false
       matrix:
         os: [windows-latest]
         architecture: [x64]
+        compiler: [mingw]
 
     steps:
     - name: Checkout repository
@@ -40,13 +42,21 @@ jobs:
       run: |
         VERSION_BQPD="1.0.0"
         VERSION_MUMPS="5.8.0"
-        PLATFORM="x86_64-w64-mingw32"
+        VERSION_HIGHS="1.11.0"
+        if [[ "${{matrix.architecture}}" == "x64" ]]; then
+          PLATFORM="x86_64-w64-mingw32"
+        else
+          PLATFORM="i686-w64-mingw32"
+        fi
         choco install wget
         wget https://github.com/leyffer/BQPD_jll.jl/releases/download/BQPD-v${VERSION_BQPD}%2B0/BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz
         wget https://github.com/amontoison/MUMPS_static_jll.jl/releases/download/MUMPS_static-v${VERSION_MUMPS}%2B0/MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz
+        wget https://github.com/amontoison/HiGHS_static_jll.jl/releases/download/HiGHS_static-v${VERSION_HIGHS}%2B0/HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz
         mkdir deps
+        mkdir deps/highs
         tar -xzvf BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz -C deps
         tar -xzvf MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz -C deps
+        tar -xzvf HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz -C deps/highs
 
     - name: add MinGW64 directory to path
       run: echo "C:\tools\msys64\mingw64\bin" >> "$GITHUB_PATH"
@@ -66,7 +76,10 @@ jobs:
           -DMUMPS_PORD_LIBRARY=${{github.workspace}}\deps\lib\libpord.a ^
           -DMUMPS_MPISEQ_LIBRARY=${{github.workspace}}\deps\lib\libmpiseq.a ^
           -DBLAS_LIBRARIES=${{github.workspace}}\deps\lib\libblas.a ^
-          -DLAPACK_LIBRARIES=${{github.workspace}}\deps\lib\liblapack.a .
+          -DLAPACK_LIBRARIES=${{github.workspace}}\deps\lib\liblapack.a ^
+          -DHIGHS_DIR=${{github.workspace}}\deps\highs\lib\cmake\highs ^
+          -DBUILD_STATIC_LIBS=ON ^
+          -DBUILD_SHARED_LIBS=ON .
 
     - name: Build
       # Build your program with the given configuration
diff --git a/.github/workflows/unit-tests-ubuntu.yml b/.github/workflows/unit-tests-ubuntu.yml
@@ -53,12 +53,15 @@ jobs:
       run: |
         VERSION_BQPD="1.0.0"
         VERSION_MUMPS="5.8.0"
+        VERSION_HIGHS="1.11.0"
         PLATFORM="x86_64-linux-gnu"
         wget https://github.com/leyffer/BQPD_jll.jl/releases/download/BQPD-v${VERSION_BQPD}%2B0/BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz
         wget https://github.com/amontoison/MUMPS_static_jll.jl/releases/download/MUMPS_static-v${VERSION_MUMPS}%2B0/MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz
+        wget https://github.com/amontoison/HiGHS_static_jll.jl/releases/download/HiGHS_static-v${VERSION_HIGHS}%2B0/HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz
         mkdir deps
         tar -xzvf BQPD.v${VERSION_BQPD}.$PLATFORM-libgfortran5.tar.gz -C deps
         tar -xzvf MUMPS_static.v${VERSION_MUMPS}.$PLATFORM-libgfortran5.tar.gz -C deps
+        tar -xzvf HiGHS_static.v${VERSION_HIGHS}.$PLATFORM-libgfortran5.tar.gz -C deps
 
     - name: Configure CMake
       # Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make.
@@ -74,7 +77,10 @@ jobs:
                                                 -DMUMPS_PORD_LIBRARY=${{github.workspace}}/deps/lib/libpord.a \
                                                 -DMUMPS_MPISEQ_LIBRARY=${{github.workspace}}/deps/lib/libmpiseq.a \
                                                 -DBLAS_LIBRARIES=${{github.workspace}}/deps/lib/libblas.a \
-                                                -DLAPACK_LIBRARIES=${{github.workspace}}/deps/lib/liblapack.a
+                                                -DLAPACK_LIBRARIES=${{github.workspace}}/deps/lib/liblapack.a \
+                                                -DHIGHS_DIR=${{github.workspace}}/deps \
+                                                -DBUILD_STATIC_LIBS=ON \
+                                                -DBUILD_SHARED_LIBS=ON .
 
     - name: Build
       # Build your program with the given configuration
