create 18 pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

azure-pipelines.yml

@@ -14,7 +14,7 @@ jobs:
   strategy:
     matrix:
       MT:
-        cmdLine: 'python scripts/mk_make.py -d --java --dotnet --ml'
+        cmdLine: 'python scripts/mk_make.py -d --java --dotnet'
       ST:
         cmdLine: './configure --single-threaded'
   steps:
@@ -33,6 +33,22 @@ jobs:
 #       ./cpp_example
 #       ./c_example
 
+- job: "Ubuntu18 with ocaml"
+  displayName: "Ubuntu 18 with ocaml"
+  pool:
+    vmImage: "Ubuntu-18.04"
+  steps:
+    - script: sudo apt-get install ocaml opam
+    - script: python scripts/mk_make.py --java --dotnet --ml
+    - script: |
+        set -e
+        cd build
+        make -j3
+        make -j3 examples
+        make -j3 test-z3
+        cd ..
+    - template: scripts/test-z3.yml
+    - template: scripts/test-regressions.yml
 
 # TBD: 
 #   test python bindings