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 _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
