From 13796a299fde96773228642aa6a889b8ee6a72d7 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sat, 31 Oct 2015 11:04:30 +0100 Subject: [PATCH] gawk: switch this to alternatives for 'awk'. --- srcpkgs/gawk/template | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/srcpkgs/gawk/template b/srcpkgs/gawk/template index 2d5a1c1284..8a396abb1c 100644 --- a/srcpkgs/gawk/template +++ b/srcpkgs/gawk/template @@ -1,7 +1,8 @@ # Template file for 'gawk' pkgname=gawk version=4.1.3 -revision=3 +revision=4 +lib32disabled=yes build_pie=yes build_style=gnu-configure configure_args="--with-readline" @@ -13,11 +14,14 @@ homepage="http://www.gnu.org/directory/GNU/gawk.html" distfiles="${GNU_SITE}/$pkgname/$pkgname-$version.tar.xz" checksum=e3cf55e91e31ea2845f8338bedd91e40671fc30e4d82ea147d220e687abda625 -lib32disabled=yes -provides="awk-0_1" -replaces="awk>=0" +alternatives=" + awk:/usr/bin/awk:/usr/bin/gawk + awk:/usr/share/man/man1/awk.1:/usr/share/man/man1/gawk.1" pre_configure() { # Create symlinks for bins and manpages. sed -i -e "s|\$(LN)|\$(LN_S)|g" Makefile.in doc/Makefile.in } +post_install() { + rm ${DESTDIR}/usr/bin/awk +}