# Depends on:
name=gawk
-version=4.0.1
+version=4.1.0
release=1
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz)
--mandir=/usr/man \
--enable-switch \
--disable-nls
+
+ # Use host's gawk
+ sed "s|../gawk\$(EXEEXT)|gawk|g" -i extension/Makefile.in
+
make
make DESTDIR=$PKG install
rm -r $PKG/usr/share/info
- rm $PKG/usr/bin/{gawk,pgawk}-$version \
- $PKG/usr/man/man1/pgawk.1
-
- ln -sf gawk.1.gz $PKG/usr/man/man1/awk.1.gz
+ rm $PKG/usr/bin/gawk-$version
+ rm $PKG/usr/lib/gawk/*.la
}