New package: mpfi-1.5.3

This commit is contained in:
Gonzalo Tornaría 2020-06-03 23:22:18 -03:00 committed by Leah Neukirchen
parent d12e9ac936
commit 1eb82ad8c0
4 changed files with 33 additions and 0 deletions

View file

@ -60,6 +60,7 @@ libgo.so.16 libgo-10.2.0_1
libperl.so.5.34 perl-5.34.0_1
libgmp.so.10 gmp-5.0.1_1
libgmpxx.so.4 gmpxx-6.0.0_2
libmpfi.so.0 mpfi-1.5.3_1
libmpfr.so.6 mpfr-4.0.0_1
libppl.so.14 ppl-1.2_1
libppl_c.so.4 ppl-0.11_1

1
srcpkgs/mpfi-devel Symbolic link
View file

@ -0,0 +1 @@
mpfi

29
srcpkgs/mpfi/template Normal file
View file

@ -0,0 +1,29 @@
# Template file for 'mpfi'
pkgname=mpfi
version=1.5.3
revision=1
build_wrksrc=mpfi
build_style=gnu-configure
hostmakedepends="automake autoconf libtool texinfo"
makedepends="mpfr-devel"
short_desc="C library for interval arithmetic"
maintainer="Gonzalo Tornaría <tornaria@cmat.edu.uy>"
license="GPL-3.0-or-later"
homepage="http://perso.ens-lyon.fr/nathalie.revol/software.html"
distfiles="https://gitlab.inria.fr/mpfi/mpfi/-/archive/${version}/mpfi-${version}.tar.bz2"
checksum=6ad5247b37b9f9c024103fd64e76b6360294f471d448aac3797a0f44428024c3
pre_configure() {
autoreconf -fi
}
mpfi-devel_package() {
depends="${sourcepkg}>=${version}_${revision}"
short_desc+=" - development files"
pkg_install() {
vmove usr/include
vmove "usr/lib/*.a"
vmove "usr/lib/*.so"
vmove usr/share/info
}
}

2
srcpkgs/mpfi/update Normal file
View file

@ -0,0 +1,2 @@
# This release is broken
ignore=1.5.4