From 2c1808ff73511108257c5c9f27f1b710a76a11fa Mon Sep 17 00:00:00 2001 From: Andrea Sgattoni Date: Fri, 13 Sep 2024 16:44:57 +0200 Subject: [PATCH] change patch.py for v9.10 --- patch.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/patch.py b/patch.py index 6b19078..b486d7d 100644 --- a/patch.py +++ b/patch.py @@ -38,7 +38,7 @@ # add the USE_SIRIUS configuration flag in deps.cmake full_patch.append(Addition( - Path.cwd()/'cmake'/'system_deps.cmake', + Path.cwd()/'cmake'/'deps.cmake', ''' if(USE_CPLEX) find_package(CPLEX REQUIRED)