From 17c894fa622f6adb2e484b7e0cd6d955db0b6a3b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jun 2019 21:12:49 -0700 Subject: [PATCH] try matrix Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 376785579..9d63b8dd0 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -27,12 +27,20 @@ jobs: displayName: "Ubuntu build - cmake" pool: vmImage: "Ubuntu-16.04" + strategy: + matrix: + debugClang: + cmdLine: 'CC=clang CXX=clang++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -G "Ninja" ../' + releaseClang: + cmdLine: 'CC=clang CXX=clang++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DCMAKE_BUILD_TYPE=Release -G "Ninja" ../' + debugGcc: + cmdLine: 'CC=gcc CXX=g++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -G "Ninja" ../' steps: - script: sudo apt-get install ninja-build - script: | mkdir build cd build - CC=clang CXX=clang++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -G "Ninja" ../ + $(cmdLine) ninja ninja test-z3 ninja c_example