libmpfr: update to 3.1.1-p2

diff --git a/libmpfr/.footprint b/libmpfr/.footprint
index 59ca14585f3a07e40b0435a20f138399a13a94ad..a44052abe9b7a5279e1bed07110a60c58e30a218 100644 (file)
--- a/libmpfr/.footprint
+++ b/libmpfr/.footprint
@@ -5,6 +5,6 @@ drwxr-xr-x      root/root       usr/include/
 drwxr-xr-x     root/root       usr/lib/
 -rw-r--r--     root/root       usr/lib/libmpfr.a
 -rwxr-xr-x     root/root       usr/lib/libmpfr.la
-lrwxrwxrwx     root/root       usr/lib/libmpfr.so -> libmpfr.so.4.1.0
-lrwxrwxrwx     root/root       usr/lib/libmpfr.so.4 -> libmpfr.so.4.1.0
--rwxr-xr-x     root/root       usr/lib/libmpfr.so.4.1.0
+lrwxrwxrwx     root/root       usr/lib/libmpfr.so -> libmpfr.so.4.1.1
+lrwxrwxrwx     root/root       usr/lib/libmpfr.so.4 -> libmpfr.so.4.1.1
+-rwxr-xr-x     root/root       usr/lib/libmpfr.so.4.1.1

diff --git a/libmpfr/.md5sum b/libmpfr/.md5sum
index 0fdd134fc7213cb7c5c03d9681681ff274f56604..fe388495788c123588c84097072f3678ec776b6e 100644 (file)
--- a/libmpfr/.md5sum
+++ b/libmpfr/.md5sum
@@ -1 +1,2 @@
-6e495841bb026481567006cec0f821c3  mpfr-3.1.0.tar.xz
+7ebae78de35cd5f3bf45d17285ea3d81  libmpfr-3.1.1-p2.patch.gz
+91d51c41fcf2799e4ee7a7126fc95c17  mpfr-3.1.1.tar.xz

diff --git a/libmpfr/Pkgfile b/libmpfr/Pkgfile
index 11ce2223f8debca39ac50e93465cf7f938c064d0..8c717a335729ea7b6e24d1655e7db587a0387738 100644 (file)
--- a/libmpfr/Pkgfile
+++ b/libmpfr/Pkgfile
@@ -5,12 +5,14 @@
 # Depends on: libgmp
 
 name=libmpfr
-version=3.1.0
+version=3.1.1-p2
 release=1
-source=(http://www.mpfr.org/mpfr-${version%-*}/mpfr-${version%-*}.tar.xz)
+source=(http://www.mpfr.org/mpfr-${version%-*}/mpfr-${version%-*}.tar.xz
+        $name-$version.patch.gz)
 
 build() {
   cd mpfr-${version%-*}
+  gunzip -c $SRC/$name-$version.patch.gz | patch -p1
 
   ./configure --build=$CHOST \
               --host=$CTARGET \

diff --git a/libmpfr/libmpfr-3.1.1-p2.patch.gz b/libmpfr/libmpfr-3.1.1-p2.patch.gz
new file mode 100644 (file)
index 0000000..4fe891e
Binary files /dev/null and b/libmpfr/libmpfr-3.1.1-p2.patch.gz differ