The CDSSpec checker's benchmarks

[model-checker-benchmarks.git] / ticket-lock / Makefile

diff --git a/ticket-lock/Makefile b/ticket-lock/Makefile
new file mode 100644 (file)
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