Merge pull request #12 from JasonMarechal25/feature/fix_oracle_build

Fix oracle build
rte-france · Aug 7, 2024 · 8194985 · 8194985
2 parents 36cb330 + ea43a6e
commit 8194985
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/oracle.yml b/.github/workflows/oracle.yml
@@ -160,7 +160,7 @@ jobs:
             -Dsirius_solver_DIR="${{ env.SIRIUS_CMAKE_DIR }}" \
             -DCMAKE_INSTALL_PREFIX="build/install" \
             -DBUILD_SAMPLES=OFF \
-            -DBUILD_FLATZINC=OFF
+            -DBUILD_FLATZINC=OFF \
             -DUSE_HIGHS=OFF
 
       - name: Build OR-Tools Linux