Revision 90cc3b8e
Added by Lélio Brun over 3 years ago
| src/options_management.ml | ||
|---|---|---|
| 11 | 11 |
open Options |
| 12 | 12 |
|
| 13 | 13 |
let print_version () = |
| 14 |
Format.printf |
|
| 14 |
let open Utils.Format in |
|
| 15 |
printf |
|
| 15 | 16 |
"@[<v>\ |
| 16 |
Lustrec compiler, version %s (%s)@;\
|
|
| 17 |
Standard lib: %s@;\
|
|
| 17 |
Lustrec compiler, version %s (%s)@,\
|
|
| 18 |
Standard lib: %s@,\
|
|
| 18 | 19 |
User provided include directory: @[<h>%a@]\ |
| 19 | 20 |
@]@." |
| 20 | 21 |
version codename |
| 21 | 22 |
Version.include_path |
| 22 |
(Utils.fprintf_list ~sep:"@ " Format.pp_print_string) !include_dirs
|
|
| 23 |
(pp_print_list ~pp_sep:pp_print_space pp_print_string) !include_dirs
|
|
| 23 | 24 |
|
| 24 | 25 |
let add_include_dir dir = |
| 25 | 26 |
let removed_slash_suffix = |
Also available in: Unified diff
some rewriting in C backend pretty-printer