finish parameter help

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

doc/mk_api_doc.py

@@ -238,24 +238,6 @@ def doc_path(path):
     else:
         print('Javascript documentation disabled')
 
-    if Z3OPTIONS_ENABLED:
-        print("Z3 Options Enabled")
-        out = subprocess.call([Z3_EXE, "-pm"],stdout=subprocess.PIPE).communicate()[0]
-        modules = []
-        if out != None:
-            out = out.decode(sys.stdout.encoding)
-            module_re = re.compile(r"\[module\] (.*)\,")
-            lines = out.split("\n")
-            for line in lines:
-                m = module_re.search(line)
-                if m:
-                    modules += [m.group(1)]
-        for module in modules:
-            out = subprocess.call([Z3_EXE, "-pmhtml:%s" % module],stdout=subprocess.PIPE).communicate()[0]
-            if out == None:
-                continue
-            out = out.decode(sys.stdout.encoding)
-            
 
     doxygen_config_file = temp_path('z3api.cfg')
     configure_file(

doc/parameterhelp.py

@@ -0,0 +1,27 @@
+
+import subprocess
+import sys
+import re
+
+Z3_EXE = "z3.exe"
+
+def help():
+    print("Z3 Options Enabled")
+    out = subprocess.Popen([Z3_EXE, "-pm"],stdout=subprocess.PIPE).communicate()[0]
+    modules = []
+    if out != None:
+        out = out.decode(sys.stdout.encoding)
+        module_re = re.compile(r"\[module\] (.*)\,")
+        lines = out.split("\n")
+        for line in lines:
+            m = module_re.search(line)
+            if m:
+                modules += [m.group(1)]
+        for module in modules:
+            out = subprocess.Popen([Z3_EXE, "-pmmd:%s" % module],stdout=subprocess.PIPE).communicate()[0]
+            if out == None:
+                continue
+            out = out.decode(sys.stdout.encoding)
+            print(out)
+
+help()