X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=treiber-stack%2FMakefile;h=b97c158c413761f9386c61de88265039e28473f8;hb=f59f59385d850ff79016d33891fc09522ff509f3;hp=99cac3f86adf55576a843937a109d2c40bba5cd7;hpb=e326d381460902d927b8862149ce5382f8509bbd;p=model-checker-benchmarks.git

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
index 99cac3f..b97c158 100644
--- a/treiber-stack/Makefile
+++ b/treiber-stack/Makefile
@@ -1,10 +1,26 @@
 include ../benchmarks.mk
 
-main: my_stack.o main.c
+BENCH := stack
+
+NORMAL_TESTS := testcase1
+
+WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
+
+TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
+
+all: $(TESTS)
+
+$(BENCH).o : $(BENCH).c $(BENCH).h
+	$(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
+
+$(BENCH)_wildcard.o : $(BENCH)_wildcard.c $(BENCH).h
+	$(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
+
+$(WILDCARD_TESTS): %_wildcard : %.c $(BENCH)_wildcard.o 
 	$(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
 
-%.o: %.c
-	$(CC) -c -o $@ $^ $(CFLAGS)
+$(NORMAL_TESTS): % : %.c $(BENCH).o
+	$(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
 
 clean:
-	rm -f *.o
+	rm -f *.o *.d $(TESTS)