From 98ecc4763beb6c6213b26f4ddeb4d7850f8a7c08 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Nov 2022 19:06:03 +0100
Subject: Implement a Config.ml file which groups all the global options in
 references

---
 Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a0ce6d21..1d6d4b7d 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ CHARON_TESTS_SRC =
 AENEAS_DRIVER = driver.exe
 
 # The user can specify additional translation options for Aeneas:
-OPTIONS ?=
+OPTIONS += -unfold-monads
 
 # Default translation options:
 # - insert calls to the normalizer in the translated code to test the
@@ -75,7 +75,7 @@ AENEAS_CMD = cd compiler && dune exec -- ./$(AENEAS_DRIVER) ../$(CHARON_TESTS_DI
 
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
-	TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
+	TRANS_OPTIONS += -test-units -test-trans-units -no-split-files -no-state -no-decreases-clauses
 trans-no_nested_borrows trans-paper: SUBDIR:=misc
 
 trans-hashmap: TRANS_OPTIONS += -template-clauses -no-state
@@ -84,10 +84,10 @@ trans-hashmap: SUBDIR:=hashmap
 trans-hashmap_main: TRANS_OPTIONS += -template-clauses
 trans-hashmap_main: SUBDIR:=hashmap_on_disk
 
-trans-polonius-betree_polonius: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
+trans-polonius-betree_polonius: TRANS_OPTIONS += -test-units -test-trans-units -no-split-files -no-state -no-decreases-clauses
 trans-polonius-betree_polonius: SUBDIR:=misc
 
-trans-constants: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
+trans-constants: TRANS_OPTIONS += -test-units -test-trans-units -no-split-files -no-state -no-decreases-clauses
 trans-constants: SUBDIR:=misc
 
 trans-external: TRANS_OPTIONS +=
-- 
cgit v1.2.3