Gentoo Archives: gentoo-commits

From: Keri Harris <keri@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/logtalk/files/, dev-lang/logtalk/
Date: Sat, 20 Feb 2016 10:15:05
Message-Id: 1455958668.6cff99b65aaef6db1676735160c76c9b023d256b.keri@gentoo
1 commit: 6cff99b65aaef6db1676735160c76c9b023d256b
2 Author: Keri Harris <keri <AT> gentoo <DOT> org>
3 AuthorDate: Sat Feb 20 08:57:48 2016 +0000
4 Commit: Keri Harris <keri <AT> gentoo <DOT> org>
5 CommitDate: Sat Feb 20 08:57:48 2016 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6cff99b6
7
8 dev-lang/logtalk: version bump
9
10 Package-Manager: portage-2.2.26
11
12 dev-lang/logtalk/Manifest | 1 +
13 .../files/logtalk-3.03.0-no-user-docs.patch | 34 ++++++
14 dev-lang/logtalk/logtalk-3.03.0.ebuild | 133 +++++++++++++++++++++
15 3 files changed, 168 insertions(+)
16
17 diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest
18 index 1780f69..4944e41 100644
19 --- a/dev-lang/logtalk/Manifest
20 +++ b/dev-lang/logtalk/Manifest
21 @@ -1,3 +1,4 @@
22 DIST lgt2410.tar.bz2 621950 SHA256 ba083578b7b8665cec8a2123152f42b4f554d586f8422ef521e32eb7e7306267 SHA512 81377ef68cd9ed6fbcfb07c818efa1c9310c3918cfdd400886141c976a3eeea0086c00fa3e9a45475b8852c3cd3163ee56def12aa26c2c360ddf2999ba9501b7 WHIRLPOOL 6775f69b6d69835acf1dc585312c2ecc56292de9fe6068ccf881611d973ed493b9420ca958eb2ce9333889a780003f6b2f9ffdfbfc83c8e8624b0bf9d9db82f5
23 DIST lgt2422.tar.bz2 690047 SHA256 e8204b3182e9062f23e05d6e492a250de12b93baa8586716c8572f2266365a2e SHA512 db976729ae8499ef128f9f7ad257f600f07cb867bfb9ac350ac2c846712d18ebfd5989c674cf0a65286c6f525f5c4273d9b04632ae3719efae7d8047c448c085 WHIRLPOOL 6d76474fa586cc1c10551b2d2db36954466668716c719ce793ed2db9f663272d60462c2f7cde3783010d482df479308d0e5c0da24fd0a0f806a2055b8401d8ce
24 DIST logtalk-3.00.0.tar.bz2 1886297 SHA256 7462eaf8fd7fa865f8cccbb449a97981fbcb109a21536e2420f205b3b4b814b2 SHA512 bb4ecc709e71eee9a9a532bfcef764095e581189f3e17c9c0f2d80ceeaa4dd993d7da087b07e27f4a377a40d7a798378591d89ab6c801c7a26c1b1d646c7b76c WHIRLPOOL 21c3c9fc99e89173d3e0c109ca435847c2c735e17abca70e0f0c7646a3f8a8927e00aeb075386beec4e406faeb1ec7bc9ea7ec014933e5657c7c1d5c4d52099d
25 +DIST logtalk-3.03.0.tar.bz2 1997131 SHA256 db48ee13f119a3956e87c2fabceddc03e008391dd1542f5e07909b3840bb0534 SHA512 8445b0dda78ce0a7a0fe380b03d061271eb924df34c8f035c96a949b177c99234e2998c65f18c55be04c7d661c94473448eb2dc79a586dbc346ab07887f0e98a WHIRLPOOL 37faa40c55c0c60dc9111fc323554fdf1747f9c3c328799fcdf73d765311a8b2af6faeab2b2523736425647a38b0c8ebce155f438efec052acc82c2c5dd8dd19
26
27 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
28 new file mode 100644
29 index 0000000..b28fd48
30 --- /dev/null
31 +++ b/dev-lang/logtalk/files/logtalk-3.03.0-no-user-docs.patch
32 @@ -0,0 +1,34 @@
33 +--- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh 2016-02-16 22:09:02.000000000 +0100
34 ++++ logtalk-3.03.0/scripts/logtalk_user_setup.sh 2016-02-20 09:49:34.000000000 +0100
35 +@@ -110,14 +110,12 @@
36 +
37 + echo "Copying Logtalk files and directories..."
38 + mkdir -p "$LOGTALKUSER"/contributions
39 +-mkdir -p "$LOGTALKUSER"/docs
40 + mkdir -p "$LOGTALKUSER"/examples
41 + mkdir -p "$LOGTALKUSER"/library
42 + mkdir -p "$LOGTALKUSER"/scratch
43 + mkdir -p "$LOGTALKUSER"/tests
44 + mkdir -p "$LOGTALKUSER"/tools
45 + cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
46 +-cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
47 + cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
48 + cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
49 + cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
50 +@@ -131,16 +129,7 @@
51 + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2*
52 + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd
53 + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd
54 +-ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
55 +-ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md
56 +-ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md
57 +-ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt
58 +-ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md
59 +-ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md
60 +-ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md
61 +-ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md
62 + ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters
63 +-ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals
64 + ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
65 + ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
66 + ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html
67
68 diff --git a/dev-lang/logtalk/logtalk-3.03.0.ebuild b/dev-lang/logtalk/logtalk-3.03.0.ebuild
69 new file mode 100644
70 index 0000000..ceb2e7e
71 --- /dev/null
72 +++ b/dev-lang/logtalk/logtalk-3.03.0.ebuild
73 @@ -0,0 +1,133 @@
74 +# Copyright 1999-2016 Gentoo Foundation
75 +# Distributed under the terms of the GNU General Public License v2
76 +# $Id$
77 +
78 +EAPI=5
79 +
80 +inherit eutils fdo-mime
81 +
82 +DESCRIPTION="Open source object-oriented logic programming language"
83 +HOMEPAGE="http://logtalk.org"
84 +SRC_URI="http://logtalk.org/files/${P}.tar.bz2"
85 +LICENSE="logtalk"
86 +
87 +SLOT="0"
88 +KEYWORDS="~amd64 ~ppc ~x86"
89 +IUSE="doc fop xslt"
90 +
91 +DEPEND=""
92 +RDEPEND="
93 + xslt? ( dev-libs/libxslt )
94 + fop? ( dev-java/fop )
95 + ${DEPEND}"
96 +
97 +src_prepare() {
98 + epatch "${FILESDIR}"/${P}-no-user-docs.patch
99 +}
100 +
101 +src_install() {
102 + # Look at scripts/install.sh for upstream installation process.
103 + # Install logtalk base
104 + mv scripts/logtalk_user_setup.sh integration/
105 + mkdir -p "${D}/usr/share/${P}"
106 + cp -r adapters coding contributions core examples integration \
107 + library paths scratch tests tools VERSION.txt \
108 + loader-sample.lgt settings-sample.lgt tester-sample.lgt \
109 + "${D}/usr/share/${P}" \
110 + || die "Failed to install files"
111 +
112 + # Install mime file, the database will be updated later
113 + insinto /usr/share/mime/packages
114 + doins scripts/freedesktop/logtalk.xml
115 +
116 + # Install documentation
117 + dodoc ACKNOWLEDGMENTS.md BIBLIOGRAPHY.bib CUSTOMIZE.md \
118 + INSTALL.md LICENSE.txt QUICK_START.md README.md \
119 + RELEASE_NOTES.md UPGRADING.md VERSION.txt
120 + if use doc ; then
121 + dohtml -r docs/* \
122 + || die "Failed to install html core documentation"
123 + dohtml -r manuals/* \
124 + || die "Failed to install html manual"
125 + fi
126 +
127 + rm -f man/man1/logtalk_backend_select.1
128 + rm -f man/man1/logtalk_version_select.1
129 + doman man/man1/*.1 || die "Failed to install man pages"
130 +
131 + # Integration symlinks
132 + dosym /usr/share/${P}/integration/logtalk_user_setup.sh \
133 + /usr/bin/logtalk_user_setup
134 + dosym /usr/share/${P}/integration/bplgt.sh \
135 + /usr/bin/bplgt
136 + dosym /usr/share/${P}/integration/cxlgt.sh \
137 + /usr/bin/cxlgt
138 + dosym /usr/share/${P}/integration/eclipselgt.sh \
139 + /usr/bin/eclipselgt
140 + dosym /usr/share/${P}/integration/gplgt.sh \
141 + /usr/bin/gplgt
142 + dosym /usr/share/${P}/integration/lplgt.sh \
143 + /usr/bin/lplgt
144 + dosym /usr/share/${P}/integration/qplgt.sh \
145 + /usr/bin/qplgt
146 + dosym /usr/share/${P}/integration/quintuslgt.sh \
147 + /usr/bin/quintuslgt
148 + dosym /usr/share/${P}/integration/sicstuslgt.sh \
149 + /usr/bin/sicstuslgt
150 + dosym /usr/share/${P}/integration/swilgt.sh \
151 + /usr/bin/swilgt
152 + dosym /usr/share/${P}/integration/xsblgt.sh \
153 + /usr/bin/xsblgt
154 + dosym /usr/share/${P}/integration/xsbmtlgt.sh \
155 + /usr/bin/xsbmtlgt
156 + dosym /usr/share/${P}/integration/yaplgt.sh \
157 + /usr/bin/yaplgt
158 +
159 + dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2xml.sh \
160 + /usr/bin/lgt2xml
161 + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2html.sh \
162 + /usr/bin/lgt2html
163 + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2txt.sh \
164 + /usr/bin/lgt2txt
165 + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2md.sh \
166 + /usr/bin/lgt2md
167 + use fop && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \
168 + /usr/bin/lgt2pdf
169 +
170 + # Install environment files
171 + echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk
172 + doenvd 99logtalk
173 +}
174 +
175 +pkg_postinst() {
176 + fdo-mime_desktop_database_update
177 +
178 + ewarn "Before running logtalk, users should execute"
179 + ewarn "logtalk_user_setup *once*"
180 + ewarn ""
181 + ewarn "The following integration scripts are installed"
182 + ewarn "for running logtalk with selected Prolog compilers:"
183 + ewarn "B-Prolog: /usr/bin/bplgt"
184 + ewarn "CxProlog: /usr/bin/cxlgt"
185 + ewarn "ECLiPSe: /usr/bin/eclipselgt"
186 + ewarn "GNU Prolog: /usr/bin/gplgt"
187 + ewarn "Lean Prolog: /usr/bin/lplgt"
188 + ewarn "Qu-Prolog: /usr/bin/qplgt"
189 + ewarn "Quintus Prolog: /usr/bin/quintuslgt"
190 + ewarn "SICStus Prolog: /usr/bin/sicstuslgt"
191 + ewarn "SWI Prolog: /usr/bin/swilgt"
192 + ewarn "XSB: /usr/bin/xsblgt"
193 + ewarn "XSB MT: /usr/bin/xsbmtlgt"
194 + ewarn "YAP: /usr/bin/yaplgt"
195 + ewarn ""
196 +
197 + ewarn "The environment has been set up to make the above"
198 + ewarn "integration scripts find files automatically for logtalk."
199 + ewarn "Please run 'etc-update && source /etc/profile' to update"
200 + ewarn "the environment now, otherwise it will be updated at next"
201 + ewarn "login."
202 +}
203 +
204 +pkg_postrm() {
205 + fdo-mime_desktop_database_update
206 +}