Disable HIGHS (#9)

Not used
rte-france · Aug 6, 2024 · 2644877 · 2644877
1 parent daf84b1
commit 2644877
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/oracle.yml b/.github/workflows/oracle.yml
@@ -161,6 +161,7 @@ jobs:
             -DCMAKE_INSTALL_PREFIX="build/install" \
             -DBUILD_SAMPLES=OFF \
             -DBUILD_FLATZINC=OFF
+            -DBUILD_HIGHS=OFF
 
       - name: Build OR-Tools Linux
         run: |

diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -147,6 +147,7 @@ jobs:
           -Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}"
           -DBUILD_SAMPLES=OFF
           -DCMAKE_INSTALL_PREFIX="build/install"
+          -DBUILD_HIGHS=OFF
 
       - name: Build OR-Tools Linux
         run: >

diff --git a/.github/workflows/windows-cpp.yml b/.github/workflows/windows-cpp.yml
@@ -101,6 +101,7 @@ jobs:
           -DBUILD_SAMPLES=OFF 
           -DCMAKE_INSTALL_PREFIX=install
           -DUSE_SIRIUS=${{ matrix.sirius }}
+          -DBUILD_HIGHS=OFF
 
       - name: Build
         run: >

diff --git a/.github/workflows/windows-python.yml b/.github/workflows/windows-python.yml
@@ -107,6 +107,7 @@ jobs:
           -DBUILD_CXX_SAMPLES=OFF  -DBUILD_CXX_EXAMPLES=OFF
           -DBUILD_PYTHON=ON
           -DBUILD_SAMPLES=OFF
+          -DBUILD_HIGHS=OFF
 
       - name: Build
         run: >

diff --git a/docker/centos.dockerfile b/docker/centos.dockerfile
@@ -66,7 +66,8 @@ RUN cmake -S. -Bbuild \
     -DCMAKE_INSTALL_PREFIX=install \
     -DBUILD_SAMPLES=OFF \
     -DBUILD_FLATZINC=OFF \
-    -Dsirius_solver_DIR="$SIRIUS_CMAKE_DIR"
+    -Dsirius_solver_DIR="$SIRIUS_CMAKE_DIR" \
+    -DBUILD_HIGHS=OFF \
 
 RUN cmake --build build --target all -j4
 RUN cmake --build build --target install