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 +++---
 tests/misc/Makefile | 2 ++
 2 files changed, 5 insertions(+), 3 deletions(-)
 create mode 100644 tests/misc/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
 
diff --git a/tests/misc/Makefile b/tests/misc/Makefile
new file mode 100644
index 00000000..5153d201
--- /dev/null
+++ b/tests/misc/Makefile
@@ -0,0 +1,2 @@
+%.fst-in %.fsti-in:
+	@echo --include ../hashmap
-- 
cgit v1.2.3