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