From 9d1fc9e76ac82951c34952a878a36f7c5f886237 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Thu, 17 Feb 2022 15:54:05 -0800
Subject: More stuff for the paper + interactive mode makefile

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 070aba6c..56847812 100644
--- a/Makefile
+++ b/Makefile
@@ -21,11 +21,11 @@ build:
 
 # Test the project
 .PHONY: test
-test: build translate-no_nested_borrows translate-hashmap
+test: build translate-no_nested_borrows translate-hashmap translate-paper
 
 # Add specific options to some tests
-translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split -no-decreases-clauses
-translate-no_nested_borrows: SUBDIR:=misc
+translate-no_nested_borrows translate-paper: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split -no-decreases-clauses
+translate-no_nested_borrows translate-paper: SUBDIR:=misc
 translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses
 translate-hashmap: SUBDIR:=hashmap
 
-- 
cgit v1.2.3