diff options
| author | Son Ho | 2022-02-23 15:00:22 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-23 15:00:22 +0100 |
| commit | 567ff74f543509e5e1ee65fd5c00b5a31f2cec57 (patch) | |
| tree | eb62290001bd1b49f94239520712b7229fd06840 /Makefile | |
| parent | 2a8a568e6d308f0e220706062258448c15d295de (diff) | |
Make minor modifications to the Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |