From b7e14b1a080a7c4dec2ef98d38e76b5f734de02c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 27 Feb 2020 09:37:00 -0800 Subject: [PATCH] create 18 pipeline Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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