summaryrefslogtreecommitdiff
path: root/repo/mpfr
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2022-05-31 11:05:19 +0100
committerdavidovski <david@davidovski.xyz>2022-05-31 11:05:19 +0100
commit48ca75555522716f0f686dcae3dd6cf3d8ad714d (patch)
tree00c0f58550ba4661e87376f2f02c8001c69bae44 /repo/mpfr
parent871b2b573f01c1b3176a0f65458b3d281b41c437 (diff)
removed idea of repos
Diffstat (limited to 'repo/mpfr')
-rw-r--r--repo/mpfr/mpfr.xibuild25
1 files changed, 25 insertions, 0 deletions
diff --git a/repo/mpfr/mpfr.xibuild b/repo/mpfr/mpfr.xibuild
new file mode 100644
index 0000000..a0fc726
--- /dev/null
+++ b/repo/mpfr/mpfr.xibuild
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+MAKEDEPS="make "
+DEPS="musl gmp"
+
+PKG_VER=4.1.0
+SOURCE=https://ftp.gnu.org/gnu/mpfr/mpfr-$PKG_VER.tar.bz2
+
+DESC="Multiple-precision floating-point library"
+
+build () {
+ ./configure --prefix=/usr --disable-static --enable-thread-safe --docdir=/usr/share/doc/mpfr-$PKG_VER
+ make
+ make html
+}
+
+check () {
+ make check
+}
+
+package () {
+ make DESTDIR=$PKG_DEST install
+ make DESTDIR=$PKG_DEST install-html
+}
+