[gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/

public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/
@ 2017-09-24 13:37 Keri Harris
  0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris @ 2017-09-24 13:37 UTC (permalink / raw
  To: gentoo-commits

commit:     6546715cb59a71e85634893931752e7fbd5bef2b
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 24 13:36:54 2017 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Sep 24 13:37:09 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6546715c

dev-lang/logtalk: version bump

Package-Manager: Portage-2.3.8, Repoman-2.3.1

 dev-lang/logtalk/Manifest                          |   1 +
 .../logtalk/files/logtalk-3.11.2-portage.patch     |  18 +++
 dev-lang/logtalk/logtalk-3.11.2.ebuild             | 126 +++++++++++++++++++++
 3 files changed, 145 insertions(+)

diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index 859b6c014dc..d3e88db36ce 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,3 +1,4 @@
 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
+DIST logtalk-3.11.2.tar.bz2 3122034 SHA256 4cccb40516194b1d461a72d1756c2ecb7eb7b38399586c1fd6893ceee774ad81 SHA512 5c48a4c2165c8b4bfe3047d7dc42f3210a72488fbc2e7349a93ae17ed3590cdd4ff22417f153f163c76605ffc30a5bc8fad2bd91099edf68e675b1d94fb7662b WHIRLPOOL e484d308ae75144bdfa009b45af20059df1baf428989c20260fd7304581586050897671621bc96378ec883885f9406efccb1f4de3444bed7fbe94c360f8c80f4

diff --git a/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch
new file mode 100644
index 00000000000..bbe75385a92
--- /dev/null
+++ b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch
@@ -0,0 +1,18 @@
+diff -urN logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh logtalk-3.11.2/scripts/logtalk_user_setup.sh
+--- logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh	2017-08-28 10:13:52.000000000 +0200
++++ logtalk-3.11.2/scripts/logtalk_user_setup.sh	2017-09-24 14:47:36.815968990 +0200
+@@ -130,14 +130,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"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
+-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"/manuals "$LOGTALKUSER"/manuals
+ ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths

diff --git a/dev-lang/logtalk/logtalk-3.11.2.ebuild b/dev-lang/logtalk/logtalk-3.11.2.ebuild
new file mode 100644
index 00000000000..4469d4c3493
--- /dev/null
+++ b/dev-lang/logtalk/logtalk-3.11.2.ebuild
@@ -0,0 +1,126 @@
+# Copyright 1999-2017 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="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
+}
+
+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 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 /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/jiplgt.sh \
+		/usr/bin/jiplgt
+	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 "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() {
+	fdo-mime_desktop_database_update
+}


^ permalink raw reply related	[flat|nested] 5+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/
@ 2018-04-20 19:43 David Seifert
  0 siblings, 0 replies; 5+ messages in thread
From: David Seifert @ 2018-04-20 19:43 UTC (permalink / raw
  To: gentoo-commits

commit:     bde0099af8ccfcbe2cb758d55b86fef8ec8b7dc4
Author:     Marty E. Plummer <hanetzer <AT> startmail <DOT> com>
AuthorDate: Sun Apr  8 20:36:15 2018 +0000
Commit:     David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Fri Apr 20 19:43:25 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bde0099a

dev-lang/logtalk: clean duplicate patches

Package-Manager: Portage-2.3.28, Repoman-2.3.9
Closes: https://github.com/gentoo/gentoo/pull/7899

 .../files/logtalk-3.00.0-no-user-docs.patch        |  4 +--
 .../files/logtalk-3.03.0-no-user-docs.patch        |  4 +--
 .../files/logtalk-3.07.0-no-user-docs.patch        | 34 ----------------------
 .../logtalk/files/logtalk-3.11.2-portage.patch     |  5 ++--
 dev-lang/logtalk/logtalk-3.00.0.ebuild             |  4 +--
 dev-lang/logtalk/logtalk-3.03.0.ebuild             |  4 +--
 dev-lang/logtalk/logtalk-3.07.0.ebuild             |  4 +--
 7 files changed, 12 insertions(+), 47 deletions(-)

diff --git a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch
index d25f19347d6..7c14f28413a 100644
--- a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch
+++ b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch
@@ -1,5 +1,5 @@
---- logtalk-3.00.0.orig/scripts/logtalk_user_setup.sh	2015-01-08 14:04:03.000000000 +0100
-+++ logtalk-3.00.0/scripts/logtalk_user_setup.sh	2015-01-08 14:05:05.000000000 +0100
+--- a/scripts/logtalk_user_setup.sh
++++ b/scripts/logtalk_user_setup.sh
 @@ -114,14 +114,12 @@
  
  echo "Copying Logtalk files and directories..."

diff --git a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
index b28fd4852b0..6d4e7ab9154 100644
--- a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
+++ b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
@@ -1,5 +1,5 @@
---- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh	2016-02-16 22:09:02.000000000 +0100
-+++ logtalk-3.03.0/scripts/logtalk_user_setup.sh	2016-02-20 09:49:34.000000000 +0100
+--- a/scripts/logtalk_user_setup.sh
++++ b/scripts/logtalk_user_setup.sh
 @@ -110,14 +110,12 @@
  
  echo "Copying Logtalk files and directories..."

diff --git a/dev-lang/logtalk/files/logtalk-3.07.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.07.0-no-user-docs.patch
deleted file mode 100644
index b28fd4852b0..00000000000
--- a/dev-lang/logtalk/files/logtalk-3.07.0-no-user-docs.patch
+++ /dev/null
@@ -1,34 +0,0 @@
---- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh	2016-02-16 22:09:02.000000000 +0100
-+++ logtalk-3.03.0/scripts/logtalk_user_setup.sh	2016-02-20 09:49:34.000000000 +0100
-@@ -110,14 +110,12 @@
- 
- echo "Copying Logtalk files and directories..."
- mkdir -p "$LOGTALKUSER"/contributions
--mkdir -p "$LOGTALKUSER"/docs
- mkdir -p "$LOGTALKUSER"/examples
- mkdir -p "$LOGTALKUSER"/library
- mkdir -p "$LOGTALKUSER"/scratch
- mkdir -p "$LOGTALKUSER"/tests
- mkdir -p "$LOGTALKUSER"/tools
- cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
--cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
-@@ -131,16 +129,7 @@
- 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"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
--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"/manuals "$LOGTALKUSER"/manuals
- ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
- ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
- ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html

diff --git a/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch
index bbe75385a92..f416217399f 100644
--- a/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch
+++ b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch
@@ -1,6 +1,5 @@
-diff -urN logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh logtalk-3.11.2/scripts/logtalk_user_setup.sh
---- logtalk-3.11.2.orig/scripts/logtalk_user_setup.sh	2017-08-28 10:13:52.000000000 +0200
-+++ logtalk-3.11.2/scripts/logtalk_user_setup.sh	2017-09-24 14:47:36.815968990 +0200
+--- a/scripts/logtalk_user_setup.sh
++++ b/scripts/logtalk_user_setup.sh
 @@ -130,14 +130,6 @@
  rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2*
  rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd

diff --git a/dev-lang/logtalk/logtalk-3.00.0.ebuild b/dev-lang/logtalk/logtalk-3.00.0.ebuild
index 18801007a6b..e8110105911 100644
--- a/dev-lang/logtalk/logtalk-3.00.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.00.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -21,7 +21,7 @@ RDEPEND="
 	${DEPEND}"
 
 src_prepare() {
-	epatch "${FILESDIR}"/${P}-no-user-docs.patch
+	epatch "${FILESDIR}"/${PN}-3.00.0-no-user-docs.patch
 }
 
 src_install() {

diff --git a/dev-lang/logtalk/logtalk-3.03.0.ebuild b/dev-lang/logtalk/logtalk-3.03.0.ebuild
index dae592f640b..b4dc94c188c 100644
--- a/dev-lang/logtalk/logtalk-3.03.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.03.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -21,7 +21,7 @@ RDEPEND="
 	${DEPEND}"
 
 src_prepare() {
-	epatch "${FILESDIR}"/${P}-no-user-docs.patch
+	epatch "${FILESDIR}"/${PN}-3.03.0-no-user-docs.patch
 }
 
 src_install() {

diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild
index cb0cc659b75..e21a6aae069 100644
--- a/dev-lang/logtalk/logtalk-3.07.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.07.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -21,7 +21,7 @@ RDEPEND="
 	${DEPEND}"
 
 src_prepare() {
-	epatch "${FILESDIR}"/${P}-no-user-docs.patch
+	epatch "${FILESDIR}"/${PN}-3.03.0-no-user-docs.patch
 }
 
 src_install() {


^ permalink raw reply related	[flat|nested] 5+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/
@ 2018-07-22 12:34 Keri Harris
  0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris @ 2018-07-22 12:34 UTC (permalink / raw
  To: gentoo-commits

commit:     a6ed2a62e70924369da10853f68955223fc70ee2
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 22 12:29:44 2018 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Jul 22 12:30:29 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a6ed2a62

dev-lang/logtalk: version bump

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-lang/logtalk/Manifest                          |   1 +
 .../logtalk/files/logtalk-3.18.0-portage.patch     |  19 +++
 dev-lang/logtalk/logtalk-3.18.0.ebuild             | 130 +++++++++++++++++++++
 3 files changed, 150 insertions(+)

diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index 2ce47d52308..2969b08501c 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 00000000000..cb0d44010d2
--- /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 00000000000..f7bd2a861f1
--- /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
+}


^ permalink raw reply related	[flat|nested] 5+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/
@ 2018-07-22 12:34 Keri Harris
  0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris @ 2018-07-22 12:34 UTC (permalink / raw
  To: gentoo-commits

commit:     bcaca65af80c7378ba05f12cf5be10471bf73095
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 22 12:33:38 2018 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Jul 22 12:33:38 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcaca65a

dev-lang/logtalk: remove old versions

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-lang/logtalk/Manifest                          |   3 -
 .../files/logtalk-3.00.0-no-user-docs.patch        |  34 ------
 .../files/logtalk-3.03.0-no-user-docs.patch        |  34 ------
 dev-lang/logtalk/logtalk-3.00.0.ebuild             | 132 ---------------------
 dev-lang/logtalk/logtalk-3.03.0.ebuild             | 132 ---------------------
 dev-lang/logtalk/logtalk-3.07.0.ebuild             | 130 --------------------
 6 files changed, 465 deletions(-)

diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index 2969b08501c..81455d243b6 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,5 +1,2 @@
-DIST logtalk-3.00.0.tar.bz2 1886297 BLAKE2B 7018a39b841c2c7e86945282baf04f83ecbe0dccc5d3760af963bd6e623acf8d04b3e6ce3aa7a702c7f1eb3a8f70d8c6d00d394ec249d2cbfa021d815e4db398 SHA512 bb4ecc709e71eee9a9a532bfcef764095e581189f3e17c9c0f2d80ceeaa4dd993d7da087b07e27f4a377a40d7a798378591d89ab6c801c7a26c1b1d646c7b76c
-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.00.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch
deleted file mode 100644
index 7c14f28413a..00000000000
--- a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch
+++ /dev/null
@@ -1,34 +0,0 @@
---- a/scripts/logtalk_user_setup.sh
-+++ b/scripts/logtalk_user_setup.sh
-@@ -114,14 +114,12 @@
- 
- echo "Copying Logtalk files and directories..."
- mkdir -p "$LOGTALKUSER"/contributions
--mkdir -p "$LOGTALKUSER"/docs
- mkdir -p "$LOGTALKUSER"/examples
- mkdir -p "$LOGTALKUSER"/library
- mkdir -p "$LOGTALKUSER"/scratch
- mkdir -p "$LOGTALKUSER"/tests
- mkdir -p "$LOGTALKUSER"/tools
- cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
--cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
-@@ -135,16 +133,7 @@
- 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"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
--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"/manuals "$LOGTALKUSER"/manuals
- ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
- ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
- ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html

diff --git a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
deleted file mode 100644
index 6d4e7ab9154..00000000000
--- a/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
+++ /dev/null
@@ -1,34 +0,0 @@
---- a/scripts/logtalk_user_setup.sh
-+++ b/scripts/logtalk_user_setup.sh
-@@ -110,14 +110,12 @@
- 
- echo "Copying Logtalk files and directories..."
- mkdir -p "$LOGTALKUSER"/contributions
--mkdir -p "$LOGTALKUSER"/docs
- mkdir -p "$LOGTALKUSER"/examples
- mkdir -p "$LOGTALKUSER"/library
- mkdir -p "$LOGTALKUSER"/scratch
- mkdir -p "$LOGTALKUSER"/tests
- mkdir -p "$LOGTALKUSER"/tools
- cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
--cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
- cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
-@@ -131,16 +129,7 @@
- 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"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
--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"/manuals "$LOGTALKUSER"/manuals
- ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
- ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
- ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html

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 d21ce5022af..00000000000
--- 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
-}

diff --git a/dev-lang/logtalk/logtalk-3.03.0.ebuild b/dev-lang/logtalk/logtalk-3.03.0.ebuild
deleted file mode 100644
index 018dbd5eff8..00000000000
--- a/dev-lang/logtalk/logtalk-3.03.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.03.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
-}

diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild
deleted file mode 100644
index b5e3854b4f1..00000000000
--- a/dev-lang/logtalk/logtalk-3.07.0.ebuild
+++ /dev/null
@@ -1,130 +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="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}"/${PN}-3.03.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 \
-		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 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 "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
-}


^ permalink raw reply related	[flat|nested] 5+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/
@ 2020-03-21  9:16 Keri Harris
  0 siblings, 0 replies; 5+ messages in thread
From: Keri Harris @ 2020-03-21  9:16 UTC (permalink / raw
  To: gentoo-commits

commit:     fd37a6730576befbd598aa0582c40fdadb0a1aa3
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 21 09:15:48 2020 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sat Mar 21 09:16:02 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fd37a673

dev-lang/logtalk: version bump

Signed-off-by: Keri Harris <keri <AT> gentoo.org>
Package-Manager: Portage-2.3.76, Repoman-2.3.11

 dev-lang/logtalk/Manifest                          |   1 +
 .../logtalk/files/logtalk-3.36.0-portage.patch     |  19 +++
 dev-lang/logtalk/logtalk-3.36.0.ebuild             | 130 +++++++++++++++++++++
 3 files changed, 150 insertions(+)

diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index 81455d243b6..617866ff58c 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,2 +1,3 @@
 DIST logtalk-3.11.2.tar.bz2 3122034 BLAKE2B bb790f6c11f5812337777718f92585f459ba7acb4f66a246d575061bb269db85fc37dd73bd8e185de3fc4cdfe62dcdf1d26782ff1dfe26846d99b39c57e97dc5 SHA512 5c48a4c2165c8b4bfe3047d7dc42f3210a72488fbc2e7349a93ae17ed3590cdd4ff22417f153f163c76605ffc30a5bc8fad2bd91099edf68e675b1d94fb7662b
 DIST logtalk-3.18.0.tar.bz2 3280635 BLAKE2B 0105c0816d3b265f15f9ba6e82a4e6dbc877869c2ade6deac3f2748da12e14bd5de2e82ca8f1793c6553a635ca8a55138e79645219f09146c8adec4b60f70b30 SHA512 1575a564ff23d35b4d1581e7f5725515a548ea57d128fbfa13f8138e41791c50cc9626bdc26a85f5e676500b3f232faf742e434b1416707134e4c9b3f8afe424
+DIST logtalk-3.36.0.tar.bz2 18373894 BLAKE2B 3f4917dea47b32760edfde0538a260e5405b566520c514ec137766d17ad532f1d3e3a7a6d05b4b643b21933073951ed41bf92161ae49545eb458619444b10210 SHA512 0e93f091cb24aed3b08db05df29484e708e14cf58a673a42df70c899f3bafae30896be118d89dfdf3f3cb7d4ba520a815e46d563dd7418f80912b7067ed7da8e

diff --git a/dev-lang/logtalk/files/logtalk-3.36.0-portage.patch b/dev-lang/logtalk/files/logtalk-3.36.0-portage.patch
new file mode 100644
index 00000000000..8e08a9f2ff7
--- /dev/null
+++ b/dev-lang/logtalk/files/logtalk-3.36.0-portage.patch
@@ -0,0 +1,19 @@
+--- logtalk-3.36.0.orig/scripts/logtalk_user_setup.sh	2018-06-26 15:11:02.000000000 +0200
++++ logtalk-3.36.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.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
new file mode 100644
index 00000000000..f7a62987873
--- /dev/null
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -0,0 +1,130 @@
+# Copyright 1999-2020 Gentoo Authors
+# 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
+
+	# 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
+}


^ permalink raw reply related	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2020-03-21  9:16 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-07-22 12:34 [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/, dev-lang/logtalk/files/ Keri Harris
  -- strict thread matches above, loose matches on Subject: below --
2020-03-21  9:16 Keri Harris
2018-07-22 12:34 Keri Harris
2018-04-20 19:43 David Seifert
2017-09-24 13:37 Keri Harris

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox