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/rules/mpfr/host.bash

44 lines
473 B
Bash
Raw Normal View History

2013-07-13 17:19:22 +01:00
version=\
(
2017-05-11 21:33:03 +01:00
'3.1.5'
2013-07-13 17:19:22 +01:00
)
url=\
(
2015-09-04 16:10:37 +01:00
"http://www.mpfr.org/mpfr-$version/mpfr-$version.tar.bz2"
2013-07-13 17:19:22 +01:00
)
md5=\
(
2017-05-11 21:33:03 +01:00
'b1d23a55588e3b2a13e3be66bc69fd8d'
2013-07-13 17:19:22 +01:00
)
maintainer=\
(
2015-09-04 16:10:37 +01:00
'Ricardo Martins <rasm@fe.up.pt>'
2013-07-13 17:19:22 +01:00
)
requires=\
(
'gmp/host'
)
configure()
{
./configure \
2015-09-04 16:10:37 +01:00
--prefix="$cfg_dir_toolchain" \
--with-gmp="$cfg_dir_toolchain" \
2013-07-13 17:19:22 +01:00
--disable-shared \
--enable-static
}
build()
{
$cmd_make
}
host_install()
{
$cmd_make install
}