...
 
Commits (2)
# common configuration parts
.common: &common
before_script:
- rm -rf .git # ups
tags:
- shared-fi
.debian: &debian
image: cxx:latest
script:
- apt-get update >& apt.log
- make prerequisites >& prerequisites.log
- make toolchain >& toolchain.log
- make CMAKE_EXTRA="-DOPT_Z3=OFF" >& build.log
- make unit >& unit.log
- make functional >& functional.log
artifacts:
paths:
- "*.log"
expire_in: 1 month
when: always
# actual builds
build_clang:
<<: *common
<<: *debian
variables:
CC: "clang"
CXX: "clang++"
build_gcc:
<<: *common
<<: *debian
variables:
CC: "gcc"
CXX: "g++"
16fe0aed19f0f90fde515b29e047f8646fbb6a97 8ab4ed728c0501c33689859bf5507fc2b553ee24
5bfb423e2727065dd692bc26b755925232bcf131 85d8434227dfb9aaccf71e439199ed69ae8223fb