summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index ada4b16..a473a20 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,13 @@
1 1
2case-study: 2case-study:
3 sed -i "s/LITMUS 0/LITMUS 1/g" extra.h
3 $(MAKE) -C baseline all 4 $(MAKE) -C baseline all
4 $(MAKE) -C dis baseline 5 $(MAKE) -C dis baseline
5 $(MAKE) -C SD-VBS/benchmarks compile 6 $(MAKE) -C SD-VBS/benchmarks compile
6 7
8benchmarks:
9 sed -i "s/LITMUS 1/LITMUS 0/g" extra.h
10 $(MAKE) -C baseline all
11 $(MAKE) -C all_pairs all
12 $(MAKE) -C dis pairs
13 $(MAKE) -C SD-VBS/benchmarks CFLAGS=-DPAIRED compile