From c99b805c14e673d1f63b4f7061089590c6693734 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Jan 2021 18:37:38 -0800
Subject: [PATCH] mld

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 doc/mk_api_doc.py    | 11 +++++++++--
 scripts/nightly.yaml |  8 ++++----
 src/util/zstring.cpp |  2 ++
 3 files changed, 15 insertions(+), 6 deletions(-)

diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index c74349d3f..2ef219506 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -14,6 +14,7 @@ import subprocess
 import shutil
 
 ML_ENABLED=False
+MLD_ENABLED=False
 BUILD_DIR='../build'
 DOXYGEN_EXE='doxygen'
 TEMP_DIR=os.path.join(os.getcwd(), 'tmp')
@@ -27,7 +28,7 @@ JAVA_API_SEARCH_PATHS=['../src/api/java']
 SCRIPT_DIR=os.path.abspath(os.path.dirname(__file__))
 
 def parse_options():
-    global ML_ENABLED, BUILD_DIR, DOXYGEN_EXE, TEMP_DIR, OUTPUT_DIRECTORY
+    global ML_ENABLED, MLD_ENABLED, BUILD_DIR, DOXYGEN_EXE, TEMP_DIR, OUTPUT_DIRECTORY
     global Z3PY_PACKAGE_PATH, Z3PY_ENABLED, DOTNET_ENABLED, JAVA_ENABLED
     global DOTNET_API_SEARCH_PATHS, JAVA_API_SEARCH_PATHS
     parser = argparse.ArgumentParser(description=__doc__)
@@ -41,6 +42,11 @@ def parse_options():
         default=False,
         help='Include ML/OCaml API documentation'
     )
+    parser.add_argument('--mld',
+        action='store_true',
+        default=False,
+        help='Include ML/OCaml API documentation'
+    )
     parser.add_argument('--doxygen-executable',
         dest='doxygen_executable',
         default=DOXYGEN_EXE,
@@ -98,6 +104,7 @@ def parse_options():
     )
     pargs = parser.parse_args()
     ML_ENABLED = pargs.ml
+    MLD_ENABLED = pargs.mld
     BUILD_DIR = pargs.build
     DOXYGEN_EXE = pargs.doxygen_executable
     TEMP_DIR = pargs.temp_dir
@@ -259,7 +266,7 @@ try:
                 prefix=bullet_point_prefix)
     else:
         website_dox_substitutions['JAVA_API'] = ''
-    if ML_ENABLED:
+    if ML_ENABLED or MLD_ENABLED:
         website_dox_substitutions['OCAML_API'] = (
             '{prefix}<a class="el" href="ml/index.html">ML/OCaml API</a>'
             ).format(
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index e1045bd51..045d32bc6 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -55,12 +55,12 @@ stages:
         cd ..
     - script: |
         set -e
-        cd doc
-        python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
         eval `opam config env` 
+        cd doc
+        python mk_api_doc.py --mld --z3py-package-path=../build/python/z3
+        mkdir html/ml
+        ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
         cd ..
-#       mkdir html/ml
-#       ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
     - script: zip -r api.zip doc/api
     - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
     - task: PublishPipelineArtifact@0
diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp
index 3fa4b822e..0df1f3dcd 100644
--- a/src/util/zstring.cpp
+++ b/src/util/zstring.cpp
@@ -16,6 +16,7 @@ Author:
 --*/
 #include "util/gparams.h"
 #include "util/zstring.h"
+#include "util/trace.h"
 
 static bool is_hex_digit(char ch, unsigned& d) {
     if ('0' <= ch && ch <= '9') {
@@ -147,6 +148,7 @@ std::string zstring::encode() const {
         }
     }
     _flush();
+    TRACE("seq", tout << "encode " << strm.str() << "\n";);
     return strm.str();
 }