3ee1f80051
This commit is a response to Genode's increased default warning level. See the corresponding issue at: https://github.com/genodelabs/genode/issues/465
16 lines
319 B
Makefile
16 lines
319 B
Makefile
GLUCOSE_DIR = $(call select_from_ports,glucose)/src/lib/glucose/
|
|
LIBS += stdcxx zlib libc libm
|
|
INC_DIR += $(GLUCOSE_DIR)
|
|
SRC_CC = Solver.cc
|
|
|
|
CC_OPT += -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS
|
|
|
|
CC_WARN =
|
|
|
|
vpath %.cc $(GLUCOSE_DIR)/core
|
|
vpath %.cc $(GLUCOSE_DIR)/utils
|
|
|
|
#SHARED_LIB = yes
|
|
|
|
CC_CXX_WARN_STRICT =
|