Try to fix compilation error on Windows (compiling as C++20)

MICS-Lab · Nov 7, 2024 · fb91c40 · fb91c40
1 parent 8319759
commit fb91c40
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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")]