projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
bench.sh: only print git information when we're in git
[model-checker-benchmarks.git]
/
ms-queue
/
Makefile
1
include ../benchmarks.mk
2
3
TESTNAME = main
4
5
HEADERS = my_queue.h
6
OBJECTS = main.o my_queue.o
7
8
all: $(TESTNAME)
9
10
$(TESTNAME): $(HEADERS) $(OBJECTS)
11
$(CC) -o $@ $(OBJECTS) $(CFLAGS) $(LDFLAGS)
12
13
%.o: %.c
14
$(CC) -c -o $@ $< $(CFLAGS)
15
16
clean:
17
rm -f $(TESTNAME) *.o