From 37ae0fe7d40548d92d35c3c9509b0b2198f6f465 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Jun 2019 10:07:01 -0700
Subject: [PATCH] fix parameters
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
azure-pipelines.yml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 6bb2bba65..530bc6ee4 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -1,7 +1,7 @@
variables:
cmakeStdArgs: '-DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "Ninja" ../'
- asanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=address -fno-omit-frame-pointer" {CFLAGS} -fsanitize=address -fno-omit-frame-pointer"'
+ asanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=address -fno-omit-frame-pointer" CFLAGS="${CFLAGS} -fsanitize=address -fno-omit-frame-pointer"'
ubsanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=undefined" CFLAGS="${CFLAGS} -fsanitize=undefined"'
jobs:
@@ -46,9 +46,9 @@ jobs:
debugGcc:
cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
runUnitTest: 'True'
- gccX86:
- cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
- runUnitTest: 'True'
+# gccX86:
+# cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
+# runUnitTest: 'True'
asan:
cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
runUnitTest: 'False'
@@ -121,7 +121,7 @@ jobs:
- script: |
mkdir build
cd build
- CC=clang CXX=clang++ $(cmakeStdArgs)
+ CC=clang CXX=clang++ cmake $(cmakeStdArgs)
ninja
ninja test-z3
ninja c_example