diff options
| author | Matt Housh <jaeger@morpheus.net> | 2013-08-07 07:47:23 -0500 |
|---|---|---|
| committer | Matt Housh <jaeger@morpheus.net> | 2013-08-07 07:47:23 -0500 |
| commit | 02d26fed762b4ff9233f3ad50040a8910fa42e63 (patch) | |
| tree | 2e0b201e1a8a80d96741f80f97c517b9c60a7537 /libgmp-32 | |
| parent | 999ed56a33fac2f82de971cec74a853bdcbb73a4 (diff) | |
| download | compat-32-02d26fed762b4ff9233f3ad50040a8910fa42e63.tar.gz compat-32-02d26fed762b4ff9233f3ad50040a8910fa42e63.tar.xz | |
libgmp-32: fix for multilib header installation
Diffstat (limited to 'libgmp-32')
| -rw-r--r-- | libgmp-32/.footprint | 5 | ||||
| -rw-r--r-- | libgmp-32/Pkgfile | 28 |
2 files changed, 13 insertions, 20 deletions
diff --git a/libgmp-32/.footprint b/libgmp-32/.footprint index d096146f..b6239e98 100644 --- a/libgmp-32/.footprint +++ b/libgmp-32/.footprint @@ -1,8 +1,7 @@ drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/gmp-32.h drwxr-xr-x root/root usr/lib32/ -drwxr-xr-x root/root usr/lib32/gmp/ --rw-r--r-- root/root usr/lib32/gmp/gmp.h --rw-r--r-- root/root usr/lib32/gmp/gmpxx.h -rw-r--r-- root/root usr/lib32/libgmp.a -rwxr-xr-x root/root usr/lib32/libgmp.la lrwxrwxrwx root/root usr/lib32/libgmp.so -> libgmp.so.10.1.2 diff --git a/libgmp-32/Pkgfile b/libgmp-32/Pkgfile index 7bbf7ff7..ea290a75 100644 --- a/libgmp-32/Pkgfile +++ b/libgmp-32/Pkgfile @@ -4,28 +4,22 @@ name=libgmp-32 version=5.1.2 -release=2 +release=3 source=(ftp://ftp.gmplib.org/pub/gmp-$version/gmp-$version.tar.xz) build() { - cd gmp-$version + cd gmp-$version - export ABI=32 + ABI=32 ./configure \ + --prefix=/usr \ + --libdir=/usr/lib32 \ + --enable-cxx - ./configure \ - --prefix=/usr \ - --libdir=/usr/lib32 \ - --includedir=/usr/lib32/gmp \ - --enable-cxx + make + make DESTDIR=$PKG install - #Put gmp.h in the same folder as gmpxx.h - sed -i 's/$(exec_prefix)\/include/$\(includedir\)/' Makefile + mv $PKG/usr/include/gmp{,-32}.h + rm $PKG/usr/include/gmpxx.h - make - make DESTDIR=$PKG install - - rm -rf $PKG/usr/share/info - - # Remove empty directories - find $PKG -depth -empty -exec rm -r {} \; + rm -r $PKG/usr/share } |