mirror of
https://github.com/Z3Prover/z3
synced 2026-03-16 10:10:02 +00:00
15 lines
No EOL
514 B
Bash
15 lines
No EOL
514 B
Bash
#!/bin/sh
|
|
|
|
cd ..
|
|
mkdir libcxx
|
|
cd libcxx
|
|
# Checkout LLVM, libc++ and libc++abi
|
|
svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm
|
|
(cd llvm/projects && svn co http://llvm.org/svn/llvm-project/libcxx/trunk libcxx)
|
|
(cd llvm/projects && svn co http://llvm.org/svn/llvm-project/libcxxabi/trunk libcxxabi)
|
|
|
|
# Build libc++ with MSan:
|
|
mkdir libcxx_msan && cd libcxx_msan
|
|
cmake ../llvm -DCMAKE_BUILD_TYPE=Release -DLLVM_USE_SANITIZER=Memory -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++
|
|
make cxx -j4
|
|
cd ../build |