From fb91c403bbbf6c675a727dce39ffc9bc94112170 Mon Sep 17 00:00:00 2001 From: Vincent Jacques Date: Thu, 7 Nov 2024 14:04:44 +0100 Subject: [PATCH] Try to fix compilation error on Windows (compiling as C++20) --- setup.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.py b/setup.py index d8de3507..d9d66124 100644 --- a/setup.py +++ b/setup.py @@ -240,8 +240,8 @@ def make_liblincs_extension(): ("__WIN32", None), # For Cadical inside EvalMaxSat ("_SILENCE_ALL_CXX17_DEPRECATION_WARNINGS", None), # Silence a few warnings for OR-Tools ] - extra_compile_args["c++"] = ["/std:c++17", "/openmp"] - extra_compile_args["vendored-c++"] = ["/std:c++17", "-w", "-DQUIET", "-DNBUILD", "-DNCONTRACTS"] + extra_compile_args["c++"] = ["/std:c++20", "/openmp"] + extra_compile_args["vendored-c++"] = ["/std:c++20", "-w", "-DQUIET", "-DNBUILD", "-DNCONTRACTS"] lincs_dependencies = os.environ.get("LINCS_DEV_DEPENDENCIES", os.path.join("c:", "lincs-deps")) include_dirs += [os.path.join(lincs_dependencies, "include")] library_dirs += [os.path.join(lincs_dependencies, "lib")]