diff options
Diffstat (limited to 'libxmi/Pkgfile')
-rwxr-xr-x | libxmi/Pkgfile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libxmi/Pkgfile b/libxmi/Pkgfile index b6b8db808..9f7d25aac 100755 --- a/libxmi/Pkgfile +++ b/libxmi/Pkgfile @@ -6,14 +6,15 @@ name=libxmi version=1.2 release=1 -source=( http://mirrors.usc.edu/pub/gnu/$name/$name-$version.tar.gz \ +source=(http://mirrors.usc.edu/pub/gnu/$name/$name-$version.tar.gz http://nutyx.meticul.eu/files/patchs/$name/libxmi-1.2-config-1.patch) build() { cd $name-$version patch -Np1 -i ../libxmi-1.2-config-1.patch - ./configure --prefix=/usr --infodir=/usr/share/info + ./configure --prefix=/usr \ + --infodir=/usr/share/info make make DESTDIR=$PKG install + rm -rf $PKG/usr/share/info/dir } - |