forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Package-Manager: Portage-2.3.8, Repoman-2.3.1
- Loading branch information
1 parent
8194ebb
commit 6546715
Showing
3 changed files
with
145 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 | ||
} |