* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2016-10-03 12:01 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2016-10-03 12:01 UTC (permalink / raw
To: gentoo-commits
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
+}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2017-09-24 12:05 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2017-09-24 12:05 UTC (permalink / raw
To: gentoo-commits
commit: 71d1e899324295b45f8e7968e5a29807ae498200
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 24 12:04:52 2017 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Sep 24 12:05:04 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=71d1e899
dev-lang/logtalk: user-setup runs automatically on first invocation
Package-Manager: Portage-2.3.8, Repoman-2.3.1
dev-lang/logtalk/logtalk-3.07.0.ebuild | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild
index cf66066889e..cccf00c411f 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-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -101,9 +101,6 @@ src_install() {
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"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2017-09-24 12:17 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2017-09-24 12:17 UTC (permalink / raw
To: gentoo-commits
commit: 5f0c57154a24814db320ab0533b0d6c1e1e04b6a
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 24 12:16:47 2017 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Sep 24 12:17:24 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5f0c5715
dev-lang/logtalk: install all lgt files referenced during user-setup
Package-Manager: Portage-2.3.8, Repoman-2.3.1
dev-lang/logtalk/logtalk-3.07.0.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild
index cccf00c411f..cb0cc659b75 100644
--- a/dev-lang/logtalk/logtalk-3.07.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.07.0.ebuild
@@ -32,6 +32,7 @@ src_install() {
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"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2017-09-24 12:21 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2017-09-24 12:21 UTC (permalink / raw
To: gentoo-commits
commit: 1f04a79d2461844ba120589151a0a12e29d5c326
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 24 12:20:47 2017 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Sep 24 12:20:47 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1f04a79d
dev-lang/logtalk: remove old versions
Package-Manager: Portage-2.3.8, Repoman-2.3.1
dev-lang/logtalk/Manifest | 2 -
dev-lang/logtalk/logtalk-2.41.0.ebuild | 99 ----------------------------------
dev-lang/logtalk/logtalk-2.42.2.ebuild | 99 ----------------------------------
dev-lang/logtalk/metadata.xml | 5 --
4 files changed, 205 deletions(-)
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index a2b29eef34c..859b6c014dc 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,5 +1,3 @@
-DIST lgt2410.tar.bz2 621950 SHA256 ba083578b7b8665cec8a2123152f42b4f554d586f8422ef521e32eb7e7306267 SHA512 81377ef68cd9ed6fbcfb07c818efa1c9310c3918cfdd400886141c976a3eeea0086c00fa3e9a45475b8852c3cd3163ee56def12aa26c2c360ddf2999ba9501b7 WHIRLPOOL 6775f69b6d69835acf1dc585312c2ecc56292de9fe6068ccf881611d973ed493b9420ca958eb2ce9333889a780003f6b2f9ffdfbfc83c8e8624b0bf9d9db82f5
-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-2.41.0.ebuild b/dev-lang/logtalk/logtalk-2.41.0.ebuild
deleted file mode 100644
index 73e4602bde3..00000000000
--- a/dev-lang/logtalk/logtalk-2.41.0.ebuild
+++ /dev/null
@@ -1,99 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-inherit eutils versionator fdo-mime
-
-DESCRIPTION="Open source object-oriented logic programming language"
-HOMEPAGE="http://logtalk.org"
-MY_PV="lgt$(delete_all_version_separators)"
-SRC_URI="http://logtalk.org/files/${MY_PV}.tar.bz2"
-LICENSE="Artistic-2"
-
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="gnupl qupl swipl xsbpl yappl xslt fop"
-
-DEPEND=""
-RDEPEND="
- gnupl? ( dev-lang/gprolog )
- qupl? ( !amd64? ( dev-lang/qu-prolog ) )
- swipl? ( dev-lang/swi-prolog )
- xsbpl? ( x86? ( dev-lang/xsb ) )
- yappl? ( dev-lang/yap )
- xslt? ( dev-libs/libxslt )
- fop? ( dev-java/fop )
- ${DEPEND}"
-
-S="${WORKDIR}/${MY_PV}"
-
-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 compiler configs contributions VERSION.txt \
- integration library wenv xml libpaths \
- examples settings.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 BIBLIOGRAPHY.bib CUSTOMIZE.txt INSTALL.txt \
- LICENSE.txt QUICK_START.txt README.txt \
- RELEASE_NOTES.txt UPGRADING.txt VERSION.txt
- dohtml -r manuals/* || die "Failed to install html manual"
-
- 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
- use gnupl && dosym /usr/share/${P}/integration/gplgt.sh \
- /usr/bin/gplgt
- use qupl && ! use amd64 && dosym /usr/share/${P}/integration/qplgt.sh \
- /usr/bin/qplgt
- use swipl && dosym /usr/share/${P}/integration/swilgt.sh \
- /usr/bin/swilgt
- use xsbpl && use x86 && dosym /usr/share/${P}/integration/xsblgt.sh \
- /usr/bin/xsblgt
- use yappl && dosym /usr/share/${P}/integration/yaplgt.sh \
- /usr/bin/yaplgt
-
- dosym /usr/share/${P}/xml/lgt2xml.sh /usr/bin/lgt2xml
- use xslt && dosym /usr/share/${P}/xml/lgt2html.sh /usr/bin/lgt2html
- use xslt && dosym /usr/share/${P}/xml/lgt2txt.sh /usr/bin/lgt2txt
- use fop && dosym /usr/share/${P}/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 "To start logtalk use one of the following:"
- use gnupl && ewarn "GNU Prolog: /usr/bin/gplgt"
- use qupl && ! use amd64 && ewarn "Qu Prolog: /usr/bin/qplgt"
- use swipl && ewarn "SWI Prolog: /usr/bin/swilgt"
- use xsbpl && use x86 && ewarn "XSB: /usr/bin/xsblgt"
- use yappl && 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
-}
diff --git a/dev-lang/logtalk/logtalk-2.42.2.ebuild b/dev-lang/logtalk/logtalk-2.42.2.ebuild
deleted file mode 100644
index 73e4602bde3..00000000000
--- a/dev-lang/logtalk/logtalk-2.42.2.ebuild
+++ /dev/null
@@ -1,99 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-inherit eutils versionator fdo-mime
-
-DESCRIPTION="Open source object-oriented logic programming language"
-HOMEPAGE="http://logtalk.org"
-MY_PV="lgt$(delete_all_version_separators)"
-SRC_URI="http://logtalk.org/files/${MY_PV}.tar.bz2"
-LICENSE="Artistic-2"
-
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="gnupl qupl swipl xsbpl yappl xslt fop"
-
-DEPEND=""
-RDEPEND="
- gnupl? ( dev-lang/gprolog )
- qupl? ( !amd64? ( dev-lang/qu-prolog ) )
- swipl? ( dev-lang/swi-prolog )
- xsbpl? ( x86? ( dev-lang/xsb ) )
- yappl? ( dev-lang/yap )
- xslt? ( dev-libs/libxslt )
- fop? ( dev-java/fop )
- ${DEPEND}"
-
-S="${WORKDIR}/${MY_PV}"
-
-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 compiler configs contributions VERSION.txt \
- integration library wenv xml libpaths \
- examples settings.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 BIBLIOGRAPHY.bib CUSTOMIZE.txt INSTALL.txt \
- LICENSE.txt QUICK_START.txt README.txt \
- RELEASE_NOTES.txt UPGRADING.txt VERSION.txt
- dohtml -r manuals/* || die "Failed to install html manual"
-
- 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
- use gnupl && dosym /usr/share/${P}/integration/gplgt.sh \
- /usr/bin/gplgt
- use qupl && ! use amd64 && dosym /usr/share/${P}/integration/qplgt.sh \
- /usr/bin/qplgt
- use swipl && dosym /usr/share/${P}/integration/swilgt.sh \
- /usr/bin/swilgt
- use xsbpl && use x86 && dosym /usr/share/${P}/integration/xsblgt.sh \
- /usr/bin/xsblgt
- use yappl && dosym /usr/share/${P}/integration/yaplgt.sh \
- /usr/bin/yaplgt
-
- dosym /usr/share/${P}/xml/lgt2xml.sh /usr/bin/lgt2xml
- use xslt && dosym /usr/share/${P}/xml/lgt2html.sh /usr/bin/lgt2html
- use xslt && dosym /usr/share/${P}/xml/lgt2txt.sh /usr/bin/lgt2txt
- use fop && dosym /usr/share/${P}/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 "To start logtalk use one of the following:"
- use gnupl && ewarn "GNU Prolog: /usr/bin/gplgt"
- use qupl && ! use amd64 && ewarn "Qu Prolog: /usr/bin/qplgt"
- use swipl && ewarn "SWI Prolog: /usr/bin/swilgt"
- use xsbpl && use x86 && ewarn "XSB: /usr/bin/xsblgt"
- use yappl && 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
-}
diff --git a/dev-lang/logtalk/metadata.xml b/dev-lang/logtalk/metadata.xml
index e6cc2e55227..7adf5e18089 100644
--- a/dev-lang/logtalk/metadata.xml
+++ b/dev-lang/logtalk/metadata.xml
@@ -6,11 +6,6 @@
<name>Prolog</name>
</maintainer>
<use>
- <flag name="gnupl">Support GNU Prolog back-end compiler</flag>
- <flag name="qupl">Support Qu-Prolog back-end compiler</flag>
- <flag name="swipl">Support SWI-Prolog back-end compiler</flag>
- <flag name="xsbpl">Support XSB back-end compiler</flag>
- <flag name="yappl">Support YAP back-end compiler</flag>
<flag name="xslt">Support for generating html documentation using xslt</flag>
<flag name="fop">Support for generating pdf documentation using fop</flag>
</use>
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2018-04-20 19:43 David Seifert
0 siblings, 0 replies; 18+ messages in thread
From: David Seifert @ 2018-04-20 19:43 UTC (permalink / raw
To: gentoo-commits
commit: 339c7c929175023d651c6f0145252de0680f1d49
Author: Marty E. Plummer <hanetzer <AT> startmail <DOT> com>
AuthorDate: Sun Apr 8 20:37:21 2018 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Fri Apr 20 19:43:30 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=339c7c92
dev-lang/logtalk: fdo-mime->xdg-utils
Package-Manager: Portage-2.3.28, Repoman-2.3.9
dev-lang/logtalk/logtalk-3.00.0.ebuild | 6 +++---
dev-lang/logtalk/logtalk-3.03.0.ebuild | 6 +++---
dev-lang/logtalk/logtalk-3.07.0.ebuild | 6 +++---
dev-lang/logtalk/logtalk-3.11.2.ebuild | 8 ++++----
4 files changed, 13 insertions(+), 13 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.00.0.ebuild b/dev-lang/logtalk/logtalk-3.00.0.ebuild
index e8110105911..d21ce5022af 100644
--- a/dev-lang/logtalk/logtalk-3.00.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.00.0.ebuild
@@ -3,7 +3,7 @@
EAPI=5
-inherit eutils fdo-mime
+inherit eutils xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="http://logtalk.org"
@@ -99,7 +99,7 @@ src_install() {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
ewarn "Before running logtalk, users should execute"
ewarn "logtalk_user_setup *once*."
@@ -128,5 +128,5 @@ pkg_postinst() {
}
pkg_postrm() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
}
diff --git a/dev-lang/logtalk/logtalk-3.03.0.ebuild b/dev-lang/logtalk/logtalk-3.03.0.ebuild
index b4dc94c188c..018dbd5eff8 100644
--- a/dev-lang/logtalk/logtalk-3.03.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.03.0.ebuild
@@ -3,7 +3,7 @@
EAPI=5
-inherit eutils fdo-mime
+inherit eutils xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="http://logtalk.org"
@@ -99,7 +99,7 @@ src_install() {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
ewarn "Before running logtalk, users should execute"
ewarn "logtalk_user_setup *once*"
@@ -128,5 +128,5 @@ pkg_postinst() {
}
pkg_postrm() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
}
diff --git a/dev-lang/logtalk/logtalk-3.07.0.ebuild b/dev-lang/logtalk/logtalk-3.07.0.ebuild
index e21a6aae069..b5e3854b4f1 100644
--- a/dev-lang/logtalk/logtalk-3.07.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.07.0.ebuild
@@ -3,7 +3,7 @@
EAPI=5
-inherit eutils fdo-mime
+inherit eutils xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="http://logtalk.org"
@@ -100,7 +100,7 @@ src_install() {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
ewarn "The following integration scripts are installed"
ewarn "for running logtalk with selected Prolog compilers:"
@@ -126,5 +126,5 @@ pkg_postinst() {
}
pkg_postrm() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
}
diff --git a/dev-lang/logtalk/logtalk-3.11.2.ebuild b/dev-lang/logtalk/logtalk-3.11.2.ebuild
index 4469d4c3493..682b01ea55f 100644
--- a/dev-lang/logtalk/logtalk-3.11.2.ebuild
+++ b/dev-lang/logtalk/logtalk-3.11.2.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
-inherit eutils fdo-mime
+inherit eutils xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="http://logtalk.org"
@@ -95,7 +95,7 @@ src_install() {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
ewarn "The following integration scripts are installed"
ewarn "for running logtalk with selected Prolog compilers:"
@@ -122,5 +122,5 @@ pkg_postinst() {
}
pkg_postrm() {
- fdo-mime_desktop_database_update
+ xdg_desktop_database_update
}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2018-07-22 12:18 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2018-07-22 12:18 UTC (permalink / raw
To: gentoo-commits
commit: 0ff63aff8b6e8162d6a9f7f4244531bf242af9ce
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 22 12:17:36 2018 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sun Jul 22 12:17:56 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0ff63aff
dev-lang/logtalk: update mimeinfo database
Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/logtalk/logtalk-3.11.2.ebuild | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev-lang/logtalk/logtalk-3.11.2.ebuild b/dev-lang/logtalk/logtalk-3.11.2.ebuild
index 682b01ea55f..a9cb4028bfe 100644
--- a/dev-lang/logtalk/logtalk-3.11.2.ebuild
+++ b/dev-lang/logtalk/logtalk-3.11.2.ebuild
@@ -95,6 +95,7 @@ src_install() {
}
pkg_postinst() {
+ xdg_mimeinfo_database_update
xdg_desktop_database_update
ewarn "The following integration scripts are installed"
@@ -122,5 +123,6 @@ pkg_postinst() {
}
pkg_postrm() {
+ xdg_mimeinfo_database_update
xdg_desktop_database_update
}
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2020-03-21 9:18 Keri Harris
0 siblings, 0 replies; 18+ messages in thread
From: Keri Harris @ 2020-03-21 9:18 UTC (permalink / raw
To: gentoo-commits
commit: 38b1f7d9baeee308b047c33a291431d8929ef37d
Author: Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 21 09:17:40 2020 +0000
Commit: Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Sat Mar 21 09:17:40 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38b1f7d9
dev-lang/logtalk: remove old version
Signed-off-by: Keri Harris <keri <AT> gentoo.org>
Package-Manager: Portage-2.3.76, Repoman-2.3.11
dev-lang/logtalk/Manifest | 1 -
dev-lang/logtalk/logtalk-3.11.2.ebuild | 128 ---------------------------------
2 files changed, 129 deletions(-)
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index 617866ff58c..fcb2ba32cf7 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,3 +1,2 @@
-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/logtalk-3.11.2.ebuild b/dev-lang/logtalk/logtalk-3.11.2.ebuild
deleted file mode 100644
index 6a29f2f8591..00000000000
--- a/dev-lang/logtalk/logtalk-3.11.2.ebuild
+++ /dev/null
@@ -1,128 +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="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
-
- # 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() {
- 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] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2020-06-04 9:06 David Seifert
0 siblings, 0 replies; 18+ messages in thread
From: David Seifert @ 2020-06-04 9:06 UTC (permalink / raw
To: gentoo-commits
commit: c72fd6c5d5c1cf405b6c7a7a0b9568007632396e
Author: Alexey Sokolov <sokolov <AT> google <DOT> com>
AuthorDate: Thu Jun 4 09:06:12 2020 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Thu Jun 4 09:06:12 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c72fd6c5
dev-lang/logtalk: update homepage
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alexey Sokolov <sokolov <AT> google.com>
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.18.0.ebuild | 6 +++---
dev-lang/logtalk/logtalk-3.36.0.ebuild | 4 ++--
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.18.0.ebuild b/dev-lang/logtalk/logtalk-3.18.0.ebuild
index ebc48ba9a70..63726459ddf 100644
--- a/dev-lang/logtalk/logtalk-3.18.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.18.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -6,8 +6,8 @@ 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"
+HOMEPAGE="https://logtalk.org"
+SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
index f7a62987873..63726459ddf 100644
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -6,8 +6,8 @@ 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"
+HOMEPAGE="https://logtalk.org"
+SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2020-06-26 17:43 Agostino Sarubbo
0 siblings, 0 replies; 18+ messages in thread
From: Agostino Sarubbo @ 2020-06-26 17:43 UTC (permalink / raw
To: gentoo-commits
commit: 7f23a6c67598155dfb1f33f5a455c2f076267c0b
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 26 17:41:44 2020 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Fri Jun 26 17:41:44 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7f23a6c6
dev-lang/logtalk: amd64 stable wrt bug #729594
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.36.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
index 63726459ddf..b8278c2443f 100644
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc ~x86"
IUSE="fop xslt"
DEPEND=""
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2020-06-27 19:15 Sergei Trofimovich
0 siblings, 0 replies; 18+ messages in thread
From: Sergei Trofimovich @ 2020-06-27 19:15 UTC (permalink / raw
To: gentoo-commits
commit: 8c38ad639c610a4db08254e88b33fb4b50957915
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 27 19:15:29 2020 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sat Jun 27 19:15:29 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c38ad63
dev-lang/logtalk: stable 3.36.0 for ppc
stable wrt bug #
Tested-by: ernsteiswuerfel
Package-Manager: Portage-2.3.103, Repoman-2.3.23
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.36.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
index b8278c2443f..b05966e8274 100644
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="amd64 ~ppc ~x86"
+KEYWORDS="amd64 ppc ~x86"
IUSE="fop xslt"
DEPEND=""
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2020-06-28 20:44 Agostino Sarubbo
0 siblings, 0 replies; 18+ messages in thread
From: Agostino Sarubbo @ 2020-06-28 20:44 UTC (permalink / raw
To: gentoo-commits
commit: 5a1d4920f45828e1d7f829583c142d60e6aed3c9
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 28 20:43:05 2020 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Sun Jun 28 20:43:05 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5a1d4920
dev-lang/logtalk: x86 stable wrt bug #729594
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.36.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
index b05966e8274..dc96c5d1fc5 100644
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="amd64 ppc ~x86"
+KEYWORDS="amd64 ppc x86"
IUSE="fop xslt"
DEPEND=""
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2021-04-21 18:51 Sam James
0 siblings, 0 replies; 18+ messages in thread
From: Sam James @ 2021-04-21 18:51 UTC (permalink / raw
To: gentoo-commits
commit: 587ed70e0ef1cd93bf48d52b71e466aafcf6a857
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 21 09:15:27 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Apr 21 18:50:09 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=587ed70e
dev-lang/logtalk: drop epatch
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.36.0.ebuild | 14 ++++++--------
1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
index 130065d0fb4..51b8770f7e8 100644
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.36.0.ebuild
@@ -3,7 +3,7 @@
EAPI=6
-inherit epatch xdg-utils
+inherit xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="https://logtalk.org"
@@ -19,22 +19,20 @@ RDEPEND="${DEPEND}
xslt? ( dev-libs/libxslt )
fop? ( dev-java/fop )"
-src_prepare() {
- epatch "${FILESDIR}"/${P}-portage.patch
-
- eapply_user
-}
+PATCHES=(
+ "${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}"
+ mkdir -p "${ED}/usr/share/${P}" || die
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}" \
+ "${ED}/usr/share/${P}" \
|| die "Failed to install files"
# Install mime file, the database will be updated later
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-04-13 7:24 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-04-13 7:24 UTC (permalink / raw
To: gentoo-commits
commit: ce5fb5ee2a8a170ebf62e2bf14acd9ea7eab876b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 13 07:23:15 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 13 07:23:15 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ce5fb5ee
dev-lang/logtalk: use xdg.eclass
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.47.0-r1.ebuild | 10 ++--------
1 file changed, 2 insertions(+), 8 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
index a7a012192b80..e65ccc6e0960 100644
--- a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
+++ b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
@@ -3,7 +3,7 @@
EAPI=8
-inherit xdg-utils
+inherit xdg
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="https://logtalk.org"
@@ -98,8 +98,7 @@ src_install() {
}
pkg_postinst() {
- xdg_mimeinfo_database_update
- xdg_desktop_database_update
+ xdg_pkg_postinst
ewarn "The following integration scripts are installed"
ewarn "for running logtalk with selected Prolog compilers:"
@@ -126,8 +125,3 @@ pkg_postinst() {
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] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-04-13 7:24 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-04-13 7:24 UTC (permalink / raw
To: gentoo-commits
commit: 44f0c6826031d2850cfc4c799e42c851ce71af50
Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Tue Mar 26 19:05:25 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 13 07:18:33 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44f0c682
dev-lang/logtalk: EAPI8 bump, minor improvements
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/35934
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../{logtalk-3.47.0.ebuild => logtalk-3.47.0-r1.ebuild} | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/dev-lang/logtalk/logtalk-3.47.0.ebuild b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
similarity index 94%
rename from dev-lang/logtalk/logtalk-3.47.0.ebuild
rename to dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
index 962a886f27d5..a7a012192b80 100644
--- a/dev-lang/logtalk/logtalk-3.47.0.ebuild
+++ b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
@@ -1,7 +1,7 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=6
+EAPI=8
inherit xdg-utils
@@ -14,8 +14,7 @@ SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE="fop xslt"
-DEPEND=""
-RDEPEND="${DEPEND}
+RDEPEND="
xslt? ( dev-libs/libxslt )
fop? ( dev-java/fop )"
@@ -26,7 +25,7 @@ PATCHES=(
src_install() {
# Look at scripts/install.sh for upstream installation process.
# Install logtalk base
- mv scripts/logtalk_user_setup.sh integration/
+ mv scripts/logtalk_user_setup.sh integration/ || die
mkdir -p "${ED}/usr/share/${P}" || die
cp -r adapters coding contributions core docs examples integration \
library manuals paths scratch tests tools VERSION.txt \
@@ -44,8 +43,8 @@ src_install() {
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
+ rm -f man/man1/logtalk_backend_select.1 || die
+ rm -f man/man1/logtalk_version_select.1 || die
doman man/man1/*.1
# Integration symlinks
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-05-13 12:24 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-05-13 12:24 UTC (permalink / raw
To: gentoo-commits
commit: 0df4b7d4a54bfd561860e69cd5b62270d302d796
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon May 13 12:24:49 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon May 13 12:24:49 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0df4b7d4
dev-lang/logtalk: Stabilize 3.47.0-r1 x86, #931870
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.47.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
index e65ccc6e0960..47fd85aa7634 100644
--- a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
+++ b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc x86"
IUSE="fop xslt"
RDEPEND="
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-05-13 12:39 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-05-13 12:39 UTC (permalink / raw
To: gentoo-commits
commit: 2c52c6312245862c27bf47a5ccfa28f33a2c3b53
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon May 13 12:39:12 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon May 13 12:39:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c52c631
dev-lang/logtalk: Stabilize 3.47.0-r1 ppc, #931870
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.47.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
index 47fd85aa7634..76a2113db31e 100644
--- a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
+++ b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~ppc x86"
+KEYWORDS="~amd64 ppc x86"
IUSE="fop xslt"
RDEPEND="
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-05-13 14:54 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-05-13 14:54 UTC (permalink / raw
To: gentoo-commits
commit: e28bffbe07b475f507451879b55f17a3c4e50254
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon May 13 14:54:06 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon May 13 14:54:06 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e28bffbe
dev-lang/logtalk: Stabilize 3.47.0-r1 amd64, #931870
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/logtalk/logtalk-3.47.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
index 76a2113db31e..9c0ae1682824 100644
--- a/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
+++ b/dev-lang/logtalk/logtalk-3.47.0-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://logtalk.org/files/${P}.tar.bz2"
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ppc x86"
+KEYWORDS="amd64 ppc x86"
IUSE="fop xslt"
RDEPEND="
^ permalink raw reply related [flat|nested] 18+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/
@ 2024-05-13 14:55 Arthur Zamarin
0 siblings, 0 replies; 18+ messages in thread
From: Arthur Zamarin @ 2024-05-13 14:55 UTC (permalink / raw
To: gentoo-commits
commit: 73624f266392496420248bd36fe5dfaf0b7dd63f
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon May 13 14:54:32 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon May 13 14:54:32 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73624f26
dev-lang/logtalk: drop 3.36.0, EAPI6--
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/logtalk/Manifest | 1 -
dev-lang/logtalk/logtalk-3.36.0.ebuild | 128 ---------------------------------
2 files changed, 129 deletions(-)
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
index ef03f23e10e3..8b5074252e36 100644
--- a/dev-lang/logtalk/Manifest
+++ b/dev-lang/logtalk/Manifest
@@ -1,2 +1 @@
-DIST logtalk-3.36.0.tar.bz2 18373894 BLAKE2B 3f4917dea47b32760edfde0538a260e5405b566520c514ec137766d17ad532f1d3e3a7a6d05b4b643b21933073951ed41bf92161ae49545eb458619444b10210 SHA512 0e93f091cb24aed3b08db05df29484e708e14cf58a673a42df70c899f3bafae30896be118d89dfdf3f3cb7d4ba520a815e46d563dd7418f80912b7067ed7da8e
DIST logtalk-3.47.0.tar.bz2 26219166 BLAKE2B 9492d27ac041562c57ab1f5f111e0f7ad062268e20d8128284d8d5085ec1c3dc63db6efa0f3a4dac34f83f206c3a4b9827d5245191227000ae56cd306da3b699 SHA512 cf07c1dec80131e477cfc9f2bf31bae573cc01222f3fba70452663dbddbddaee68b25da2e4c0abec18e1bda46059c23fca2c012cb59bbdcb4298a8c89e2d93d4
diff --git a/dev-lang/logtalk/logtalk-3.36.0.ebuild b/dev-lang/logtalk/logtalk-3.36.0.ebuild
deleted file mode 100644
index 51b8770f7e81..000000000000
--- a/dev-lang/logtalk/logtalk-3.36.0.ebuild
+++ /dev/null
@@ -1,128 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit xdg-utils
-
-DESCRIPTION="Open source object-oriented logic programming language"
-HOMEPAGE="https://logtalk.org"
-SRC_URI="https://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 )"
-
-PATCHES=(
- "${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 "${ED}/usr/share/${P}" || die
- 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 \
- "${ED}/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] 18+ messages in thread
end of thread, other threads:[~2024-05-13 14:55 UTC | newest]
Thread overview: 18+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-10-03 12:01 [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/ Keri Harris
-- strict thread matches above, loose matches on Subject: below --
2017-09-24 12:05 Keri Harris
2017-09-24 12:17 Keri Harris
2017-09-24 12:21 Keri Harris
2018-04-20 19:43 David Seifert
2018-07-22 12:18 Keri Harris
2020-03-21 9:18 Keri Harris
2020-06-04 9:06 David Seifert
2020-06-26 17:43 Agostino Sarubbo
2020-06-27 19:15 Sergei Trofimovich
2020-06-28 20:44 Agostino Sarubbo
2021-04-21 18:51 Sam James
2024-04-13 7:24 Arthur Zamarin
2024-04-13 7:24 Arthur Zamarin
2024-05-13 12:24 Arthur Zamarin
2024-05-13 12:39 Arthur Zamarin
2024-05-13 14:54 Arthur Zamarin
2024-05-13 14:55 Arthur Zamarin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox