<commit_before>language: cpp

compiler:
- clang
- gcc

os:
- linux
- osx

dist: trusty

osx_image: xcode7.2

cache:
  directories:
    - $HOME/ltsmin-deps

matrix:
  exclude:
    # This one I am excluding, because we test clang on OSX.
    - compiler: clang
      os: linux
    # This one I am excluding, because xcode and gcc seem to clash big time on everything.
    # Feel free to do a pull request that fixes this :)
    # Anyways, gcc is tested on linux.
    - compiler: gcc
      os: osx

env: 
  - CZMQ_VERSION="3.0.2"
    CZMQ_URL="https://github.com/zeromq/czmq/archive/v$CZMQ_VERSION.tar.gz"
    PROB_NAME_LINUX="ProB.linux64.tar.gz"
    PROB_URL_LINUX="http://nightly.cobra.cs.uni-duesseldorf.de/ltsmin/$PROB_NAME_LINUX"
    PROB_NAME_OSX="ProB.mac_os.10.7.5.x86_64.tar.gz"
    PROB_URL_OSX="http://nightly.cobra.cs.uni-duesseldorf.de/ltsmin/$PROB_NAME_OSX"
    DIVINE_VERSION="1.2"
    DIVINE_COMPILER="gcc-4.9"
    DIVINE_NAME="divine2-ltsmin-$DIVINE_VERSION-$TRAVIS_OS_NAME-$DIVINE_COMPILER.tgz"
    DIVINE_URL="https://github.com/utwente-fmt/divine2/releases/download/$DIVINE_VERSION/$DIVINE_NAME"
    MCRL2_REV="13391"
    MCRL2_SVN="https://svn.win.tue.nl/repos/MCRL2/trunk"
    MCRL2_OSX_FILE="mcrl2-201409.1_x86_64"
    MCRL2_OSX_URL="http://www.mcrl2.org/download/release/$MCRL2_OSX_FILE.dmg"
    MCRL2_OSX_VER="mcrl2-201409.1.13218_x86_64"
    VIENNACL_NAME="ViennaCL-1.7.1"
    VIENNACL_URL="http://netcologne.dl.sourceforge.net/project/viennacl/1.7.x/$VIENNACL_NAME.tar.gz"
    WITH_MCRL2="yes"
    WITH_PROB="yes"
    GHCVER="7.10.3"
    HAPPYVER="1.19.5"
    ZMQ_VERSION="4.1.5"
    ZMQ_NAME="zeromq-$ZMQ_VERSION"
    ZMQ_URL="https://github.com/zeromq/zeromq4-1/releases/download/v$ZMQ_VERSION/$ZMQ_NAME.tar.gz"

addons:
  apt:
    sources:
      - ubuntu-toolchain-r-test # for gcc 4.9
      - kubuntu-backports       # for cmake 2.8.12
      - boost-latest            # for boost > 1.46
      - hvr-ghc                 # for GHC dynamic packages
    packages:
      - gcc-4.9
      - g++-4.9
      - cmake
      - libyaml-dev
      - libpopt-dev
      - asciidoc
      - xmlto
      - doxygen
      - libboost1.55-dev
      - ghc-7.10.3
      - ghc-7.10.3-dyn
      - happy-1.19.5
      - libnuma-dev
      - liblzma-dev
      
before_install:
  - if [ "$TRAVIS_OS_NAME" = "linux" ]; 
    then export PATH=/opt/ghc/$GHCVER/bin:/opt/happy/$HAPPYVER/bin:$PATH; fi

install:  
  # update brew
  - if [ "$TRAVIS_OS_NAME" = "osx" ]; then brew update && brew install
    asciidoc
    xmlto
    viennacl
    cmake
    ant
    ghc
    cabal-install
    popt && 
    export XML_CATALOG_FILES=/usr/local/etc/xml/catalog; fi
   
  # for building mCRL2:  
  - if [ "$TRAVIS_OS_NAME" = "linux" ]; then pip install --user pyyaml psutil; fi
  
  - if [ "$TRAVIS_OS_NAME" = "osx" ]; then<commit_msg>Fix build issue on OSX.<commit_after>language: cpp

compiler:
- clang
- gcc

os:
- linux
- osx

dist: trusty

osx_image: xcode7.2

cache:
  directories:
    - $HOME/ltsmin-deps

matrix:
  exclude:
    # This one I am excluding, because we test clang on OSX.
    - compiler: clang
      os: linux
    # This one I am excluding, because xcode and gcc seem to clash big time on everything.
    # Feel free to do a pull request that fixes this :)
    # Anyways, gcc is tested on linux.
    - compiler: gcc
      os: osx

env: 
  - CZMQ_VERSION="3.0.2"
    CZMQ_URL="https://github.com/zeromq/czmq/archive/v$CZMQ_VERSION.tar.gz"
    PROB_NAME_LINUX="ProB.linux64.tar.gz"
    PROB_URL_LINUX="http://nightly.cobra.cs.uni-duesseldorf.de/ltsmin/$PROB_NAME_LINUX"
    PROB_NAME_OSX="ProB.mac_os.10.7.5.x86_64.tar.gz"
    PROB_URL_OSX="http://nightly.cobra.cs.uni-duesseldorf.de/ltsmin/$PROB_NAME_OSX"
    DIVINE_VERSION="1.2"
    DIVINE_COMPILER="gcc-4.9"
    DIVINE_NAME="divine2-ltsmin-$DIVINE_VERSION-$TRAVIS_OS_NAME-$DIVINE_COMPILER.tgz"
    DIVINE_URL="https://github.com/utwente-fmt/divine2/releases/download/$DIVINE_VERSION/$DIVINE_NAME"
    MCRL2_REV="13391"
    MCRL2_SVN="https://svn.win.tue.nl/repos/MCRL2/trunk"
    MCRL2_OSX_FILE="mcrl2-201409.1_x86_64"
    MCRL2_OSX_URL="http://www.mcrl2.org/download/release/$MCRL2_OSX_FILE.dmg"
    MCRL2_OSX_VER="mcrl2-201409.1.13218_x86_64"
    VIENNACL_NAME="ViennaCL-1.7.1"
    VIENNACL_URL="http://netcologne.dl.sourceforge.net/project/viennacl/1.7.x/$VIENNACL_NAME.tar.gz"
    WITH_MCRL2="yes"
    WITH_PROB="yes"
    GHCVER="7.10.3"
    HAPPYVER="1.19.5"
    ZMQ_VERSION="4.1.5"
    ZMQ_NAME="zeromq-$ZMQ_VERSION"
    ZMQ_URL="https://github.com/zeromq/zeromq4-1/releases/download/v$ZMQ_VERSION/$ZMQ_NAME.tar.gz"

addons:
  apt:
    sources:
      - ubuntu-toolchain-r-test # for gcc 4.9
      - kubuntu-backports       # for cmake 2.8.12
      - boost-latest            # for boost > 1.46
      - hvr-ghc                 # for GHC dynamic packages
    packages:
      - gcc-4.9
      - g++-4.9
      - cmake
      - libyaml-dev
      - libpopt-dev
      - asciidoc
      - xmlto
      - doxygen
      - libboost1.55-dev
      - ghc-7.10.3
      - ghc-7.10.3-dyn
      - happy-1.19.5
      - libnuma-dev
      - liblzma-dev
      
before_install:
  - if [ "$TRAVIS_OS_NAME" = "linux" ]; 
    then export PATH=/opt/ghc/$GHCVER/bin:/opt/happy/$HAPPYVER/bin:$PATH; fi

install:  
  # update brew
  - if [ "$TRAVIS_OS_NAME" = "osx" ]; then brew update && 
    brew uninstall libtool && 
    brew install
    asciidoc
    xmlto
    viennacl
    cmake
    ant
    ghc
    cabal-install
    popt
    libtool &&
    export XML_CATALOG_FILES=/usr/local/etc/xml/catalog; fi
   
  # for building mCRL2:  
  - if [ "$TRAVIS_OS_NAME" = "linux" ]; then pip install --user pyyaml psutil; fi
  
  - if [ "$TRAVIS_OS_NAME" = "osx" ]; then
{'fraction_non_alphanumeric': 0.1347068145800317, 'fraction_numerical': 0.03909138932910724, 'mean_word_length': 2.514851485148515, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 8, 'lorem ipsum': 0, 'www.': 2, 'xml': 6}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4060635', 'n_tokens_mistral': 2583, 'n_tokens_neox': 2421, 'n_words': 357}