JMCR-Stable/.travis.yml

   1 sudo: required
   2
   3 language: java
   4
   5 jdk:
   6   - oraclejdk8
   7
   8 before_install:
   9   - mkdir -p ~/.local/bin
  10   - mkdir -p ~/.local/lib
  11   - export PATH=~/.local/bin:$PATH
  12   - export LD_LIBRARY_PATH=~/.local/lib:$LD_LIBRARY_PATH
  13   - ./scripts/install-z3.sh
  14
  15 script:
  16   - cd mcr-test
  17   - ant
  18