TRAVIS: try to fix travis build again

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

View File

@ -2,12 +2,11 @@ language: c
compiler: clang
before_script:
- 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
- sudo make install
script:
- make