From c233d9d32b17e85d3ce7dcf62c546d55b7931408 Mon Sep 17 00:00:00 2001
From: Derick M <58572875+TurtIeSocks@users.noreply.github.com>
Date: Mon, 26 Aug 2024 16:48:58 -0400
Subject: [PATCH] fix: or-tools for ubuntu 24.x

---
 or-tools/install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/or-tools/install.sh b/or-tools/install.sh
index d8099e40..89c7d8c3 100755
--- a/or-tools/install.sh
+++ b/or-tools/install.sh
@@ -22,6 +22,9 @@ if [ ! -d "${full_version}" ]; then
                 distro=${distro//\"/}
                 version=${version//\"/}
                 echo Found distro $distro $version
+                if [[ "$version" == "24"* ]]; then
+                        version="22.10"
+                fi
                 url="https://github.com/google/or-tools/releases/download/v${minor_version}/or-tools_amd64_${distro}-${version}_cpp_v${full_version}.tar.gz"
         elif [[ "$os" == "darwin"* ]]; then
                 if [[ "$cpu" == "arm" ]]; then