projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix commit that mistakenly happened
[model-checker-benchmarks.git]
/
cliffc-hashtable
/
Makefile
diff --git
a/cliffc-hashtable/Makefile
b/cliffc-hashtable/Makefile
index f1feb46cc4d6d34e07b84e63402fdb74291310bc..f1e5227a407735ae629a2da47bd69d1b15bc619a 100644
(file)
--- a/
cliffc-hashtable/Makefile
+++ b/
cliffc-hashtable/Makefile
@@
-1,14
+1,11
@@
include ../benchmarks.mk
include ../benchmarks.mk
-TESTS := table
table-normal
+TESTS := table
all: $(TESTS)
table: main.cc
$(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
all: $(TESTS)
table: main.cc
$(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
-table-normal: main.cc
- $(CXX) -o $@ $^ -std=c++0x -DNORMAL
-
clean:
rm -f *.o *.d $(TESTS)
clean:
rm -f *.o *.d $(TESTS)