.travis.yml

language: cpp

sudo: false

matrix:
  include:
    ############################################################################
    ## Use Ubuntu (trusty) distribution packages.  This is a build without 4ti2.
    ############################################################################
    - os: linux
      env:
      addons:
        apt:
          packages:
           - autoconf
           - automake
           - libtool
           - libgmp-dev
           - libntl-dev
           - libcdd-dev
           - libcdd-test
      before_script:
       - DISTRO_DEST=/no-distro
       - PATH="/usr/lib/cdd-test:$PATH"; export PATH

    ##################################################
    ## Linux, use distro, build with NTL range checks.
    ##################################################
    - os: linux
      env:
       - LATTE_DISTRO=https://github.com/latte-int/latte-distro.git
      addons:
        apt:
          packages:
           - autoconf
           - automake
           - libtool
      install:
       - DISTRO_DEST="$HOME/latte-distro/dest-shared"
       - DISTRO_BUILD="$HOME/latte-distro/build-shared"
       - (cd $HOME && if [ -d latte-distro/.git ]; then ( cd latte-distro && git pull ); else git clone $LATTE_DISTRO; fi )
       - (cd $HOME/latte-distro && autoreconf -fi)
       - (mkdir -p "$DISTRO_BUILD" && cd "$DISTRO_BUILD" && ../configure --srcdir=.. --disable-latte --enable-shared --prefix="$DISTRO_DEST" NTL_RANGE_CHECK=on && make -j2 V=0)
       - export PATH="$DISTRO_DEST/bin:$PATH"
      deploy:
        - provider: script
          skip_cleanup: true
          on:
            tags: true
            condition: $TRAVIS_TAG =~ ^version_
          script: bash .travis-deploy-to-latte-distro.sh

    ##############################################################################################
    ## Linux, use distro, no LiDIA, force recent gcc with C++11, full NTL 11 C++11 move semantics.
    ##############################################################################################
    - os: linux
      env:
       - MATRIX_EVAL="CC=gcc-7 && CXX='g++-7 -std=c++11'"
         LATTE_DISTRO=https://github.com/latte-int/latte-distro.git
      addons:
        apt:
          sources:
            - ubuntu-toolchain-r-test
          packages:
            - g++-7
      install:
       - DISTRO_BUILD="$HOME/latte-distro/build-shared-c++11"
       - DISTRO_DEST="$DISTRO_BUILD/dest"
       - (cd $HOME && if [ -d latte-distro/.git ]; then ( cd latte-distro && git pull ); else git clone $LATTE_DISTRO; fi )
       - (cd $HOME/latte-distro && autoreconf -fi)
       - (mkdir -p "$DISTRO_BUILD" && cd "$DISTRO_BUILD" && ../configure --srcdir=.. --disable-latte --disable-lidia --enable-shared --prefix="$DISTRO_DEST" NTL_STD_CXX11=on NTL_THREADS=on NTL_SAFE_VECTORS=on NTL_DISABLE_MOVE_ASSIGN=off && make -j2 V=0)
       - export PATH="$DISTRO_DEST/bin:$PATH"

    ##################################################
    ## macOS, use distro.
    ##################################################
    - os: osx
      compiler: clang
      env:
       - LATTE_DISTRO=https://github.com/latte-int/latte-distro.git
      install:
       - DISTRO_DEST="$HOME/latte-distro/dest-shared"
       - DISTRO_BUILD="$HOME/latte-distro/build-shared"
       - (cd $HOME && if [ -d latte-distro/.git ]; then ( cd latte-distro && git pull ); else git clone $LATTE_DISTRO; fi )
       - (cd $HOME/latte-distro && autoreconf -fi)
       - (mkdir -p "$DISTRO_BUILD" && cd "$DISTRO_BUILD" && ../configure --srcdir=.. --disable-latte --enable-shared --prefix="$DISTRO_DEST" && make -j2 V=0)
       - export PATH="$DISTRO_DEST/bin:$PATH"

before_install:
 - eval "${MATRIX_EVAL}"

script:
 - autoreconf -fi && ./configure --with-default="$DISTRO_DEST" && make -j2 -k DISTCHECK_CONFIGURE_FLAGS=--with-default="$DISTRO_DEST" distcheck

after_failure:
  - ./.travis-print-logs.sh

cache:
  directories:
  - "$HOME/latte-distro"