mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Fixing a chmod issue.

Browse source
This commit is contained in:
Everett Maus 2019-08-08 19:12:05 -07:00
parent b96f0e4b7b
commit 3dc898384f
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
azure-pipelines.yml
View file

@ -58,7 +58,7 @@ jobs:
# cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)' # cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
# runUnitTest: 'True' # runUnitTest: 'True'
msanClang: msanClang:
cmdLine: '$(asanEnv) cmake $(cmakeStdArgs) && ../scripts/build_libcxx_msan.sh' cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
runUnitTest: 'False' # asanEnv doesn't seem to get picked up by unit tests runUnitTest: 'False' # asanEnv doesn't seem to get picked up by unit tests
# gccX86: # gccX86:
# cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)' # cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
@ -68,6 +68,7 @@ jobs:
# runUnitTest: 'False' # runUnitTest: 'False'
steps: steps:
- script: sudo apt-get install ninja-build - script: sudo apt-get install ninja-build
- script: ./scripts/build_libcxx_msan.sh
- script: | - script: |
set -e set -e
mkdir build mkdir build

0
scripts/build_libcxx_msan.sh Normal file → Executable file
View file