X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=ticket-lock%2FMakefile;fp=ticket-lock%2FMakefile;h=e222765bdd3f1b0fa400d98896c1ed4d519a8588;hb=1e4cd56e5cf72f7cb6dddb2990183f050afc4cbc;hp=0000000000000000000000000000000000000000;hpb=7ca8c7d4c3d13ce31873200b12403bb4ea7e4195;p=model-checker-benchmarks.git

diff --git a/ticket-lock/Makefile b/ticket-lock/Makefile
new file mode 100644
index 0000000..e222765
--- /dev/null
+++ b/ticket-lock/Makefile
@@ -0,0 +1,23 @@
+include ../benchmarks.mk
+
+BENCH := lock
+
+BENCH_BINARY := $(BENCH).o
+
+TESTS := main testcase1
+
+all: $(TESTS)
+	../generate.sh $(notdir $(shell pwd))
+
+%.o : %.c
+	$(CC) -c -fPIC -MMD -MF .$@.d -o $@ $< $(CFLAGS) $(LDFLAGS)
+
+$(TESTS): % : %.o  $(BENCH_BINARY)
+	$(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
+
+-include .*.d 
+
+clean:
+	rm -rf $(TESTS) *.o .*.d *.dSYM
+
+.PHONY: clean all