# Filename: travis.yml

language: cpp

sudo: required
dist: trusty

compiler:
    - clang
    - gcc

env:
    - CMSAT_TAG="4.5.3" GTEST_TAG="release-1.7.0"

install:
    - sudo apt-get update --fix-missing
    - sudo apt-get install -y lcov libboost-dev
    - pushd third_party/cryptominisat
    - git checkout $CMSAT_TAG
    - cmake .
    - make
    - popd
    - pushd third_party/googletest
    - git checkout $GTEST_TAG
    - cmake .
    - make
    - popd

script:
    - if [[ $CC == "gcc" ]]; then make do_covall; else make test; fi

# Filename: travis.yml

language: cpp

sudo: required
dist: trusty

compiler:
    - clang
    - gcc

env:
    - CMSAT_TAG="4.5.3" GTEST_TAG="release-1.7.0"

install:
    - sudo apt-get update --fix-missing
    - sudo apt-get install -y lcov libboost-dev
    - pushd third_party/cryptominisat
    - git checkout $CMSAT_TAG
    - cmake .
    - make
    - popd
    - pushd third_party/googletest
    - git checkout $GTEST_TAG
    - cmake .
    - make
    - popd

script:
    - make test

Revert back to 'make test' target for Travis
Revert back to 'make test' target for Travis

The do_covall target is giving me too many tool-related problems.
Re-address coverage minimum requirements later.
