Add [*] footnotes to --help output indicating for many options --FOO that there are...

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 540e2b77ad363a851661cc924005bd7504e6a0d5..2c514293b9c04f400cc56267ba4d1d01ee900752 100755 (executable)
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -856,6 +856,10 @@ function doc {
       the_doc="$the_doc (EXPERTS only)"
     fi
 
+    if [ "$type" = bool -a -n "$long_option" -a "$long_option_alternate" = "no-$long_option" ]; then
+      the_doc="$the_doc [*]"
+    fi
+
     doc_line=
     while [ -n "$the_doc" ]; do
       remaining_doc="$(expr "$the_doc " : '.\{1,53\} \(.*\)')"

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 560efdfe34d4bc66a5b34fcfa5c6db4cb1fb6df2..2c13236610fd96c54433ac5f2ab716c27446b768 100644 (file)
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -226,6 +226,11 @@ Additional CVC4 options:${remaining_documentation}";
 
 #line 228 "${template}"
 
+static const std::string optionsFootnote = "\n\
+[*] Each of these options has a --no-OPTIONNAME variant, which reverses the\n\
+    sense of the option.\n\
+";
+
 static const std::string languageDescription = "\
 Languages currently supported as arguments to the -L / --lang option:\n\
   auto           attempt to automatically determine the input language\n\
@@ -248,11 +253,13 @@ std::string Options::getDescription() const {
 }
 
 void Options::printUsage(const std::string msg, std::ostream& out) {
-  out << msg << optionsDescription << std::endl << std::flush;
+  out << msg << optionsDescription << std::endl
+      << optionsFootnote << std::endl << std::flush;
 }
 
 void Options::printShortUsage(const std::string msg, std::ostream& out) {
-  out << msg << mostCommonOptionsDescription << std::endl << std::endl
+  out << msg << mostCommonOptionsDescription << std::endl
+      << optionsFootnote << std::endl
       << "For full usage, please use --help." << std::endl << std::flush;
 }