From 9080411b18aa408461d983561b6334cd6374d604 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 | 23 +++++++++++++++++++++++
 srcpkgs/mpfi/update   |  2 ++
 4 files changed, 27 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 296b93e5f22b..e66e46681706 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -59,6 +59,7 @@ libgo.so.16 libgo-10.2.0_1
 libperl.so.5.32 perl-5.32.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..90bb5be4686a
--- /dev/null
+++ b/srcpkgs/mpfi/template
@@ -0,0 +1,23 @@
+# Template file for 'mpfi'
+pkgname=mpfi
+version=1.5.3
+revision=1
+build_style="gnu-configure"
+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://gforge.inria.fr/frs/download.php/file/37331/mpfi-${version}.tar.bz2"
+checksum=2383d457b208c6cd3cf2e66b69c4ce47477b2a0db31fbec0cd4b1ebaa247192f
+
+mpfi-devel_package() {
+	depends="mpfi-${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..42221627a5cb
--- /dev/null
+++ b/srcpkgs/mpfi/update
@@ -0,0 +1,2 @@
+site="https://gforge.inria.fr/frs/?group_id=157"
+ignore=1.5.4