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()