projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
This is the PPoPP17 artifact version
[model-checker.git]
/
cdsspec-compiler
/
notes
/
register-example
/
Makefile
1
include ../benchmarks.mk
2
3
TESTNAME = register
4
all: $(TESTNAME)
5
6
CFLAGS := $(CFLAGS) --std=c++11
7
8
$(TESTNAME): $(TESTNAME).cc $(TESTNAME).h
9
$(CXX) -o $@ $< $(CFLAGS) $(LDFLAGS)
10
11
clean:
12
rm -f $(TESTNAME) *.o