diff options
Diffstat (limited to 'dev-lang/logtalk/logtalk-3.00.0.ebuild')
-rw-r--r-- | dev-lang/logtalk/logtalk-3.00.0.ebuild | 132 |
1 files changed, 0 insertions, 132 deletions
diff --git a/dev-lang/logtalk/logtalk-3.00.0.ebuild b/dev-lang/logtalk/logtalk-3.00.0.ebuild deleted file mode 100644 index d21ce5022afa..000000000000 --- a/dev-lang/logtalk/logtalk-3.00.0.ebuild +++ /dev/null @@ -1,132 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit eutils xdg-utils - -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}"/${PN}-3.00.0-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() { - xdg_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() { - xdg_desktop_database_update -} |