dev-lang/logtalk: version bump

Package-Manager: portage-2.2.26

1 files changed, 133 insertions, 0 deletions

diff --git a/dev-lang/logtalk/logtalk-3.03.0.ebuild b/dev-lang/logtalk/logtalk-3.03.0.ebuild
new file mode 100644
index 000000000000..ceb2e7eec365
--- /dev/null
+++ b/dev-lang/logtalk/logtalk-3.03.0.ebuild
@@ -0,0 +1,133 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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
+}