[llvm-commits] CVS: llvm-test/MultiSource/Applications/minisat/small.cnf.gz Makefile

[Evan Cheng]

Changes in directory llvm-test/MultiSource/Applications/minisat:

small.cnf.gz added (r1.1)
Makefile updated: 1.11 -> 1.12
---
Log message:

Implement SMALL_PROBLEM_SIZE=1.

---
Diffs of the changes:  (+7 -2)

 Makefile     |    9 +++++++--
 small.cnf.gz |    0 
 2 files changed, 7 insertions(+), 2 deletions(-)


Index: llvm-test/MultiSource/Applications/minisat/small.cnf.gz


Index: llvm-test/MultiSource/Applications/minisat/Makefile
diff -u llvm-test/MultiSource/Applications/minisat/Makefile:1.11 llvm-test/MultiSource/Applications/minisat/Makefile:1.12
--- llvm-test/MultiSource/Applications/minisat/Makefile:1.11	Thu Mar 29 19:38:42 2007
+++ llvm-test/MultiSource/Applications/minisat/Makefile	Thu May  3 17:59:17 2007
@@ -4,11 +4,16 @@
 PROG = minisat
 CPPFLAGS = -D NDEBUG
 LDFLAGS = -lz -lm
-RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/short.cnf.gz
-FP_TOLERANCE = 0.1
+ifdef SMALL_PROBLEM_SIZE
+RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/small.cnf.gz
+else
 ifdef LARGE_PROBLEM_SIZE
 RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/long.cnf.gz
+else
+RUN_OPTIONS = -verbosity=0 $(PROJ_SRC_DIR)/short.cnf.gz
 endif
+endif
+FP_TOLERANCE = 0.1
 
 include ../../Makefile.multisrc