summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile13
1 files changed, 0 insertions, 13 deletions
diff --git a/Makefile b/Makefile
deleted file mode 100644
index a473a20..0000000
--- a/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
1
2case-study:
3 sed -i "s/LITMUS 0/LITMUS 1/g" extra.h
4 $(MAKE) -C baseline all
5 $(MAKE) -C dis baseline
6 $(MAKE) -C SD-VBS/benchmarks compile
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