2016-04-01 10:29:09 +05:30
|
|
|
#! /bin/sh
|
|
|
|
|
|
|
|
|
|
wget http://mpir.org/mpir-2.7.0.tar.bz2
|
|
|
|
|
tar -xf mpir-2.7.0.tar.bz2
|
|
|
|
|
cd mpir-2.7.0
|
2016-04-19 01:03:55 +02:00
|
|
|
./configure --enable-gmpcompat --prefix=$HOME/deps --disable-static
|
2016-04-01 10:29:09 +05:30
|
|
|
make -j4 > /dev/null 2>&1
|
|
|
|
|
make install
|
|
|
|
|
cd ..
|
|
|
|
|
|
2016-10-09 00:10:56 +02:00
|
|
|
wget http://www.mpfr.org/mpfr-3.1.4/mpfr-3.1.4.tar.bz2
|
|
|
|
|
tar -xf mpfr-3.1.4.tar.bz2
|
|
|
|
|
cd mpfr-3.1.4
|
2016-04-19 01:03:55 +02:00
|
|
|
./configure --with-gmp=$HOME/deps --prefix=$HOME/deps --disable-static
|
2016-04-01 10:29:09 +05:30
|
|
|
make -j4 > /dev/null 2>&1
|
|
|
|
|
make install
|
|
|
|
|
cd ..
|
|
|
|
|
|
2017-07-10 17:43:56 +02:00
|
|
|
wget http://flintlib.org/flint-2.5.2.tar.gz
|
|
|
|
|
tar -xf flint-2.5.2.tar.gz
|
|
|
|
|
cd flint-2.5.2
|
2016-04-19 01:03:55 +02:00
|
|
|
./configure --with-gmp=$HOME/deps --with-mpfr=$HOME/deps --prefix=$HOME/deps --disable-static
|
2016-04-01 10:29:09 +05:30
|
|
|
make -j4 > /dev/null 2>&1
|
|
|
|
|
make install
|
|
|
|
|
cd ..
|
|
|
|
|
|
