2014-05-30 23:24:43 +00:00
|
|
|
language: c
|
|
|
|
compiler: clang
|
|
|
|
before_script:
|
2014-05-30 23:50:09 +00:00
|
|
|
- sudo apt-get install -qq libgmp-dev libmpfr-dev
|
|
|
|
- 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
|
2014-05-31 00:00:35 +00:00
|
|
|
- sudo make install
|
2014-05-31 00:12:18 +00:00
|
|
|
- cd ..
|
2014-05-30 23:24:43 +00:00
|
|
|
script:
|
2014-06-02 19:41:09 +00:00
|
|
|
- make CC=clang
|