From d7034bde25af83a60f18e964867bed83e1a39466 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 27 Feb 2020 09:39:36 -0800 Subject: [PATCH] create 18 pipeline Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index ebe844d80..24277d32f 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -39,8 +39,8 @@ jobs: vmImage: "Ubuntu-18.04" steps: - script: sudo apt-get install ocaml opam libgmp-dev - - script: opam init - - script: eval `opam env`; opam install zarith ocamlfind + - script: opam init -y + - script: eval `opam env`; opam install zarith ocamlfind -y - script: python scripts/mk_make.py --ml - script: | set -e