File tree 1 file changed +1
-18
lines changed
1 file changed +1
-18
lines changed Original file line number Diff line number Diff line change @@ -40,12 +40,10 @@ PLATFORM_FLAGS = select({
40
40
"on_linux": [
41
41
"-Wunknown-pragmas",
42
42
"-fexceptions",
43
- "-DSYM=bliss"
44
43
],
45
44
"on_macos": [
46
45
"-Wunknown-pragmas",
47
46
"-fexceptions",
48
- "-DSYM=bliss"
49
47
],
50
48
"on_windows": [
51
49
"/DSYM=none",
@@ -106,26 +104,11 @@ cc_library(
106
104
]),
107
105
copts = [
108
106
"$(STACK_FRAME_UNLIMITED)", # src/scip/reader_cnf.c
109
- "-DSCIP_WITH_ZLIB",
110
- "-DWITH_SCIPDEF",
111
- "-DSCIP_ROUNDING_FE",
112
107
"-DTPI_TNY", # src/tpi/type_tpi_tnycthrd.h
113
- # Compile in thead-safe mode (required since we use TPI_TNYC). Note,
114
- # one does not technically need to add this, as SCIP code always
115
- # uses syntax like "#ifndef NPARASCIP". But let's be explicit here.
116
- "-DPARASCIP",
117
108
"-Isrc",
118
109
"-Isrc/scip",
119
110
] + PLATFORM_FLAGS,
120
- defines = [
121
- # Scip v800 optionally depends on scip/config.h and
122
- # scip/scip_export.h that are generated by build system.
123
- #
124
- # We need every library and binary that depends on SCIP libraries to
125
- # define this macro. That is why we use `defines' here instead of
126
- # `copts' or `local_defines'.
127
- "NO_CONFIG_HEADER",
128
- ],
111
+ defines = [],
129
112
features = ["-parse_headers"],
130
113
includes = [
131
114
"src",
You can’t perform that action at this time.
0 commit comments