diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
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 | |||
| 2 | case-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 | |||
| 8 | benchmarks: | ||
| 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 | ||
