Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
84 lines (74 sloc) 2.27 KB
language: cpp
compiler:
- gcc
# - clang
env:
global:
# The next declaration is the encrypted COVERITY_SCAN_TOKEN, created
# via the "travis encrypt" command using the project repo's public key
- secure: "bCbWf/B++9y5YDn/ugMKVaV+ZmGCNNtxeWiPFfl7D/xwaj3yjy9yILMkqLcmNNc7rMQruEVx371rn+VURcLIFQtCJ+Uqj4vKdx7kSnhe2oNxKBMViAZU04nLSBB9ZNiH6TKvfqm4eUFprQd6AJ6T0GmB//lC1AgKSKNwSUJBMKc="
- secure: "eYyuFa5eNIl/i/hInmCoVZv5pxPrFzLNPIQrMpWZNW6efDsQi/voxLUuTzD6L9HqnUgmLF+kVnGETYUTNMHHaWUqVT8Rhiu10UNBnEmIfZbe/SXKEJsvci0o0KrGgxtKDuCil7tdLF5IEcird/94zocPtCHdH4W8r/NzG0tFtDA="
matrix:
# These are used by .travis-cmake.sh to set a configuration
- STP_CONFIG=STATIC_LIB
- STP_CONFIG=DYNAMIC_LIB
- STP_CONFIG=DYNAMIC_AND_STATIC_LIB
- STP_CONFIG=STATIC_BINARY
- STP_CONFIG=RELEASE
- STP_CONFIG=NO_BOOST
- STP_CONFIG=CPP11
- STP_CONFIG=KLEE
- STP_CONFIG=COVERAGE
- STP_CONFIG=INTREE_BUILD
matrix:
include:
# Covertiy scan should only run once
- os: linux
compiler: gcc
env: COVERITY_SCAN=1 STP_CONFIG=DYNAMIC_LIB
allow_failures:
# Covertiy scan might fail
- env: COVERITY_SCAN=1 STP_CONFIG=DYNAMIC_LIB
addons:
coverity_scan:
project:
name: "stp/stp"
description: "Simple Theorem Prover"
notification_email: soos.mate@gmail.com
build_command_prepend: "cmake .."
build_command: "make"
branch_pattern: coverity_scan
before_install:
- sudo add-apt-repository -y ppa:ubuntu-sdk-team/ppa
- sudo apt-get update
install:
- sudo apt-get install -y
- sudo apt-get install -y cmake git zlib1g-dev
#
# get and install minisat
- mkdir minisat_git && cd minisat_git
- git clone --depth 1 https://github.com/stp/minisat
- cd minisat
- mkdir build && cd build
- cmake ..
- make
- sudo make install
- cd ../../..
#coveralls
- sudo pip install cpp-coveralls
- wget http://ftp.de.debian.org/debian/pool/main/l/lcov/lcov_1.11.orig.tar.gz
- tar xf lcov_1.11.orig.tar.gz
- sudo make -C lcov-1.11/ install
- gem install coveralls-lcov
#
# get LIT from pip
- sudo pip install lit
#
# Initialise our submodules
- git submodule init
- git submodule update
#
#set up build environment
- mkdir -p build
script:
- if [ "$COVERITY_SCAN" != "1" ]; then ./scripts/travis-cmake.sh ; fi
Something went wrong with that request. Please try again.