diff options
Diffstat (limited to 'gmp/Pkgfile')
| -rwxr-xr-x | gmp/Pkgfile | 45 |
1 files changed, 24 insertions, 21 deletions
diff --git a/gmp/Pkgfile b/gmp/Pkgfile index 514a47164..e21154bac 100755 --- a/gmp/Pkgfile +++ b/gmp/Pkgfile @@ -4,29 +4,32 @@ # Packager: thierryn1 at hispeed dot ch name=gmp -version=5.0.2 +version=5.0.4 release=1 -source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) +source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) + build() { -cd $name-$version -case `uname -m` in - i?86) - ABI=32 ./configure --prefix=/usr \ - --enable-cxx \ - --enable-mpbsd \ - --build=i686-pc-linux-gnu \ - --mandir=/usr/share/man \ - --infodir=/usr/share/info;; - *) - ./configure --prefix=/usr \ - --enable-cxx \ - --enable-mpbsd \ - --mandir=/usr/share/man \ - --infodir=/usr/share/info;; -esac + cd $name-$version + case `uname -m` in + i?86) + ABI=32 ./configure --prefix=/usr \ + --enable-cxx \ + --enable-mpbsd \ + --build=i686-pc-linux-gnu \ + --mandir=/usr/share/man \ + --infodir=/usr/share/info + ;; + *) + ./configure --prefix=/usr \ + --enable-cxx \ + --enable-mpbsd \ + --mandir=/usr/share/man \ + --infodir=/usr/share/info + ;; + esac -make -make DESTDIR=$PKG install -rm $PKG/usr/share/info/dir + make + make DESTDIR=$PKG install + rm $PKG/usr/share/info/dir } |