diff options
author | Keri Harris <keri@gentoo.org> | 2018-07-22 14:29:44 +0200 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2018-07-22 14:30:29 +0200 |
commit | a6ed2a62e70924369da10853f68955223fc70ee2 (patch) | |
tree | a786c0152f35ef7cd98a8fec16e335bc5ec2fb1d /dev-lang/logtalk | |
parent | app-i18n/uim-tomoe-gtk: amd64/x86 stable (diff) | |
download | gentoo-a6ed2a62e70924369da10853f68955223fc70ee2.tar.gz gentoo-a6ed2a62e70924369da10853f68955223fc70ee2.tar.bz2 gentoo-a6ed2a62e70924369da10853f68955223fc70ee2.zip |
dev-lang/logtalk: version bump
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'dev-lang/logtalk')
-rw-r--r-- | dev-lang/logtalk/Manifest | 1 | ||||
-rw-r--r-- | dev-lang/logtalk/files/logtalk-3.18.0-portage.patch | 19 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-3.18.0.ebuild | 130 |
3 files changed, 150 insertions, 0 deletions
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest index 2ce47d523087..2969b08501c7 100644 --- a/dev-lang/logtalk/Manifest +++ b/dev-lang/logtalk/Manifest @@ -2,3 +2,4 @@ DIST logtalk-3.00.0.tar.bz2 1886297 BLAKE2B 7018a39b841c2c7e86945282baf04f83ecbe DIST logtalk-3.03.0.tar.bz2 1997131 BLAKE2B 98cbf7d0b9778b7379b7de1c22ff1772b9bab7475b377cda07c7ae48a60494dc7a39fd0b88ab808f2076d1359b209ca43b1e6565052f0e47d34cb7e9ca33d30b SHA512 8445b0dda78ce0a7a0fe380b03d061271eb924df34c8f035c96a949b177c99234e2998c65f18c55be04c7d661c94473448eb2dc79a586dbc346ab07887f0e98a DIST logtalk-3.07.0.tar.bz2 2114396 BLAKE2B 62b5960c31fee312ce842b450d49a066508569b636277306e60bbca51bb825c967b0fb53779181e31cf8c9e3345addf7e6d2f1aae98f153cc42cc75bab93f3f9 SHA512 1b26c4f49dee469d6f3a4ae15dd0c429b2b79a407aca9f518af6d1f19f682b6c72dd76c6ed3da38555353219f832efce6f0fb54a4a946cae2fccfa78c67c5757 DIST logtalk-3.11.2.tar.bz2 3122034 BLAKE2B bb790f6c11f5812337777718f92585f459ba7acb4f66a246d575061bb269db85fc37dd73bd8e185de3fc4cdfe62dcdf1d26782ff1dfe26846d99b39c57e97dc5 SHA512 5c48a4c2165c8b4bfe3047d7dc42f3210a72488fbc2e7349a93ae17ed3590cdd4ff22417f153f163c76605ffc30a5bc8fad2bd91099edf68e675b1d94fb7662b +DIST logtalk-3.18.0.tar.bz2 3280635 BLAKE2B 0105c0816d3b265f15f9ba6e82a4e6dbc877869c2ade6deac3f2748da12e14bd5de2e82ca8f1793c6553a635ca8a55138e79645219f09146c8adec4b60f70b30 SHA512 1575a564ff23d35b4d1581e7f5725515a548ea57d128fbfa13f8138e41791c50cc9626bdc26a85f5e676500b3f232faf742e434b1416707134e4c9b3f8afe424 diff --git a/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch b/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch new file mode 100644 index 000000000000..cb0d44010d25 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.18.0-portage.patch @@ -0,0 +1,19 @@ +--- logtalk-3.18.0.orig/scripts/logtalk_user_setup.sh 2018-06-26 15:11:02.000000000 +0200 ++++ logtalk-3.18.0/scripts/logtalk_user_setup.sh 2018-07-22 14:05:50.343406307 +0200 +@@ -131,16 +131,6 @@ + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd +-ln -sf "$LOGTALKHOME"/ACKNOWLEDGMENTS.md "$LOGTALKUSER"/ACKNOWLEDGMENTS.md +-ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib +-ln -sf "$LOGTALKHOME"/CONTRIBUTING.md "$LOGTALKUSER"/CONTRIBUTING.md +-ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md +-ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md +-ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt +-ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md +-ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md +-ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md +-ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md + ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters + ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding + ln -sf "$LOGTALKHOME"/integration "$LOGTALKUSER"/integration diff --git a/dev-lang/logtalk/logtalk-3.18.0.ebuild b/dev-lang/logtalk/logtalk-3.18.0.ebuild new file mode 100644 index 000000000000..f7bd2a861f1c --- /dev/null +++ b/dev-lang/logtalk/logtalk-3.18.0.ebuild @@ -0,0 +1,130 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +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="Apache-2.0" + +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="fop xslt" + +DEPEND="" +RDEPEND="${DEPEND} + xslt? ( dev-libs/libxslt ) + fop? ( dev-java/fop )" + +src_prepare() { + epatch "${FILESDIR}"/${P}-portage.patch + + eapply_user +} + +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 docs examples integration \ + library manuals paths scratch tests tools VERSION.txt \ + loader-sample.lgt settings-sample.lgt tester-sample.lgt \ + tests-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 CONTRIBUTING.md \ + CUSTOMIZE.md INSTALL.md LICENSE.txt QUICK_START.md \ + README.md RELEASE_NOTES.md UPGRADING.md VERSION.txt + + 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 ../share/${P}/integration/logtalk_user_setup.sh \ + /usr/bin/logtalk_user_setup + dosym ../share/${P}/integration/bplgt.sh \ + /usr/bin/bplgt + dosym ../share/${P}/integration/cxlgt.sh \ + /usr/bin/cxlgt + dosym ../share/${P}/integration/eclipselgt.sh \ + /usr/bin/eclipselgt + dosym ../share/${P}/integration/gplgt.sh \ + /usr/bin/gplgt + dosym ../share/${P}/integration/jiplgt.sh \ + /usr/bin/jiplgt + dosym ../share/${P}/integration/lplgt.sh \ + /usr/bin/lplgt + dosym ../share/${P}/integration/qplgt.sh \ + /usr/bin/qplgt + dosym ../share/${P}/integration/quintuslgt.sh \ + /usr/bin/quintuslgt + dosym ../share/${P}/integration/sicstuslgt.sh \ + /usr/bin/sicstuslgt + dosym ../share/${P}/integration/swilgt.sh \ + /usr/bin/swilgt + dosym ../share/${P}/integration/xsblgt.sh \ + /usr/bin/xsblgt + dosym ../share/${P}/integration/xsbmtlgt.sh \ + /usr/bin/xsbmtlgt + dosym ../share/${P}/integration/yaplgt.sh \ + /usr/bin/yaplgt + + dosym ../share/${P}/tools/lgtdoc/xml/lgt2xml.sh \ + /usr/bin/lgt2xml + use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2html.sh \ + /usr/bin/lgt2html + use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2txt.sh \ + /usr/bin/lgt2txt + use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2md.sh \ + /usr/bin/lgt2md + use fop && dosym ../share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \ + /usr/bin/lgt2pdf + + # Install environment files + echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk + doenvd 99logtalk +} + +pkg_postinst() { + xdg_mimeinfo_database_update + xdg_desktop_database_update + + 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 "JIProlog: /usr/bin/jiplgt" + 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_mimeinfo_database_update + xdg_desktop_database_update +} |