diff options
| author | Son Ho | 2022-11-09 19:06:03 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-10 11:35:30 +0100 |
| commit | 98ecc4763beb6c6213b26f4ddeb4d7850f8a7c08 (patch) | |
| tree | d125e829bb2e3343eccde56fb7b20614ef732d87 /Makefile | |
| parent | 8b6f8e5fb85bcd1b3257550270c4c857d4ee7f55 (diff) | |
Implement a Config.ml file which groups all the global options in references
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 += |