.travis.yml

 sudo: required
 dist: trusty
 language: java
 jdk: openjdk11
 install: true

 env:
  global:
   - DISPLAY=:99.0
   - MAVEN_OPTS="-Xmx4g"

 before_install:
  # Check and free memory.
  - sudo service --status-all
  - sudo free -m -t
  - sudo /etc/init.d/atd stop
  - sudo /etc/init.d/cron stop
  - sudo /etc/init.d/friendly-recovery stop
  - sudo /etc/init.d/ssh stop
  - sudo /etc/init.d/sshguard stop
  - sudo /etc/init.d/haveged stop
  - sudo /etc/init.d/docker stop
  - sudo /etc/init.d/memcached stop
  - sudo /etc/init.d/postgresql stop
  - sudo free -m -t
  # Turn OOM killer off to stop it from killing JUnit tests.
  - sudo sysctl vm.overcommit_memory=2
  # Unset funny _JAVA_OPTIONS which breaks our tests
  - unset _JAVA_OPTIONS

## Disable instable UI tests for now. It means we won't need maven and can run ant directly.
#  # Install Window Manager.
#  - sudo apt-get install --no-install-recommends metacity libwebkit-dev
#  # Start X & Window Manager.
#  - sh -e /etc/init.d/xvfb start
#  - sleep 5 # Give xvfb some time to start.
#  - metacity --sm-disable --replace &
# script:
#  - mvn -B -V --settings .travis-settings.xml -Dmaven.test.halt=true verify

 script:
  - ant -f tlatools/org.lamport.tlatools/customBuild.xml -Dmaven.test.halt=true compile compile-test dist test-dist

 after_failure:
  - dmesg
  - grep -r --include=TEST-*.xml -h -A9999 -B9999 -E '<error|<failure' ./