diff options
Diffstat (limited to 'MultiSource/Applications/minisat/CMakeLists.txt')
| -rw-r--r-- | MultiSource/Applications/minisat/CMakeLists.txt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/MultiSource/Applications/minisat/CMakeLists.txt b/MultiSource/Applications/minisat/CMakeLists.txt index b35d7d42..40762485 100644 --- a/MultiSource/Applications/minisat/CMakeLists.txt +++ b/MultiSource/Applications/minisat/CMakeLists.txt @@ -1,12 +1,14 @@ list(APPEND LDFLAGS -lstdc++ -lm) if(SMALL_PROBLEM_SIZE) - set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/small.cnf) + set(INPUT small.cnf) else() if(LARGE_PROBLEM_SIZE) - set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/long.cnf) + set(INPUT long.cnf) else() - set(RUN_OPTIONS -verbosity=0 ${CMAKE_CURRENT_SOURCE_DIR}/short.cnf) + set(INPUT short.cnf) endif() endif() +set(RUN_OPTIONS -verbosity=0 ${INPUT}) set(FP_TOLERANCE 0.1) llvm_multisource(minisat) +llvm_test_data(minisat ${INPUT}) |