From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 17 Sep 2012 22:38:32 +0000 (+0000)
Subject: speed up option-file generation on Mac OS by an order of magnitude
X-Git-Tag: cvc5-1.0.0~7803
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=747c97106c6a6f8f8718b4b5ddfd61f505f3bf5f;p=cvc5.git

speed up option-file generation on Mac OS by an order of magnitude
---

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 500f5373f..a7c792692 100755
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -1227,13 +1227,18 @@ long_option_value_end=$n_long
 
 text=$(cat "$template")
 for var in \
+    smt_getoption_handlers \
+    smt_setoption_handlers \
+    long_option_value_begin \
+    long_option_value_end \
+    template \
+    option_handler_includes \
     all_modules_defaults \
     all_modules_short_options \
     all_modules_long_options \
     all_modules_option_handlers \
     include_all_option_headers \
     all_modules_contributions \
-    option_handler_includes \
     all_custom_handlers \
     common_documentation \
     remaining_documentation \
@@ -1241,11 +1246,6 @@ for var in \
     remaining_manpage_documentation \
     common_manpage_smt_documentation \
     remaining_manpage_smt_documentation \
-    smt_getoption_handlers \
-    smt_setoption_handlers \
-    long_option_value_begin \
-    long_option_value_end \
-    template \
     ; do
   eval text="\${text//\\\$\\{$var\\}/\${$var}}"
 done