diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 907e2eeb6..ebe844d80 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -38,8 +38,10 @@ jobs:
   pool:
     vmImage: "Ubuntu-18.04"
   steps:
-    - script: sudo apt-get install ocaml opam
-    - script: python scripts/mk_make.py --java --dotnet --ml
+    - script: sudo apt-get install ocaml opam libgmp-dev
+    - script: opam init
+    - script: eval `opam env`; opam install zarith ocamlfind
+    - script: python scripts/mk_make.py --ml
     - script: |
         set -e
         cd build