| dist: xenial |
| |
| language: c |
| |
| compiler: |
| - clang |
| - gcc |
| |
| env: |
| global: |
| - CODECOV_TOKEN="040ce7eb-5bc7-4040-8324-364f3ef4baa3" |
| matrix: |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=64" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=64" |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=64" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=64" |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=32" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=32" |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=32" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=32" |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=16" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=1 CFLAGS="-coverage -DBC_LONG_BIT=16" |
| - CONFIGURE_ARGS=-HNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=16" |
| - CONFIGURE_ARGS=-EHNSOg GEN_HOST=0 CFLAGS="-coverage -DBC_LONG_BIT=16" |
| |
| before_install: |
| - sudo apt-get install -y dc |
| - pip install --user codecov |
| |
| after_success: |
| - bash <(curl -s https://codecov.io/bash) |
| |
| script: if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then ./configure.sh "$CONFIGURE_ARGS" && make -j4 && make -j4 test ; fi |