| set(PROG minisat) |
| list(APPEND LDFLAGS -lstdc++ -lm) |
| if(SMALL_PROBLEM_SIZE) |
| set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/small.cnf) |
| else() |
| if(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() |