From 9337068d3a1747c542152e81b693c33639a6cd75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Fri, 2 Feb 2018 22:42:49 -0300
Subject: [PATCH] New package: flintlib-2.8.0

---
 common/shlibs             |  1 +
 srcpkgs/flintlib-devel    |  1 +
 srcpkgs/flintlib/template | 26 ++++++++++++++++++++++++++
 srcpkgs/flintlib/update   |  3 +++
 4 files changed, 31 insertions(+)
 create mode 120000 srcpkgs/flintlib-devel
 create mode 100644 srcpkgs/flintlib/template
 create mode 100644 srcpkgs/flintlib/update

diff --git a/common/shlibs b/common/shlibs
index 773f18ca415..e6d874c100b 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -3986,6 +3986,7 @@ libtree-sitter.so.0 tree-sitter-0.19.0_1
 libgtkdatabox.so.1 gtkdatabox3-1.0.0_1
 libgf2x.so.3 gf2x-1.3.0_1
 libntl.so.44 ntl-11.5.1_1
+libflint.so.16 flintlib-2.8.0_1
 libwayland-client++.so.0 libwaylandpp-0.2.8_1
 libwayland-cursor++.so.0 libwaylandpp-0.2.8_1
 libwayland-egl++.so.0 libwaylandpp-0.2.8_1
diff --git a/srcpkgs/flintlib-devel b/srcpkgs/flintlib-devel
new file mode 120000
index 00000000000..7c263318306
--- /dev/null
+++ b/srcpkgs/flintlib-devel
@@ -0,0 +1 @@
+flintlib
\ No newline at end of file
diff --git a/srcpkgs/flintlib/template b/srcpkgs/flintlib/template
new file mode 100644
index 00000000000..078ed531642
--- /dev/null
+++ b/srcpkgs/flintlib/template
@@ -0,0 +1,26 @@
+# Template file for 'flintlib'
+pkgname=flintlib
+version=2.8.0
+revision=1
+wrksrc="flint-${version}"
+build_style=configure
+configure_args="--prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-ntl=/usr"
+makedepends="mpfr-devel ntl-devel"
+short_desc="Fast Library for Number Theory"
+maintainer="Gonzalo Tornaría <tornaria@cmat.edu.uy>"
+license="LGPL-2.1-or-later"
+homepage="https://flintlib.org"
+distfiles="https://flintlib.org/flint-${version}.tar.gz"
+checksum=584235cdc39d779d9920eaef16fe084f3c26ffeeea003a3fff64a20a0f33449e
+
+CFLAGS="-D_GNU_SOURCE" # needed for cpu_set_t
+
+flintlib-devel_package() {
+	depends="${sourcepkg}>=${version}_${revision} mpfr-devel"
+	short_desc+=" - development files"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+	}
+}
diff --git a/srcpkgs/flintlib/update b/srcpkgs/flintlib/update
new file mode 100644
index 00000000000..21d6ab4bae5
--- /dev/null
+++ b/srcpkgs/flintlib/update
@@ -0,0 +1,3 @@
+# package was named 'flintlib' because of another package
+pkgname=flint
+site="https://flintlib.org/downloads.html"