diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 18:53:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 18:53:27 +0000 |
commit | 4e883ffc0b88256a966183ac6b87bb5767154cdf (patch) | |
tree | a193f12035e4417834ef08312f50739ae0b39a87 /src/options | |
parent | 99cad5495be99efae434177d1537d4cfac35581c (diff) |
* Clean up some options documentation
* Remove defunct --no-theory-registration option
* Point people to Wiki tutorial
* Modernize the cut-release script
* Misc cleanup, documentation
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/options')
-rwxr-xr-x | src/options/mkoptions | 31 |
1 files changed, 30 insertions, 1 deletions
diff --git a/src/options/mkoptions b/src/options/mkoptions index 48050ef7e..9ef05c1b2 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -142,20 +142,31 @@ function module { CVC4_OPTIONS__${module_id}__FOR_OPTION_HOLDER" module_optionholder_spec="#define CVC4_OPTIONS__${module_id}__FOR_OPTION_HOLDER" + previous_remaining_documentation="${remaining_documentation}" remaining_documentation="${remaining_documentation}\\n\\n\" #line $lineno \"$kf\" -\"$module_name options:" +\"From the $module_name module:" + remaining_documentation_at_start_of_module="${remaining_documentation}" + + previous_remaining_manpage_documentation="${remaining_manpage_documentation}" remaining_manpage_documentation="${remaining_manpage_documentation} .SH `echo "$module_name" | tr a-z A-Z` OPTIONS " + remaining_manpage_documentation_at_start_of_module="${remaining_manpage_documentation}" + + previous_remaining_manpage_smt_documentation="${remaining_manpage_smt_documentation}" remaining_manpage_smt_documentation="${remaining_manpage_smt_documentation} .TP .I \"`echo "$module_name" | tr a-z A-Z` OPTIONS\" " + remaining_manpage_smt_documentation_at_start_of_module="${remaining_manpage_smt_documentation}" + + previous_remaining_manpage_internals_documentation="${remaining_manpage_internals_documentation}" remaining_manpage_internals_documentation="${remaining_manpage_internals_documentation} .TP .I \"`echo "$module_name" | tr a-z A-Z` OPTIONS\" " + remaining_manpage_internals_documentation_at_start_of_module="${remaining_manpage_internals_documentation}" } function endmodule { @@ -166,6 +177,24 @@ function endmodule { if [ $# -ne 0 ]; then ERR "endmodule takes no arguments" fi + + # check, and if no documented options, remove the headers + + if [ "$remaining_documentation" = "$remaining_documentation_at_start_of_module" ]; then + remaining_documentation="$previous_remaining_documentation" + fi + + if [ "$remaining_manpage_documentation" = "$remaining_manpage_documentation_at_start_of_module" ]; then + remaining_manpage_documentation="$previous_remaining_manpage_documentation" + fi + + if [ "$remaining_manpage_smt_documentation" = "$remaining_manpage_smt_documentation_at_start_of_module" ]; then + remaining_manpage_smt_documentation="$previous_remaining_manpage_smt_documentation" + fi + + if [ "$remaining_manpage_internals_documentation" = "$remaining_manpage_internals_documentation_at_start_of_module" ]; then + remaining_manpage_internals_documentation="$previous_remaining_manpage_internals_documentation" + fi } function common-option { |