[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