# Depends on:
name=gawk
-version=4.1.0
+version=4.0.2
release=1
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz)
--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-$version
- rm $PKG/usr/lib/gawk/*.la
+ rm $PKG/usr/bin/{gawk,pgawk}-$version
+ rm $PKG/usr/man/man1/{p,d}gawk.1
+
+ ln -sf gawk.1.gz $PKG/usr/man/man1/awk.1.gz
+ ln -sf gawk.1.gz $PKG/usr/man/man1/dawk.1.gz
+ ln -sf gawk.1.gz $PKG/usr/man/man1/pawk.1.gz
}