From 7068ccdebd60ef2b38995ae2e67beb29c2e05247 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 27 Jan 2021 16:01:42 -0800
Subject: [PATCH] have nightly generate doc

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml  |  2 +-
 scripts/nightly.yaml | 30 ++++++++++++++++++++++++++++++
 2 files changed, 31 insertions(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 5afb39800..3c2173a76 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -42,7 +42,6 @@ jobs:
     - template: scripts/test-z3.yml
     - ${{if eq(variables['runRegressions'], 'True')}}:
       - template: scripts/test-regressions.yml
-    - template: scripts/generate-doc.yml
 
 - job: "Ubuntu18Python"
   displayName: "Ubuntu 18 with ocaml"
@@ -64,6 +63,7 @@ jobs:
         cd ..
     - template: scripts/test-z3.yml
     - template: scripts/test-regressions.yml
+    - template: scripts/generate-doc.yml
 
 
 - job: "LinuxMSan"
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 878fbf607..8e167099b 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -36,6 +36,31 @@ stages:
         artifactName: 'Ubuntu'
         targetPath: $(Build.ArtifactStagingDirectory)
 
+  - job: UbuntoDoc
+    displayName: "Ubuntu Doc build"
+    pool:
+      vmImage: "ubuntu-latest"
+    steps:
+    - script: sudo apt-get install ocaml opam libgmp-dev
+    - script: opam init -y
+    - script: eval `opam config env`; opam install zarith ocamlfind -y
+    - script: python scripts/mk_make.py --ml --staticlib
+    - script: |
+        set -e
+        cd build
+        eval `opam config env` 
+        make -j3
+        make -j3 examples
+        make -j3 test-z3
+        ./ml_example
+        cd ..
+    - template: scripts/generate-doc.yml
+    - script: zip api.zip doc/api/. 
+    - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'UbuntuDoc'
+        targetPath: $(Build.ArtifactStagingDirectory)
 
   - job: Manylinux
     displayName: "Manylinux build"
@@ -273,6 +298,11 @@ stages:
       inputs:
         artifactName: 'Ubuntu'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download Doc"
+      inputs:
+        artifactName: 'UbuntuDoc'
+        targetPath: tmp
     - task: DownloadPipelineArtifact@2
       displayName: "Download Python"
       inputs: