From 26448778463cf86288ce4a735a29d869fa591921 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jason=20Mar=C3=A9chal?=
 <45510813+JasonMarechal25@users.noreply.github.com>
Date: Tue, 6 Aug 2024 09:56:25 +0200
Subject: [PATCH] Disable HIGHS (#9)

Not used
---
 .github/workflows/oracle.yml         | 1 +
 .github/workflows/ubuntu.yml         | 1 +
 .github/workflows/windows-cpp.yml    | 1 +
 .github/workflows/windows-python.yml | 1 +
 docker/centos.dockerfile             | 3 ++-
 5 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/oracle.yml b/.github/workflows/oracle.yml
index af57b28..588638b 100644
--- 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
index dd878e0..39ee862 100644
--- 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
index 846426f..93688f2 100644
--- 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
index cca6cfa..ebc421d 100644
--- 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
index 44f1aae..2c9d7b9 100644
--- 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