summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorAndrew Sun2019-08-02 06:24:53 -0400
committerAndrew Sun2019-08-02 06:24:53 -0400
commita64a8cb668ceb354c9854e967a01ff3776aed0cf (patch)
tree600d1f5f94ea218f6fef777f99adfc4d8b212acd /PKGBUILD
parent8246e9043495a34edd458f01b5ff4d52a3c5e243 (diff)
downloadaur-a64a8cb668ceb354c9854e967a01ff3776aed0cf.tar.gz
mingw-w64-mpfi: new tarball
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD14
1 files changed, 6 insertions, 8 deletions
diff --git a/PKGBUILD b/PKGBUILD
index de2235bdc1fc..faf47f3f15cb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=mingw-w64-mpfi
pkgver=1.5.4
-pkgrel=1
+pkgrel=2
pkgdesc="C library for interval arithmetic (mingw-w64)"
arch=('any')
url="http://perso.ens-lyon.fr/nathalie.revol/software.html"
@@ -10,20 +10,18 @@ license=('GPL')
makedepends=('mingw-w64-configure')
depends=('mingw-w64-mpfr')
options=('!strip' '!buildflags' 'staticlibs')
-source=("https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-${pkgver}.tar.gz" div_ext.c)
-sha256sums=('76b01b9eed7150a44b3f6aea24ad4ac78b0f2078253be87ff6d1903d02dfa434'
- 'aa280208c1168fbdfdac5cbb3fd8421904bc80d6a323de89a4b6b48a66446b01')
+source=("https://gforge.inria.fr/frs/download.php/file/38111/mpfi-$pkgver.tgz")
+sha256sums=('3b3938595d720af17973deaf727cfc0dd41c8b16c20adc103a970f4a43ae3a56')
_architectures="i686-w64-mingw32 x86_64-w64-mingw32"
prepare() {
- cd "${srcdir}/mpfi-${pkgver}/mpfi"
+ cd "${srcdir}/mpfi-${pkgver}"
./autogen.sh
- cp "${srcdir}"/div_ext.c src # Missing source file
}
build() {
- cd "${srcdir}/mpfi-${pkgver}/mpfi"
+ cd "${srcdir}/mpfi-${pkgver}"
for _arch in ${_architectures}; do
mkdir -p build-${_arch} && pushd build-${_arch}
${_arch}-configure ..
@@ -34,7 +32,7 @@ build() {
package() {
for _arch in ${_architectures}; do
- cd "${srcdir}/mpfi-${pkgver}/mpfi/build-${_arch}"
+ cd "${srcdir}/mpfi-${pkgver}/build-${_arch}"
make DESTDIR="${pkgdir}" install
rm -rf "${pkgdir}/usr/${_arch}/share"
${_arch}-strip --strip-unneeded "$pkgdir"/usr/${_arch}/bin/*.dll