max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(azure-pipelines): Ensure build is with LLVM

Browse source
This commit is contained in:
Joe Hendrix 2019-07-30 09:08:04 -07:00 • committed by Leonardo de Moura
parent a113832342
commit e5d3a40d82
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
azure-pipelines.yml
View file

@ -23,6 +23,7 @@ jobs:
displayName: Setup
- script: |
. ~/.nix-profile/etc/profile.d/nix.sh
export CMAKE_OPTIONS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++"
nix-shell --run ./script/ci.sh
displayName: Build
- task: PublishTestResults@2
@ -39,12 +40,12 @@ jobs:
steps:
- script: |
choco install -y msys2
C:\tools\msys64\usr\bin\bash -lc "pacman --noconfirm -S make python mingw-w64-x86_64-cmake mingw-w64-x86_64-gcc mingw-w64-x86_64-clang mingw-w64-x86_64-polly git diffutils"
C:\tools\msys64\usr\bin\bash -lc "pacman --noconfirm -S make python mingw-w64-x86_64-cmake mingw-w64-x86_64-clang mingw-w64-x86_64-polly git diffutils"
displayName: Setup
- script: |
C:\tools\msys64\usr\bin\bash -l ./script/ci.sh
env:
CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -G "Unix Makefiles"
CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -G "Unix Makefiles" -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++
# use mingw64 shell
MSYSTEM: MINGW64
# don't let bash reset cwd

2
script/ci.sh
View file

@ -2,7 +2,7 @@
set -e
mkdir build
cd build
eval cmake ../src -DLLVM=ON $CMAKE_OPTIONS
eval cmake ../src $CMAKE_OPTIONS
cmake --build .
# -T to create .xml file
ctest -j8 --output-on-failure --no-compress-output -T Test