From 9f5dafdd2bdbccdbee3655d8ad62ede2a057d942 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jun 2019 19:07:10 +0200 Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines --- azure-pipelines.yml | 28 +++++++++++++++++----------- 1 file changed, 17 insertions(+), 11 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index ccc57af90..8987d8693 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -1,16 +1,26 @@ jobs: -- job: "LinuxPython" - displayName: "Ubuntu build - python make" +- job: "LinuxPythonDebug" + displayName: "Ubuntu build - python make - debug" pool: vmImage: "Ubuntu-16.04" steps: - - task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - # TBD add steps for building and testing + - script: python scripts/mk_make.py -d + - script: | + cd build + make + - script: git clone https://github.com/z3prover/z3test z3test + - script: python z3test/scripts/test_benchmarks.py build/z3.exe z3test/regressions/smt2 + - script: | + cd build + make cpp_example + cpp_example.exe + make java_example + make dotnet_example + make test-z3 + test-z3 -a + - job: "LinuxCMake" displayName: "Ubuntu build - cmake" @@ -29,10 +39,6 @@ jobs: pool: vmImage: "vs2017-win2016" steps: - - task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - script: scripts\vsts-vs2017.cmd x64