The CDSSpec checker's benchmarks

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

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