mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-24 04:59:14 -07:00
dev-lang/logtalk: remove old versions
Package-Manager: Portage-2.3.40, Repoman-2.3.9
This commit is contained in:
@@ -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
|
||||
|
||||
@@ -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
|
||||
@@ -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
|
||||
@@ -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
|
||||
}
|
||||
@@ -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
|
||||
}
|
||||
@@ -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
|
||||
}
|
||||
Reference in New Issue
Block a user