This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
lsts_glued/packages/mpfr/host.bash

44 lines
476 B
Bash
Raw Normal View History

2013-07-13 17:19:22 +01:00
version=\
(
'3.1.2'
)
url=\
(
"http://www.mpfr.org/mpfr-current/mpfr-$version.tar.bz2"
)
md5=\
(
"ee2c3ac63bf0c2359bf08fc3ee094c19"
)
maintainer=\
(
"Ricardo Martins <rasm@fe.up.pt>"
)
requires=\
(
'gmp/host'
)
configure()
{
./configure \
--prefix="${cfg_dir_toolchain}" \
--with-gmp="${cfg_dir_toolchain}" \
--disable-shared \
--enable-static
}
build()
{
$cmd_make
}
host_install()
{
$cmd_make install
}