From 023ce353eda9f2e6995a9be39eda1b7d6e8505f1 Mon Sep 17 00:00:00 2001 From: Yue Yang Date: Tue, 24 Jan 2023 03:46:20 +0800 Subject: [PATCH] Support CPLEX v22.1.1 in deps/build.jl (#417) --- deps/build.jl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/deps/build.jl b/deps/build.jl index 52fe632..e268dff 100644 --- a/deps/build.jl +++ b/deps/build.jl @@ -14,6 +14,7 @@ const _CPX_VERS = [ # From oldest to most recent. "1210", "12100", "201", "2010", "20100", "221", "2210", "22100", + "2211", "22110", ] const _BASE_ENV = "CPLEX_STUDIO_BINARIES" @@ -46,7 +47,7 @@ function get_error_message_if_not_found() * 12.10 * 20.1 - * 22.1 + * 22.1 22.1.1 You must download and install one of these versions separately. @@ -55,7 +56,7 @@ function get_error_message_if_not_found() correct location): ``` - ENV["CPLEX_STUDIO_BINARIES"] = "$(default_installation_path("CPLEX_Studio201"))" + ENV["CPLEX_STUDIO_BINARIES"] = "$(default_installation_path("CPLEX_Studio221"))" import Pkg Pkg.add("CPLEX") Pkg.build("CPLEX")