From 567ff74f543509e5e1ee65fd5c00b5a31f2cec57 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 23 Feb 2022 15:00:22 +0100
Subject: Make minor modifications to the Makefile

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f65b5042..cdae532d 100644
--- a/Makefile
+++ b/Makefile
@@ -6,10 +6,13 @@ CHARON_TESTS_DIR=$(CHARON_HOME)/tests/cfim
 CHARON_OPTIONS= --dest ../tests/cfim --no-code-duplication
 DEST_DIR=tests
 
+# The user can specify additional translation options for Aeneas:
+OPTIONS ?=
+
 # Default translation options:
 # - insert calls to the normalizer in the translated code to test the
 #   generated unit functions
-TRANS_OPTIONS:=-test-trans-units
+TRANS_OPTIONS:=-test-trans-units $(OPTIONS)
 SUBDIR:=
 
 # Build the project and test it
-- 
cgit v1.2.3