You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 

37 lines
1.2 KiB

  1. language: c
  2. compiler: clang
  3. env:
  4. global:
  5. secure: "BB9eiRNXC1PfNRLEifc0yQQZnM25zqaWNGVWN+atzT+NkxhVKyVr8+DoyPYaa8tOKybuSZhVkKnIiCd8iGMe3v+WyuHKFuhdiwdnEQhxbBlUCb9dDLEexI+J8QiYwC8AW/t6H9LWVwSka0RI3GJujJ8HKIBzW45I/j+1NlUte8U="
  6. before_script:
  7. - export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:"/usr/local/lib"
  8. - sudo apt-get install -qq libgmp-dev libmpfr-dev doxygen graphviz cmake libcunit1 libcunit1-dev
  9. - sudo apt-get remove doxygen
  10. - wget http://www.flintlib.org/flint-2.4.3.tar.gz
  11. - tar -xzf flint-2.4.3.tar.gz
  12. - cd flint-2.4.3
  13. - ./configure --prefix=/usr --with-gmp=/usr --with-mpfr=/usr CC=gcc CXX=g++
  14. - make
  15. - sudo make install
  16. - cd ..
  17. - wget http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.src.tar.gz
  18. - tar -xzf doxygen-1.8.7.src.tar.gz
  19. - cd doxygen-1.8.7
  20. - ./configure
  21. - make
  22. - sudo make install
  23. - cd ..
  24. - wget http://dev.gentoo.org/~ryao/dist/lz4-0_p106.tar.xz
  25. - tar -xJf lz4-0_p106.tar.xz
  26. - cd lz4-0_p106/cmake
  27. - cmake -DBUILD_LIBS=ON -DBUILD_SHARED_LIBS=ON .
  28. - make
  29. - sudo make install
  30. - cd ../..
  31. script:
  32. - make CC=clang
  33. - make CC=clang check
  34. - make doc
  35. after_script:
  36. - ./update-gh-pages.sh