.travis.yml

language: cpp
cache: apt
env:
  matrix:
     - UBUNTU_DIST=xenial
       BUILD_TYPE=Release
       EXTERNAL_DOMAIN_LIB=apron
     - UBUNTU_DIST=bionic
       BUILD_TYPE=Release
       EXTERNAL_DOMAIN_LIB=apron
     # - UBUNTU_DIST=bionic
     #   BUILD_TYPE=Coverage
     #   EXTERNAL_DOMAIN_LIB=apron              
     - UBUNTU_DIST=bionic
       BUILD_TYPE=Release
       EXTERNAL_DOMAIN_LIB=elina
       
services:
  - docker

install: true

script:
  - docker build --build-arg BRANCH=$TRAVIS_BRANCH --build-arg UBUNTU=${UBUNTU_DIST} --build-arg BUILD_TYPE=${BUILD_TYPE} -t seahorn/crab_${EXTERNAL_DOMAIN_LIB}:${UBUNTU_DIST} -f docker/crab.${EXTERNAL_DOMAIN_LIB}.Dockerfile .
     
  - 'if [ "$TRAVIS_EVENT_TYPE" = "cron" ] ; then 
        echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
          && docker push seahorn/crab_${EXTERNAL_DOMAIN_LIB}:${UBUNTU_DIST};	  	  
     fi '
     
  - 'if [ "$BUILD_TYPE" = "Coverage" ] ; then 
        docker run  -v $(pwd):/host -it seahorn/crab_${EXTERNAL_DOMAIN_LIB}:${UBUNTU_DIST} /bin/sh -c "bash /crab/tests/run_coverage.sh /crab/build /crab && mv /crab/build/all.info /host" && bash <(curl -s https://codecov.io/bash) -Z -f all.info;
     fi '
   
  
notifications:
  email:
    recipients:
     - navasjorgea@gmail.com
    on_success: always
    on_failure: always