From 4caae4a862e22751cb09493e457b27eeb3b293a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Wed, 3 Jun 2020 23:22:18 -0300
Subject: [PATCH] New package: mpfi-1.5.3

---
 common/shlibs         |  1 +
 srcpkgs/mpfi-devel    |  1 +
 srcpkgs/mpfi/template | 28 ++++++++++++++++++++++++++++
 srcpkgs/mpfi/update   |  2 ++
 4 files changed, 32 insertions(+)
 create mode 120000 srcpkgs/mpfi-devel
 create mode 100644 srcpkgs/mpfi/template
 create mode 100644 srcpkgs/mpfi/update

diff --git a/common/shlibs b/common/shlibs
index 7e5289f58f66..41cc10e58df2 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -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
diff --git a/srcpkgs/mpfi-devel b/srcpkgs/mpfi-devel
new file mode 120000
index 000000000000..d36f752f91b3
--- /dev/null
+++ b/srcpkgs/mpfi-devel
@@ -0,0 +1 @@
+mpfi
\ No newline at end of file
diff --git a/srcpkgs/mpfi/template b/srcpkgs/mpfi/template
new file mode 100644
index 000000000000..6ba39e028175
--- /dev/null
+++ b/srcpkgs/mpfi/template
@@ -0,0 +1,28 @@
+# Template file for 'mpfi'
+pkgname=mpfi
+version=1.5.3
+revision=1
+build_wrksrc=mpfi
+build_style=gnu-configure
+makedepends="mpfr-devel automake autoconf libtool texinfo"
+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
+	}
+}
diff --git a/srcpkgs/mpfi/update b/srcpkgs/mpfi/update
new file mode 100644
index 000000000000..b53ba902cbb1
--- /dev/null
+++ b/srcpkgs/mpfi/update
@@ -0,0 +1,2 @@
+# This release is broken
+ignore=1.5.4