From 07098e43cd1183f1367d7fed436e44a36083e653 Mon Sep 17 00:00:00 2001
From: Bernhard Urban <lewurm@gmail.com>
Date: Tue, 8 May 2012 23:52:39 +0200
Subject: [PATCH] Makefile: target for executing a single testcase

see `HACKING'
---
 HACKING  |  8 +++++++-
 Makefile | 11 ++++++++---
 2 files changed, 15 insertions(+), 4 deletions(-)

diff --git a/HACKING b/HACKING
index 5772b87..2d12341 100644
--- a/HACKING
+++ b/HACKING
@@ -1,4 +1,10 @@
-for a debug build, use
+for testing with a release build, use
+$ make tests/Fib
+
+for testing a release build against OpenJDK output, use
+$ make tests/Fib.test
+
+for testing with a debug build, use
 $ DBGFLAGS='-DDBG_JIT -DDBG_BB' make tests/Fib.dbg
 
 `make clean' is needed if you change $DBGFLAGS.
diff --git a/Makefile b/Makefile
index 0fe827e..9362fbb 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ JAVAC := javac
 JAVA_FILES := $(wildcard tests/*.java java/lang/*.java java/io/*.java)
 CLASS_FILES := $(JAVA_FILES:.java=.class)
 TEST_JAVA_FILES := $(wildcard tests/*.java)
-TEST_CLASS_FILES := $(TEST_JAVA_FILES:.java=)
+TEST_CLASS_FILES := $(TEST_JAVA_FILES:.java=.test)
 HS_FILES := $(wildcard Mate/*.hs)
 HS_BOOT := $(wildcard Mate/*.hs-boot)
 O_FILES = $(shell ls Mate/*.o) $(wildcard ffi/*.o)
@@ -19,10 +19,15 @@ GHC_LD := -optl-Xlinker -optl-x
 
 all: mate $(CLASS_FILES)
 
+%: %.class mate
+	./mate $(basename $<)
+
+
 tests: mate $(TEST_CLASS_FILES)
 
-%: %.class mate
-	@./tools/openjdktest.sh $@
+%.test: %.class mate
+	@./tools/openjdktest.sh $(basename $@)
+
 
 %.class: %.java
 	$(JAVAC) $<
-- 
2.25.1