diff options
author | Tim King <taking@google.com> | 2015-11-12 06:58:40 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-11-12 06:58:40 -0800 |
commit | 304f3d632766a445b9e2fb9dd617b2c2cfd50fb2 (patch) | |
tree | 8f7c6c827335119f74f28b15cf7b2a332d878622 /.travis.yml | |
parent | 304e0f3eb0fac012a3aac9ec02918f1e4616bde7 (diff) |
Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index f3d680374..b11e815a2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,11 +9,23 @@ env: - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes - TRAVIS_LFSC=yes - TRAVIS_LFSC=yes TRAVIS_LFSC_DISTCHECK=yes +addons: + apt: + sources: + - ubuntu-toolchain-r-test + packages: + - libgmp-dev + - libboost-dev + - libboost-thread-dev + - swig + - libcln-dev + - openjdk-7-jdk before_install: # dhart/ppa is for cxxtest package, which doesn't appear officially until quantal +# - travis_retry sudo apt-get install -qq libgmp-dev antlr3 libantlr3c-dev libboost-dev libboost-thread-dev swig2.0 libcln-dev openjdk-7-jdk - travis_retry sudo apt-add-repository -y ppa:dhart/ppa - travis_retry sudo apt-get update -qq - - travis_retry sudo apt-get install -qq libgmp-dev antlr3 libantlr3c-dev libboost-dev libboost-thread-dev swig2.0 libcln-dev openjdk-7-jdk + - travis_retry sudo apt-get install -qq antlr3 libantlr3c-dev - travis_retry sudo apt-get install -qq --force-yes cxxtest before_script: - export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64 |