TRAVIS: we forgot sudo
This commit is contained in:
parent
5e09136146
commit
b735bcd32d
@ -5,7 +5,7 @@ env:
|
|||||||
secure: "BB9eiRNXC1PfNRLEifc0yQQZnM25zqaWNGVWN+atzT+NkxhVKyVr8+DoyPYaa8tOKybuSZhVkKnIiCd8iGMe3v+WyuHKFuhdiwdnEQhxbBlUCb9dDLEexI+J8QiYwC8AW/t6H9LWVwSka0RI3GJujJ8HKIBzW45I/j+1NlUte8U="
|
secure: "BB9eiRNXC1PfNRLEifc0yQQZnM25zqaWNGVWN+atzT+NkxhVKyVr8+DoyPYaa8tOKybuSZhVkKnIiCd8iGMe3v+WyuHKFuhdiwdnEQhxbBlUCb9dDLEexI+J8QiYwC8AW/t6H9LWVwSka0RI3GJujJ8HKIBzW45I/j+1NlUte8U="
|
||||||
before_script:
|
before_script:
|
||||||
- sudo apt-get install -qq libgmp-dev libmpfr-dev doxygen graphviz
|
- sudo apt-get install -qq libgmp-dev libmpfr-dev doxygen graphviz
|
||||||
- apt-get remove doxygen
|
- sudo apt-get remove doxygen
|
||||||
- wget http://www.flintlib.org/flint-2.4.3.tar.gz
|
- wget http://www.flintlib.org/flint-2.4.3.tar.gz
|
||||||
- tar -xzf flint-2.4.3.tar.gz
|
- tar -xzf flint-2.4.3.tar.gz
|
||||||
- cd flint-2.4.3
|
- cd flint-2.4.3
|
||||||
|
Loading…
Reference in New Issue
Block a user