| # MultiSource/minisat Makefile |
| |
| LEVEL = ../../.. |
| PROG = minisat |
| CPPFLAGS = -D NDEBUG |
| LDFLAGS = -lstdc++ -lm |
| ifdef SMALL_PROBLEM_SIZE |
| RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/small.cnf |
| else |
| ifdef LARGE_PROBLEM_SIZE |
| RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/long.cnf |
| ifeq ($(ARCH),XCore) |
| XCORE_TARGET_NEEDS_MEMORY := 64 |
| endif |
| else |
| RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/short.cnf |
| endif |
| endif |
| FP_TOLERANCE = 0.1 |
| |
| include ../../Makefile.multisrc |
| |
| ifeq ($(TARGET_OS),Darwin) |
| SHLIBEXT := .dylib |
| endif |
| |
| JIT_OPTS += -load libz$(SHLIBEXT) |
