| set(PROG minisat) |
| set(CPPFLAGS -D NDEBUG) |
| set(LDFLAGS -lstdc++ -lm) |
| if(DEFINED SMALL_PROBLEM_SIZE) |
| set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/small.cnf) |
| else() |
| if(DEFINED LARGE_PROBLEM_SIZE) |
| set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/long.cnf) |
| if("${ARCH}" STREQUAL "XCore") |
| set(XCORE_TARGET_NEEDS_MEMORY 64) |
| endif() |
| else() |
| set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/short.cnf) |
| endif() |
| endif() |
| set(FP_TOLERANCE 0.1) |
| if("${TARGET_OS}" STREQUAL "Darwin") |
| set(SHLIBEXT .dylib) |
| endif() |
| list(APPEND JIT_OPTS -load libz${SHLIBEXT}) |
| llvm_multisource() |