hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 08:51:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix .build_dependencies to test flint 2.5 instead of flint trunk

Browse source
This commit is contained in:
Fredrik Johansson 2017-07-10 17:43:56 +02:00
parent dc6bea8b9c
commit b8b0f47d13
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.build_dependencies
View file

@ -16,9 +16,9 @@ make -j4 > /dev/null 2>&1
make install
cd ..
wget https://github.com/wbhart/flint2/archive/trunk.tar.gz
tar -xf trunk.tar.gz
cd flint2-trunk
wget http://flintlib.org/flint-2.5.2.tar.gz
tar -xf flint-2.5.2.tar.gz
cd flint-2.5.2
./configure --with-gmp=$HOME/deps --with-mpfr=$HOME/deps --prefix=$HOME/deps --disable-static
make -j4 > /dev/null 2>&1
make install