diff options
| author | Prashanth Mundkur | 2019-01-14 17:35:43 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2019-01-14 17:41:31 -0800 |
| commit | a5e2b3b7411f630b6d2337402330e13862b5666a (patch) | |
| tree | 9508a6ed5e97f3128201854bc77a9e64b0971314 /src/process_file.mli | |
| parent | a3da2efb3ef08e132e16db0c510b1b8fe4ee600c (diff) | |
Add options for output directories for the lem and coq backends.
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 1d4d629a..2c4973bc 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -71,6 +71,9 @@ val opt_ddump_tc_ast : bool ref val opt_ddump_rewrite_ast : ((string * int) option) ref val opt_dno_cast : bool ref +val opt_lem_output_dir : (string option) ref +val opt_coq_output_dir : (string option) ref + type out_type = | Lem_out of string list (* If present, the strings are files to open in the lem backend*) | Coq_out of string list (* If present, the strings are files to open in the coq backend*) |