Refactor mkoptions (#1631)

This commit refactors code generation for options. It uses a new configuration format for defining options (*.toml) and a new Python script mkoptions.py to generate the source code and option documentation.

The option behavior did not change for most of the options, except that for bool --enable-/--disable- long options enable/disable was removed. E.g. --enable-miplib-trick and --disable-miplib-trick got changed to --miplib-trick and --no-miplib-trick.

This commit fixes also an issues with set-option/get-option via the SMT2 interface. Before long options were only accessible if the name included the =ARG part.

1 files changed, 5 insertions, 7 deletions

diff --git a/src/options/options_holder_template.h b/src/options/options_holder_template.h
index 0d6da1e56..910f08e31 100644
--- a/src/options/options_holder_template.h
+++ b/src/options/options_holder_template.h
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file options_holder_template.h
+/*! \file options_holder.h
  ** \verbatim
  ** Top contributors (to current version):
  **   Morgan Deters, Paul Meng
@@ -19,22 +19,20 @@
 #ifndef __CVC4__OPTIONS__OPTIONS_HOLDER_H
 #define __CVC4__OPTIONS__OPTIONS_HOLDER_H
 
-${include_all_option_headers}
+${headers_module}$
 
-#line 25 "${template}"
 
 namespace CVC4 {
 namespace options {
 
 struct OptionsHolder {
   OptionsHolder();
-${all_modules_contributions}
+  ${macros_module}$
 
-#line 34 "${template}"
 
 };/* struct OptionsHolder */
 
-}/* CVC4::options namespace */
-}/* CVC4 namespace */
+}  // namespace options
+}  // namespace CVC4
 
 #endif /* __CVC4__OPTIONS__OPTIONS_HOLDER_H */