ksh: fix installation.

Close #12881
This commit is contained in:
Juan RP 2019-07-07 18:57:31 +02:00
parent c06567bb30
commit 984b670e54
No known key found for this signature in database
GPG key ID: AF19F6CB482F9368

View file

@ -1,7 +1,7 @@
# Template file for 'ksh' # Template file for 'ksh'
pkgname=ksh pkgname=ksh
version=2018.01.19 version=2018.01.19
revision=1 revision=2
_githash=0280d4fdadd3ad690c7b69b795a2f0621b29c445 _githash=0280d4fdadd3ad690c7b69b795a2f0621b29c445
wrksrc="ast-${_githash}" wrksrc="ast-${_githash}"
build_style=meson build_style=meson
@ -30,7 +30,6 @@ post_extract() {
} }
post_install() { post_install() {
mv ${DESTDIR}/usr/bin/ksh ${DESTDIR}/usr/bin/ksh93 mv ${DESTDIR}/usr/bin/ksh ${DESTDIR}/usr/bin/ksh93
gunzip ${DESTDIR}/usr/share/man/man*/*.gz
mv ${DESTDIR}/usr/share/man/man1/ksh.1 ${DESTDIR}/usr/share/man/man1/ksh93.1 mv ${DESTDIR}/usr/share/man/man1/ksh.1 ${DESTDIR}/usr/share/man/man1/ksh93.1
vmkdir usr/share/ksh vmkdir usr/share/ksh
vcopy src/cmd/ksh93/fun usr/share/ksh/functions vcopy src/cmd/ksh93/fun usr/share/ksh/functions