projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e4a48c7
)
mcs-queue: add Makefile
author
Brian Norris
<banorris@uci.edu>
Tue, 5 Mar 2013 03:39:39 +0000
(19:39 -0800)
committer
Brian Norris
<banorris@uci.edu>
Tue, 5 Mar 2013 03:39:39 +0000
(19:39 -0800)
mcs-queue/Makefile
[new file with mode: 0644]
patch
|
blob
diff --git a/mcs-queue/Makefile
b/mcs-queue/Makefile
new file mode 100644
(file)
index 0000000..
0f19830
--- /dev/null
+++ b/
mcs-queue/Makefile
@@ -0,0
+1,17
@@
+include ../benchmarks.mk
+
+TESTNAME = main
+
+HEADERS = main.h my_queue.h
+OBJECTS = main.o my_queue.o args.o
+
+all: $(TESTNAME)
+
+$(TESTNAME): $(HEADERS) $(OBJECTS)
+ $(CC) -o $@ $^ $(CPPFLAGS) $(LDFLAGS)
+
+%.o: %.c
+ $(CC) -c -o $@ $< $(CPPFLAGS)
+
+clean:
+ rm -f $(TESTNAME) *.o