.travis.yml

language: java
jdk: oraclejdk8
sudo: required
env:
before_install:
  - OCAML_VERSION=4.07.0
  - sudo apt-get update
# Installing graphviz
  - sudo apt-get install graphviz
# Downloading and installing OPAM and OCaml
  - wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
  - opam switch $OCAML_VERSION
  - eval `opam config env`
# Installing OCaml dependencies
  - opam install --yes ocamlfind xml-light ocamlbuild
# Installing Python dependencies
  - sudo easy_install progressbar
  - sudo easy_install subprocess32
  - export OS=amd64-linux
  - export JAVA_HEAP_SIZE=3g
install:
  - make install
script:
  - ./runtests tests.sh
notifications:
  slack:
    secure: MRoPSn7gMcpSuG/l5/ZQuYU3nLLv7YCvmo+mk5OMCTtfPQLIF+jUkCHN31fp+rVX6cc8u8YELoXH1JImErCp+FBTmnozEy9dtvJLdsQp5PSq7h5zDYdUQ68W9E4toyw/wl10//4j5rBjReZN8tjlMRjzGrdNsDTxBgxwFQihJedJZS2qpKsEq2v15PDldOwNv1XyvvdnW7i8bv8Vwz3PWvtYVR4aYvdy6V4YyuzO0dA/W+DlAPNNRjpw5wRtvdSBHkQ6k0wI0c315zSFX0QypLBQUKdrps658EA8ISLFr/RqcTxLUnmqj47hz8hJrAuUhf/f8IfhE8L7AZZuX31sFmburZVXAMyZ65IzL8eJ4ForcsorupH4K3wkvR1utQERUSC5Whe8oKAYgT8h+L37Cl5TnLxKXxsznSLhRCFDUcHtvhCMjnLMLgOIGexjuJsboh5/hVAPaxXjDIqjwDZwrC5ZjoSFqEcXLTMW1CfacHNoL+aYqYJ9o2ibQuPf+v/LHnQypJrN/O9ldO1LyFXBhThprgEfpsX3C6IggAL8uDHC2U3ltYoRazluKgHvrFNuvakv4HoEgqKvpLAaEL+WyN+lRiGxq7dNd2k5G8EG0VeHtrU4FjPcbLRNAy657lfymKuijfDzqRoWMwtWQXQFYLbK6Rhjcv4503I1DWA3Sww=