commit: a5cf6ae02e4531bfa220493933d995caf3322da3 Author: Keri Harris <keri <AT> gentoo <DOT> org> AuthorDate: Mon Oct 3 12:01:05 2016 +0000 Commit: Keri Harris <keri <AT> gentoo <DOT> org> CommitDate: Mon Oct 3 12:01:05 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5cf6ae0
dev-lang/logtalk: version bump Package-Manager: portage-2.3.0 dev-lang/logtalk/Manifest | 1 + dev-lang/logtalk/logtalk-3.07.0.ebuild | 133 +++++++++++++++++++++++++++++++++ 2 files changed, 134 insertions(+) diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest index 4944e41..a2b29ee 100644 --- a/dev-lang/logtalk/Manifest +++ b/dev-lang/logtalk/Manifest @@ -2,3 +2,4 @@ DIST lgt2410.tar.bz2 621950 SHA256 ba083578b7b8665cec8a2123152f42b4f554d586f8422 DIST lgt2422.tar.bz2 690047 SHA256 e8204b3182e9062f23e05d6e492a250de12b93baa8586716c8572f2266365a2e SHA512 db976729ae8499ef128f9f7ad257f600f07cb867bfb9ac350ac2c846712d18ebfd5989c674cf0a65286c6f525f5c4273d9b04632ae3719efae7d8047c448c085 WHIRLPOOL 6d76474fa586cc1c10551b2d2db36954466668716c719ce793ed2db9f663272d60462c2f7cde3783010d482df479308d0e5c0da24fd0a0f806a2055b8401d8ce DIST logtalk-3.00.0.tar.bz2 1886297 SHA256 7462eaf8fd7fa865f8cccbb449a97981fbcb109a21536e2420f205b3b4b814b2 SHA512 bb4ecc709e71eee9a9a532bfcef764095e581189f3e17c9c0f2d80ceeaa4dd993d7da087b07e27f4a377a40d7a798378591d89ab6c801c7a26c1b1d646c7b76c WHIRLPOOL 21c3c9fc99e89173d3e0c109ca435847c2c735e17abca70e0f0c7646a3f8a8927e00aeb075386beec4e406faeb1ec7bc9ea7ec014933e5657c7c1d5c4d52099d DIST logtalk-3.03.0.tar.bz2 1997131 SHA256 db48ee13f119a3956e87c2fabceddc03e008391dd1542f5e07909b3840bb0534 SHA512 8445b0dda78ce0a7a0fe380b03d061271eb924df34c8f035c96a949b177c99234e2998c65f18c55be04c7d661c94473448eb2dc79a586dbc346ab07887f0e98a WHIRLPOOL 37faa40c55c0c60dc9111fc323554fdf1747f9c3c328799fcdf73d765311a8b2af6faeab2b2523736425647a38b0c8ebce155f438efec052acc82c2c5dd8dd19 +DIST logtalk-3.07.0.tar.bz2 2114396 SHA256 2f9a3f0861914bf38abfda3aec309e9779dfaaaf7214f7ada627a124eae87275 SHA512 1b26c4f49dee469d6f3a4ae15dd0c429b2b79a407aca9f518af6d1f19f682b6c72dd76c6ed3da38555353219f832efce6f0fb54a4a946cae2fccfa78c67c5757 WHIRLPOOL 972d6d9875af7b5c644d5cf608a2154338988c3fbd8032e7e5ebcf2b6289b8ef56c753dcda7478942fe7d6db7ae9e1779234185c2f4c1913d57b140a86448dd6 diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild new file mode 100644 index 00000000..c4a77f7 --- /dev/null +++ b/dev-lang/logtalk/logtalk-3.07.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="Apache-2.0" + +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 +}
