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

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
new file mode 100644
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