132 lines
3.9 KiB
Bash
132 lines
3.9 KiB
Bash
# Copyright 1999-2016 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=5
|
|
|
|
inherit eutils fdo-mime
|
|
|
|
DESCRIPTION="Open source object-oriented logic programming language"
|
|
HOMEPAGE="http://logtalk.org"
|
|
SRC_URI="http://logtalk.org/files/${P}.tar.bz2"
|
|
LICENSE="logtalk"
|
|
|
|
SLOT="0"
|
|
KEYWORDS="~amd64 ~ppc ~x86"
|
|
IUSE="doc fop xslt"
|
|
|
|
DEPEND=""
|
|
RDEPEND="
|
|
xslt? ( dev-libs/libxslt )
|
|
fop? ( dev-java/fop )
|
|
${DEPEND}"
|
|
|
|
src_prepare() {
|
|
epatch "${FILESDIR}"/${P}-no-user-docs.patch
|
|
}
|
|
|
|
src_install() {
|
|
# Look at scripts/install.sh for upstream installation process.
|
|
# Install logtalk base
|
|
mv scripts/logtalk_user_setup.sh integration/
|
|
mkdir -p "${D}/usr/share/${P}"
|
|
cp -r adapters coding contributions core examples integration \
|
|
library paths scratch tests tools VERSION.txt \
|
|
loader-sample.lgt settings-sample.lgt tester-sample.lgt \
|
|
"${D}/usr/share/${P}" \
|
|
|| die "Failed to install files"
|
|
|
|
# Install mime file, the database will be updated later
|
|
insinto /usr/share/mime/packages
|
|
doins scripts/freedesktop/logtalk.xml
|
|
|
|
# Install documentation
|
|
dodoc ACKNOWLEDGMENTS.md BIBLIOGRAPHY.bib CUSTOMIZE.md \
|
|
INSTALL.md LICENSE.txt QUICK_START.md README.md \
|
|
RELEASE_NOTES.md UPGRADING.md VERSION.txt
|
|
if use doc ; then
|
|
dohtml -r docs/* \
|
|
|| die "Failed to install html core documentation"
|
|
dohtml -r manuals/* \
|
|
|| die "Failed to install html manual"
|
|
fi
|
|
|
|
rm -f man/man1/logtalk_backend_select.1
|
|
rm -f man/man1/logtalk_version_select.1
|
|
doman man/man1/*.1 || die "Failed to install man pages"
|
|
|
|
# Integration symlinks
|
|
dosym /usr/share/${P}/integration/logtalk_user_setup.sh \
|
|
/usr/bin/logtalk_user_setup
|
|
dosym /usr/share/${P}/integration/bplgt.sh \
|
|
/usr/bin/bplgt
|
|
dosym /usr/share/${P}/integration/cxlgt.sh \
|
|
/usr/bin/cxlgt
|
|
dosym /usr/share/${P}/integration/eclipselgt.sh \
|
|
/usr/bin/eclipselgt
|
|
dosym /usr/share/${P}/integration/gplgt.sh \
|
|
/usr/bin/gplgt
|
|
dosym /usr/share/${P}/integration/lplgt.sh \
|
|
/usr/bin/lplgt
|
|
dosym /usr/share/${P}/integration/qplgt.sh \
|
|
/usr/bin/qplgt
|
|
dosym /usr/share/${P}/integration/quintuslgt.sh \
|
|
/usr/bin/quintuslgt
|
|
dosym /usr/share/${P}/integration/sicstuslgt.sh \
|
|
/usr/bin/sicstuslgt
|
|
dosym /usr/share/${P}/integration/swilgt.sh \
|
|
/usr/bin/swilgt
|
|
dosym /usr/share/${P}/integration/xsblgt.sh \
|
|
/usr/bin/xsblgt
|
|
dosym /usr/share/${P}/integration/xsbmtlgt.sh \
|
|
/usr/bin/xsbmtlgt
|
|
dosym /usr/share/${P}/integration/yaplgt.sh \
|
|
/usr/bin/yaplgt
|
|
|
|
dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2xml.sh \
|
|
/usr/bin/lgt2xml
|
|
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2html.sh \
|
|
/usr/bin/lgt2html
|
|
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2txt.sh \
|
|
/usr/bin/lgt2txt
|
|
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2md.sh \
|
|
/usr/bin/lgt2md
|
|
use fop && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \
|
|
/usr/bin/lgt2pdf
|
|
|
|
# Install environment files
|
|
echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk
|
|
doenvd 99logtalk
|
|
}
|
|
|
|
pkg_postinst() {
|
|
fdo-mime_desktop_database_update
|
|
|
|
ewarn "Before running logtalk, users should execute"
|
|
ewarn "logtalk_user_setup *once*"
|
|
ewarn ""
|
|
ewarn "The following integration scripts are installed"
|
|
ewarn "for running logtalk with selected Prolog compilers:"
|
|
ewarn "B-Prolog: /usr/bin/bplgt"
|
|
ewarn "CxProlog: /usr/bin/cxlgt"
|
|
ewarn "ECLiPSe: /usr/bin/eclipselgt"
|
|
ewarn "GNU Prolog: /usr/bin/gplgt"
|
|
ewarn "Lean Prolog: /usr/bin/lplgt"
|
|
ewarn "Qu-Prolog: /usr/bin/qplgt"
|
|
ewarn "Quintus Prolog: /usr/bin/quintuslgt"
|
|
ewarn "SICStus Prolog: /usr/bin/sicstuslgt"
|
|
ewarn "SWI Prolog: /usr/bin/swilgt"
|
|
ewarn "XSB: /usr/bin/xsblgt"
|
|
ewarn "XSB MT: /usr/bin/xsbmtlgt"
|
|
ewarn "YAP: /usr/bin/yaplgt"
|
|
ewarn ""
|
|
|
|
ewarn "The environment has been set up to make the above"
|
|
ewarn "integration scripts find files automatically for logtalk."
|
|
ewarn "Please run 'etc-update && source /etc/profile' to update"
|
|
ewarn "the environment now, otherwise it will be updated at next"
|
|
ewarn "login."
|
|
}
|
|
|
|
pkg_postrm() {
|
|
fdo-mime_desktop_database_update
|
|
}
|