add treiber stack

[model-checker-benchmarks.git] / treiber-stack / Makefile

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
new file mode 100644 (file)
index 0000000..99cac3f
--- /dev/null
+++ b/treiber-stack/Makefile
@@ -0,0 +1,10 @@
+include ../benchmarks.mk
+
+main: my_stack.o main.c
+       $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
+
+%.o: %.c
+       $(CC) -c -o $@ $^ $(CFLAGS)
+
+clean:
+       rm -f *.o