From 9ec5cb49c42833360db60806e2a3571f69a858b4 Mon Sep 17 00:00:00 2001
From: Joshua Bakita <jbakita@cs.unc.edu>
Date: Tue, 9 Mar 2021 03:48:35 -0500
Subject: Benchmarks: Make sure we always build with the correct config

The current implementation of this is terrible, but seems to work.
This should probably be replaced with some compile-time defines.
---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ada4b16..a473a20 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,13 @@
 
 case-study:
+	sed -i "s/LITMUS 0/LITMUS 1/g" extra.h
 	$(MAKE) -C baseline all
 	$(MAKE) -C dis baseline
 	$(MAKE) -C SD-VBS/benchmarks compile
 
+benchmarks:
+	sed -i "s/LITMUS 1/LITMUS 0/g" extra.h
+	$(MAKE) -C baseline all
+	$(MAKE) -C all_pairs all
+	$(MAKE) -C dis pairs
+	$(MAKE) -C SD-VBS/benchmarks CFLAGS=-DPAIRED compile
-- 
cgit v1.2.2