From: Tim King <taking@google.com>
Date: Thu, 12 Nov 2015 14:58:40 +0000 (-0800)
Subject: Updating the contrib/new-theory script and travis to use the new Makefile.theories... 
X-Git-Tag: cvc5-1.0.0~6168
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=304f3d632766a445b9e2fb9dd617b2c2cfd50fb2;p=cvc5.git

Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
---

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