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

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 500f5373f17d44e0bfc42b9eea27a0c92a444e33..a7c792692f3e427c598a34b0791ddde9eaa59668 100755 (executable)
--- 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