bazel: add with_cp_sat flag

2023-11-29 11:41:45 +01:00
parent cb5bbe035c
commit de938c4ac3
3 changed files with 13 additions and 0 deletions
--- a/.bazelrc
+++ b/.bazelrc
@@ -2,6 +2,7 @@
 build --flag_alias=with_bop=//ortools/linear_solver:with_bop
 build --flag_alias=with_cbc=//ortools/linear_solver:with_cbc
 build --flag_alias=with_clp=//ortools/linear_solver:with_clp
+build --flag_alias=with_cp_sat=//ortools/linear_solver:with_cp_sat
 build --flag_alias=with_glop=//ortools/linear_solver:with_glop
 build --flag_alias=with_glpk=//ortools/linear_solver:with_glpk
 build --flag_alias=with_highs=//ortools/linear_solver:with_highs
--- a/ortools/linear_solver/BUILD.bazel
+++ b/ortools/linear_solver/BUILD.bazel
@@ -58,6 +58,18 @@ config_setting(
    },
 )

+bool_flag(
+    name = "with_cp_sat",
+    build_setting_default = True,
+)
+
+config_setting(
+    name = "use_cp_sat",
+    flag_values = {
+        ":with_cp_sat": "true",
+    },
+)
+
 bool_flag(
    name = "with_glop",
    build_setting_default = True,
--- a/ortools/linear_solver/python/py.typed
+++ b/ortools/linear_solver/python/py.typed