Skip to content

Commit

Permalink
Merge pull request #10 from JasonMarechal25/feature/disable_highs
Browse files Browse the repository at this point in the history
Feature/disable highs
  • Loading branch information
flomnes authored Aug 6, 2024
2 parents 2644877 + 2b7fe2b commit 2405a9c
Showing 5 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/oracle.yml
Original file line number Diff line number Diff line change
@@ -161,7 +161,7 @@ jobs:
-DCMAKE_INSTALL_PREFIX="build/install" \
-DBUILD_SAMPLES=OFF \
-DBUILD_FLATZINC=OFF
-DBUILD_HIGHS=OFF
-DUSE_HIGHS=OFF
- name: Build OR-Tools Linux
run: |
2 changes: 1 addition & 1 deletion .github/workflows/ubuntu.yml
Original file line number Diff line number Diff line change
@@ -147,7 +147,7 @@ jobs:
-Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}"
-DBUILD_SAMPLES=OFF
-DCMAKE_INSTALL_PREFIX="build/install"
-DBUILD_HIGHS=OFF
-DUSE_HIGHS=OFF
- name: Build OR-Tools Linux
run: >
2 changes: 1 addition & 1 deletion .github/workflows/windows-cpp.yml
Original file line number Diff line number Diff line change
@@ -101,7 +101,7 @@ jobs:
-DBUILD_SAMPLES=OFF
-DCMAKE_INSTALL_PREFIX=install
-DUSE_SIRIUS=${{ matrix.sirius }}
-DBUILD_HIGHS=OFF
-DUSE_HIGHS=OFF
- name: Build
run: >
2 changes: 1 addition & 1 deletion .github/workflows/windows-python.yml
Original file line number Diff line number Diff line change
@@ -107,7 +107,7 @@ jobs:
-DBUILD_CXX_SAMPLES=OFF -DBUILD_CXX_EXAMPLES=OFF
-DBUILD_PYTHON=ON
-DBUILD_SAMPLES=OFF
-DBUILD_HIGHS=OFF
-DUSE_HIGHS=OFF
- name: Build
run: >
2 changes: 1 addition & 1 deletion docker/centos.dockerfile
Original file line number Diff line number Diff line change
@@ -67,7 +67,7 @@ RUN cmake -S. -Bbuild \
-DBUILD_SAMPLES=OFF \
-DBUILD_FLATZINC=OFF \
-Dsirius_solver_DIR="$SIRIUS_CMAKE_DIR" \
-DBUILD_HIGHS=OFF \
-DUSE_HIGHS=OFF

RUN cmake --build build --target all -j4
RUN cmake --build build --target install

0 comments on commit 2405a9c

Please sign in to comment.