[llvm-commits] CVS: llvm-test/MultiSource/Applications/minisat/Makefile
Jeff Cohen
jeffc at jolt-lang.org
Thu Mar 29 17:09:36 PDT 2007
Changes in directory llvm-test/MultiSource/Applications/minisat:
Makefile updated: 1.9 -> 1.10
---
Log message:
Fix for src != obj.
---
Diffs of the changes: (+2 -2)
Makefile | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
Index: llvm-test/MultiSource/Applications/minisat/Makefile
diff -u llvm-test/MultiSource/Applications/minisat/Makefile:1.9 llvm-test/MultiSource/Applications/minisat/Makefile:1.10
--- llvm-test/MultiSource/Applications/minisat/Makefile:1.9 Sun Mar 18 23:25:29 2007
+++ llvm-test/MultiSource/Applications/minisat/Makefile Thu Mar 29 19:09:19 2007
@@ -4,10 +4,10 @@
PROG = minisat
CPPFLAGS = -D NDEBUG
LDFLAGS = -lz -lm
-RUN_OPTIONS = -verbosity=0 short.cnf.gz
+RUN_OPTIONS = -verbosity=0 $PROJ_SRC_DIR)/short.cnf.gz
FP_TOLERANCE = 0.1
ifdef LARGE_PROBLEM_SIZE
-RUN_OPTIONS = -verbosity=0 long.cnf.gz
+RUN_OPTIONS = -verbosity=0 $PROJ_SRC_DIR)/long.cnf.gz
endif
include ../../Makefile.multisrc
More information about the llvm-commits
mailing list