From d5972b9e2485faaadfc4181521c8e1f5f499540e Mon Sep 17 00:00:00 2001 From: Julian Oppermann Date: Fri, 20 Jan 2023 10:44:08 +1300 Subject: [PATCH] Bump OR-Tools version. (#26) Simple version bump to keep things up-to-date. The SCIP solver was recently re-licensed under Apache 2.0, however, the version OR-Tools pulls in is unfortunately still subject to the old license, so no changes there. I tested building the image locally. No changes are required to CIRCT. --- integration_test/or-tools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/integration_test/or-tools.sh b/integration_test/or-tools.sh index 784f5a0..5312e86 100755 --- a/integration_test/or-tools.sh +++ b/integration_test/or-tools.sh @@ -1,7 +1,7 @@ #!/bin/bash # Downloads, compiles, and installs OR-Tools into /usr -OR_TOOLS_VER=9.2 +OR_TOOLS_VER=9.5 # Disable fetching and building SCIP below because of its license: # "SCIP is distributed under the ZIB Academic License. You are allowed to