diff --git a/.github/workflows/centos.yml b/.github/workflows/centos.yml index 8ff24000bb2..35ccf7fba3d 100644 --- a/.github/workflows/centos.yml +++ b/.github/workflows/centos.yml @@ -109,11 +109,13 @@ jobs: -DBUILD_DOTNET=${{ matrix.dotnet }} \ -DBUILD_EXAMPLES=ON \ -DBUILD_DEPS=ON \ - -DUSE_SIRIUS=${{ matrix.sirius }} \ - -Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}" \ -DCMAKE_INSTALL_PREFIX="build/install" \ -DBUILD_SAMPLES=OFF \ - -DBUILD_FLATZINC=OFF + -DBUILD_FLATZINC=OFF \ + -DUSE_SIRIUS=${{ matrix.sirius }} \ + -Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}" \ + -DUSE_SCIP=ON \ + -DUSE_GLPK=ON - name: Build OR-Tools Linux run: | diff --git a/.github/workflows/oracle.yml b/.github/workflows/oracle.yml index 804853cb059..5bfe0335733 100644 --- a/.github/workflows/oracle.yml +++ b/.github/workflows/oracle.yml @@ -134,7 +134,10 @@ jobs: -Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}" \ -DCMAKE_INSTALL_PREFIX="build/install" \ -DBUILD_SAMPLES=OFF \ - -DBUILD_FLATZINC=OFF + -DBUILD_FLATZINC=OFF \ + -DUSE_SCIP=ON \ + -DUSE_GLPK=ON + - name: Build OR-Tools Linux run: | diff --git a/.github/workflows/windows-cpp.yml b/.github/workflows/windows-cpp.yml index 980bf98df6b..eae08a2aed7 100644 --- a/.github/workflows/windows-cpp.yml +++ b/.github/workflows/windows-cpp.yml @@ -69,6 +69,8 @@ jobs: -DBUILD_DEPS=ON -DCMAKE_INSTALL_PREFIX="install" -DBUILD_FLATZINC=OFF + -DUSE_SCIP=ON + -DUSE_GLPK=ON - name: Build run: > diff --git a/.github/workflows/windows-java-dotnet.yml b/.github/workflows/windows-java-dotnet.yml index 4fa1ee45695..274a8e80674 100644 --- a/.github/workflows/windows-java-dotnet.yml +++ b/.github/workflows/windows-java-dotnet.yml @@ -67,6 +67,8 @@ jobs: -DBUILD_SAMPLES=OFF -DCMAKE_INSTALL_PREFIX="install" -DBUILD_FLATZINC=OFF + -DUSE_SCIP=ON + -DUSE_GLPK=ON - name: Build run: > diff --git a/.github/workflows/windows-python.yml b/.github/workflows/windows-python.yml index 334229b516b..5f85bf49e54 100644 --- a/.github/workflows/windows-python.yml +++ b/.github/workflows/windows-python.yml @@ -75,6 +75,8 @@ jobs: -DBUILD_PYTHON=ON -DBUILD_SAMPLES=OFF -DBUILD_FLATZINC=OFF + -DUSE_SCIP=ON + -DUSE_GLPK=ON - name: Build run: >