summaryrefslogtreecommitdiff
path: root/mpfr
diff options
context:
space:
mode:
authorJoseph Hunkeler <jhunkeler@gmail.com>2020-03-30 23:00:12 -0400
committerJoseph Hunkeler <jhunkeler@gmail.com>2020-03-30 23:00:12 -0400
commit0f7fc864d98d3e8a852d3a6a835ae3331fde1bad (patch)
tree24b4ac4b7a476b0bb1607476531c5ba1a5f63a7e /mpfr
parent39c272221a8baf3b3f2768d9de4f61abea57cf1f (diff)
downloadspm_packages-0f7fc864d98d3e8a852d3a6a835ae3331fde1bad.tar.gz
Current state
Diffstat (limited to 'mpfr')
-rw-r--r--mpfr/build.sh27
1 files changed, 27 insertions, 0 deletions
diff --git a/mpfr/build.sh b/mpfr/build.sh
new file mode 100644
index 0000000..10b4572
--- /dev/null
+++ b/mpfr/build.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+name=mpfr
+version=3.1.4
+revision=0
+sources=(
+ "https://gcc.gnu.org/pub/gcc/infrastructure/${name}-${version}.tar.bz2"
+)
+build_depends=(
+ "bzip2"
+)
+depends=(
+ "gmp"
+)
+
+function prepare() {
+ tar xf ${name}-${version}.tar.bz2
+ cd ${name}-${version}
+}
+
+function build() {
+ ./configure --prefix=${_prefix}
+ make -j${_maxjobs}
+}
+
+function package() {
+ make install DESTDIR="${_pkgdir}"
+}