From 58414ca6df7d14ce8c07f4c2cb06e78c27d8e217 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 27 Feb 2020 09:51:21 -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 875fe274c..724d29d6f 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -40,12 +40,12 @@ jobs: steps: - script: sudo apt-get install ocaml opam libgmp-dev - script: opam init -y - - script: eval `opam env`; opam install zarith ocamlfind -y + - script: eval `opam config env`; opam install zarith ocamlfind -y - script: python scripts/mk_make.py --ml - script: | set -e cd build - eval `opam env` + eval `opam config env` make -j3 make -j3 examples make -j3 test-z3