2014-05-30 23:24:43 +00:00
|
|
|
language: c
|
|
|
|
|
compiler: clang
|
2014-06-08 21:21:58 +00:00
|
|
|
env:
|
|
|
|
|
global:
|
|
|
|
|
secure: "BB9eiRNXC1PfNRLEifc0yQQZnM25zqaWNGVWN+atzT+NkxhVKyVr8+DoyPYaa8tOKybuSZhVkKnIiCd8iGMe3v+WyuHKFuhdiwdnEQhxbBlUCb9dDLEexI+J8QiYwC8AW/t6H9LWVwSka0RI3GJujJ8HKIBzW45I/j+1NlUte8U="
|
2014-05-30 23:24:43 +00:00
|
|
|
before_script:
|
2014-06-27 23:21:09 +00:00
|
|
|
- export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:"/usr/local/lib"
|
2014-06-27 22:57:22 +00:00
|
|
|
- sudo apt-get install -qq libgmp-dev libmpfr-dev doxygen graphviz cmake libcunit1 libcunit1-dev
|
2014-06-08 22:03:29 +00:00
|
|
|
- sudo apt-get remove doxygen
|
2014-05-30 23:50:09 +00:00
|
|
|
- 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-06-08 22:00:47 +00:00
|
|
|
- wget http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.src.tar.gz
|
2014-06-08 22:12:17 +00:00
|
|
|
- tar -xzf doxygen-1.8.7.src.tar.gz
|
2014-06-08 22:00:47 +00:00
|
|
|
- cd doxygen-1.8.7
|
|
|
|
|
- ./configure
|
|
|
|
|
- make
|
|
|
|
|
- sudo make install
|
2014-06-08 23:19:50 +00:00
|
|
|
- cd ..
|
2014-06-22 21:25:40 +00:00
|
|
|
- wget http://dev.gentoo.org/~ryao/dist/lz4-0_p106.tar.xz
|
|
|
|
|
- tar -xJf lz4-0_p106.tar.xz
|
|
|
|
|
- cd lz4-0_p106/cmake
|
|
|
|
|
- cmake -DBUILD_LIBS=ON -DBUILD_SHARED_LIBS=ON .
|
|
|
|
|
- make
|
|
|
|
|
- sudo make install
|
|
|
|
|
- cd ../..
|
2014-05-30 23:24:43 +00:00
|
|
|
script:
|
2014-06-02 19:41:09 +00:00
|
|
|
- make CC=clang
|
2014-06-27 22:54:55 +00:00
|
|
|
- make CC=clang check
|
2014-06-08 21:21:58 +00:00
|
|
|
- make doc
|
|
|
|
|
after_script:
|
|
|
|
|
- ./update-gh-pages.sh
|
