32 lines
1 KiB
Bash
32 lines
1 KiB
Bash
# Template file for 'gprolog'
|
|
pkgname=gprolog
|
|
version=1.5.0
|
|
revision=1
|
|
build_wrksrc=src
|
|
archs="aarch64* armv7* i686* x86_64*"
|
|
build_style=gnu-configure
|
|
configure_args="--with-install-dir=/usr/lib/gprolog
|
|
--with-doc-dir=/usr/share/doc/gprolog
|
|
--with-examples-dir=/usr/share/examples/gprolog"
|
|
short_desc="GNU Prolog"
|
|
maintainer="Leah Neukirchen <leah@vuxu.org>"
|
|
license="GPL-2.0-or-later,LGPL-3.0-or-later"
|
|
homepage="http://www.gprolog.org/"
|
|
distfiles="http://www.gprolog.org/${pkgname}-${version}.tar.gz"
|
|
checksum=670642b43c0faa27ebd68961efb17ebe707688f91b6809566ddd606139512c01
|
|
nocross=yes
|
|
|
|
case $XBPS_MACHINE in
|
|
i686*) broken="pl2wam segfaults in _dl_fixup, https://build.voidlinux.org/builders/i686_builder/builds/10260/steps/shell_3/logs/stdio" ;;
|
|
esac
|
|
|
|
post_install() {
|
|
mv ${DESTDIR}/usr/lib/gprolog/{NEWS,README,ChangeLog} \
|
|
${DESTDIR}/usr/share/doc/gprolog
|
|
vlicense ${DESTDIR}/usr/lib/gprolog/COPYING LICENSE
|
|
rm ${DESTDIR}/usr/lib/gprolog/COPYING
|
|
cd ${DESTDIR}/usr/lib/gprolog/bin
|
|
for f in *; do
|
|
ln -sf ../lib/gprolog/bin/$f ${DESTDIR}/usr/bin/$f
|
|
done
|
|
}
|