12 structure Build: BUILD = |
12 structure Build: BUILD = |
13 struct |
13 struct |
14 |
14 |
15 local |
15 local |
16 |
16 |
|
17 fun no_document options = |
|
18 (case Options.string options "document" of "" => true | "false" => true | _ => false) andalso |
|
19 (Options.string options "document_dump" = ""); |
|
20 |
17 fun use_thys options = |
21 fun use_thys options = |
18 Thy_Info.use_thys |
22 Thy_Info.use_thys |
19 |> Unsynchronized.setmp Proofterm.proofs (Options.int options "proofs") |
23 |> Unsynchronized.setmp Proofterm.proofs (Options.int options "proofs") |
20 |> Unsynchronized.setmp print_mode |
24 |> Unsynchronized.setmp print_mode |
21 (space_explode "," (Options.string options "print_mode") @ print_mode_value ()) |
25 (space_explode "," (Options.string options "print_mode") @ print_mode_value ()) |
22 |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs") |
26 |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs") |
23 |> Unsynchronized.setmp Goal.parallel_proofs_threshold |
27 |> Unsynchronized.setmp Goal.parallel_proofs_threshold |
24 (Options.int options "parallel_proofs_threshold") |
28 (Options.int options "parallel_proofs_threshold") |
25 |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace") |
29 |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace") |
26 |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads") |
30 |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads") |
27 |> (case Options.string options "document" of "" => true | "false" => true | _ => false) ? |
31 |> no_document options ? Present.no_document |
28 Present.no_document |
|
29 |> Unsynchronized.setmp quick_and_dirty (Options.bool options "quick_and_dirty") |
32 |> Unsynchronized.setmp quick_and_dirty (Options.bool options "quick_and_dirty") |
30 |> Unsynchronized.setmp Printer.show_question_marks_default |
33 |> Unsynchronized.setmp Printer.show_question_marks_default |
31 (Options.bool options "show_question_marks") |
34 (Options.bool options "show_question_marks") |
32 |> Unsynchronized.setmp Name_Space.names_long_default (Options.bool options "names_long") |
35 |> Unsynchronized.setmp Name_Space.names_long_default (Options.bool options "names_long") |
33 |> Unsynchronized.setmp Name_Space.names_short_default (Options.bool options "names_short") |
36 |> Unsynchronized.setmp Name_Space.names_short_default (Options.bool options "names_short") |