TRAVIS: try to fix travis build

This commit is contained in:
hasufell 2014-05-31 01:50:09 +02:00
parent a79fb49cdf
commit 81dc206d23
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -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