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 |
+} |