From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 15 Jun 2014 06:05:17 +0000 (-0400)
Subject: fix travis config
X-Git-Tag: cvc5-1.0.0~6808
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=58619d7bca2f9b00c2e7791af0690b15167afdc2;p=cvc5.git

fix travis config
---

diff --git a/.travis.yml b/.travis.yml
index 764e12f41..18204d3c6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,7 +13,8 @@ before_install:
 # dhart/ppa is for cxxtest package, which doesn't appear officially until quantal
  - 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 cxxtest openjdk-7-jdk
+ - 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 --force-yes cxxtest
 before_script:
  - export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
  - export PATH=$PATH:$JAVA_HOME/bin