2014-08-31 14:58:48 +02:00
|
|
|
# Template file for 'gprolog'
|
|
|
|
|
pkgname=gprolog
|
|
|
|
|
version=1.4.4
|
2014-08-31 21:27:28 +02:00
|
|
|
revision=2
|
2014-08-31 14:58:48 +02:00
|
|
|
wrksrc=${pkgname}-${version}/src
|
|
|
|
|
only_for_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="Christian Neukirchen <chneukirchen@gmail.com>"
|
|
|
|
|
license="GPL-2,LGPL-3"
|
|
|
|
|
homepage="http://www.gprolog.org/"
|
|
|
|
|
distfiles="${GNU_SITE}/${pkgname}/${pkgname}-${version}.tar.gz"
|
|
|
|
|
checksum=18c0e9644b33afd4dd3cdf29f94c099ad820d65e0c99da5495b1ae43b4f2b18e
|
2014-08-31 21:27:28 +02:00
|
|
|
disable_parallel_build=yes
|
2014-08-31 14:58:48 +02:00
|
|
|
|
|
|
|
|
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
|
|
|
|
|
}
|
