From 81dc206d23ef5732749260512a2e87450dc20564 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sat, 31 May 2014 01:50:09 +0200
Subject: [PATCH] TRAVIS: try to fix travis build

---
 .travis.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 28af2fd..d988e5d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,13 @@
 language: c
 compiler: clang
 before_script:
-    - sudo apt-get install -qq libflint-dev
+    - sudo apt-get install -qq libgmp-dev libmpfr-dev
+    - mkdir flint
+    - wget http://www.flintlib.org/flint-2.4.3.tar.gz
+    - tar -xzf flint-2.4.3.tar.gz
+    - cd flint-2.4.3
+    - ./configure --prefix=/usr --with-gmp=/usr --with-mpfr=/usr CC=gcc CXX=g++
+    - make
+    - make install
 script:
     - make