diff options
author | davidovski <david@davidovski.xyz> | 2022-01-16 01:23:51 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-01-16 01:23:51 +0000 |
commit | cb447620084a20be80d116c81c2e9ec110be7118 (patch) | |
tree | 9fc0d714abbb5c6326b60616a5fd27ec9f984895 /repo/system/gmp.xibuild | |
parent | 153011e9129c6055ef21c48caf65a23e74a91418 (diff) |
restructured repo system
Diffstat (limited to 'repo/system/gmp.xibuild')
-rw-r--r-- | repo/system/gmp.xibuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/repo/system/gmp.xibuild b/repo/system/gmp.xibuild new file mode 100644 index 0000000..6c426bc --- /dev/null +++ b/repo/system/gmp.xibuild @@ -0,0 +1,25 @@ +#!/bin/bash + +DEPS=(gcc-libs sh) + +SOURCE=https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz +DESC="a collection of mathematical libraries" + +build () { + cp -v configfsf.guess config.guess + cp -v configfsf.sub config.sub + + ./configure --prefix=/usr --enable-cxx --disable-static --docdir=/usr/share/doc/gmp + + make + make html + + make check 2>&1 | tee gmp-check-log + awk '/# PASS:/{total+=$3} ; END{print total}' gmp-check-log + +} + +package() { + make DESTDIR=$PKG_DEST install + make DESTDIR=$PKG_DEST install-html +} |