diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:25:27 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:25:27 +0100 |
| commit | 4101773e008b04c88cb5c78565afc6e08a9c4b5f (patch) | |
| tree | 4b6e4e6b0dd7e7554a008fe66f7adc403ab5ee82 /driver | |
| parent | 02ca043e9c2d2aec31aec5a323535924a4414696 (diff) | |
| download | vericert-4101773e008b04c88cb5c78565afc6e08a9c4b5f.tar.gz vericert-4101773e008b04c88cb5c78565afc6e08a9c4b5f.zip | |
Revert "Remove more OCaml files to compile successfully without admits."
This reverts commit 9a4122dba9bdc33a8e912d5a45bae35e05afb229.
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/VericertDriver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/VericertDriver.ml b/driver/VericertDriver.ml index 1ea580f..aa5309a 100644 --- a/driver/VericertDriver.ml +++ b/driver/VericertDriver.ml @@ -65,6 +65,7 @@ let compile_c_file sourcename ifile ofile = set_dest Vericert.PrintClight.destination option_dclight ".light.c"; set_dest Vericert.PrintCminor.destination option_dcminor ".cm"; set_dest Vericert.PrintRTL.destination option_drtl ".rtl"; + set_dest Vericert.PrintRTLBlock.destination option_drtlblock ".rtlblock"; set_dest Vericert.PrintHTL.destination option_dhtl ".htl"; set_dest Vericert.Regalloc.destination_alloctrace option_dalloctrace ".alloctrace"; set_dest Vericert.PrintLTL.destination option_dltl ".ltl"; |