34 lines
1.1 KiB
Bash
34 lines
1.1 KiB
Bash
# Template file for 'gprolog'
|
|
pkgname=gprolog
|
|
version=1.4.5
|
|
revision=1
|
|
build_wrksrc=src
|
|
archs="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=bfdcf00e051e0628b4f9af9d6638d4fde6ad793401e58a5619d1cc6105618c7c
|
|
disable_parallel_build=yes
|
|
nopie=yes # native asm generated
|
|
|
|
case $XBPS_MACHINE in
|
|
i686*) broken="pl2wam segfaults in _dl_fixup, https://build.voidlinux.eu/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
|
|
}
|