Skip to content

Commit 5af5a08

Browse files
committed
Silence all Visual Studio warnings when building Minisat
1 parent 367fbe0 commit 5af5a08

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

src/solvers/Makefile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -193,6 +193,12 @@ SRC = $(BOOLEFORCE_SRC) \
193193

194194
include ../common
195195

196+
ifneq ($(MINISAT2),)
197+
ifeq ($(BUILD_ENV_),MSVC)
198+
CP_CXXFLAGS += /w
199+
endif
200+
endif
201+
196202
INCLUDES += -I .. \
197203
$(CHAFF_INCLUDE) $(BOOLEFORCE_INCLUDE) $(MINISAT_INCLUDE) $(MINISAT2_INCLUDE) \
198204
$(IPASIR_INCLUDE) \

0 commit comments

Comments
 (0)