projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
f1feb46cc4d6d34e07b84e63402fdb74291310bc
[model-checker-benchmarks.git]
/
cliffc-hashtable
/
Makefile
1
include ../benchmarks.mk
2
3
TESTS := table table-normal
4
5
all: $(TESTS)
6
7
table: main.cc
8
$(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
9
10
table-normal: main.cc
11
$(CXX) -o $@ $^ -std=c++0x -DNORMAL
12
13
clean:
14
rm -f *.o *.d $(TESTS)