diff options
author | sifyfy | 2019-07-05 15:05:07 +0900 |
---|---|---|
committer | sifyfy | 2019-07-05 15:05:07 +0900 |
commit | 9633c8210a73f179ac1c21a0f3a7564f105145aa (patch) | |
tree | 325b1a423a9875b29186a8d38bae83594429ddc4 /PKGBUILD | |
download | aur-9633c8210a73f179ac1c21a0f3a7564f105145aa.tar.gz |
Initial Commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c2c58b09bc9c --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,17 @@ +pkgname=libgmp-static +pkgver=6.1.2 +pkgrel=1 +arch=('any') +source=("https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz") +md5sums=('f58fa8001d60c4c77595fbbb62b63c1d') +depends=('gmp>=6.1.2-2') +package() { + cd gmp-$pkgver + + ./configure --prefix=$pkgdir/usr --enable-static --disable-shared + make + make install + + rm -rf $pkgdir/usr/include + rm -rf $pkgdir/usr/share +} |