From 304f3d632766a445b9e2fb9dd617b2c2cfd50fb2 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 12 Nov 2015 06:58:40 -0800 Subject: [PATCH] Updating the contrib/new-theory script and travis to use the new Makefile.theories script. --- .travis.yml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) 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 -- 2.30.2