.travis.yml

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="

  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

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 ../../..
#
# get LIT from pip
  - sudo pip install lit
#
# Initialise our submodules
  - git submodule init
  - git submodule update
#
#set up build environment
  - mkdir build && cd build

script:
  - ../scripts/travis-cmake.sh ../
  - make VERBOSE=1
  - make check
  - cd ../..

# Build example project. We assume that the build installed itself to the CMake
  #- mkdir simple_example
  #- cd simple_example
  #- cmake -G "Unix Makefiles" -DUSE_STP_SHARED_LIBRARY=$( test -f ../stp/lib/libstp.so && echo ON || echo OFF) ../../examples/simple
  #- make VERBOSE=1
  #- ./stp-example

#
# get fuzzsmt
  - sudo apt-get install -y default-jre
  - git clone --depth 1 https://github.com/msoos/fuzzsmt.git
#
#lingeling
  - git clone https://github.com/msoos/lingeling-ala lingeling
  - cd lingeling
  - ./configure
  - make
  - sudo cp lingeling /usr/bin/
  - cd ..
#
# get boolector
  - git clone --depth 1 https://github.com/msoos/boolector-1.5.118.git
  - cd boolector-1.5.118
  - ./configure
  - make
  - sudo cp boolector /usr/bin/
  - cd ..
#
#fuzz
  - cd stp/scripts/
  - if [ "$STP_CONFIG" != "NO_BOOST" ]; then ./fuzz_test.py -n 20 --novalgrind; fi