diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -1,6 +1,13 @@ | |||
| 1 | 1 | ||
| 2 | case-study: | 2 | case-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 | ||
| 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 | ||
