2018-01-15 01:41:20 +01:00
|
|
|
VERSION="4.2.0"
|
|
|
|
SRCDIR="gawk-${VERSION}"
|
|
|
|
TARBALL="${SRCDIR}.tar.xz"
|
|
|
|
URL="https://ftp.gnu.org/gnu/gawk/"
|
|
|
|
SHA256SUM="d4f3cd31c001fd0ed52832d4fbfbdfeaa38ad541c182f80ff8fdf87324a6a9f2"
|
2018-02-15 23:47:54 +01:00
|
|
|
DEPENDS="toolchain"
|
2018-01-15 01:41:20 +01:00
|
|
|
|
|
|
|
prepare() {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
build() {
|
2018-02-16 23:22:04 +01:00
|
|
|
$1/configure --prefix="" --host="$TARGET"
|
2018-01-15 01:41:20 +01:00
|
|
|
|
|
|
|
make -j $NUMJOBS
|
|
|
|
}
|
|
|
|
|
|
|
|
deploy() {
|
|
|
|
local SOURCE="$1"
|
2018-02-16 23:22:04 +01:00
|
|
|
local DEPLOY="$2"
|
2018-01-15 01:41:20 +01:00
|
|
|
|
|
|
|
make DESTDIR="$DEPLOY" install-strip
|
|
|
|
|
|
|
|
rm "$DEPLOY/bin/gawk-$VERSION"
|
2018-02-19 12:43:22 +01:00
|
|
|
rm -r "$DEPLOY/include" "$DEPLOY/share/info" "$DEPLOY/share/man"
|
2018-01-15 01:41:20 +01:00
|
|
|
}
|