1 |
commit: 125967d1c7cbbf7f23fcbc9bd081ab20c8816b7c |
2 |
Author: Keri Harris <keri <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jun 27 15:38:48 2021 +0000 |
4 |
Commit: Keri Harris <keri <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jun 27 15:38:48 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=125967d1 |
7 |
|
8 |
dev-lang/logtalk: version bump |
9 |
|
10 |
Package-Manager: Portage-3.0.18, Repoman-3.0.2 |
11 |
Signed-off-by: Keri Harris <keri <AT> gentoo.org> |
12 |
|
13 |
dev-lang/logtalk/Manifest | 1 + |
14 |
.../logtalk/files/logtalk-3.47.0-portage.patch | 19 +++ |
15 |
dev-lang/logtalk/logtalk-3.47.0.ebuild | 134 +++++++++++++++++++++ |
16 |
3 files changed, 154 insertions(+) |
17 |
|
18 |
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest |
19 |
index 9e704668b23..ef03f23e10e 100644 |
20 |
--- a/dev-lang/logtalk/Manifest |
21 |
+++ b/dev-lang/logtalk/Manifest |
22 |
@@ -1 +1,2 @@ |
23 |
DIST logtalk-3.36.0.tar.bz2 18373894 BLAKE2B 3f4917dea47b32760edfde0538a260e5405b566520c514ec137766d17ad532f1d3e3a7a6d05b4b643b21933073951ed41bf92161ae49545eb458619444b10210 SHA512 0e93f091cb24aed3b08db05df29484e708e14cf58a673a42df70c899f3bafae30896be118d89dfdf3f3cb7d4ba520a815e46d563dd7418f80912b7067ed7da8e |
24 |
+DIST logtalk-3.47.0.tar.bz2 26219166 BLAKE2B 9492d27ac041562c57ab1f5f111e0f7ad062268e20d8128284d8d5085ec1c3dc63db6efa0f3a4dac34f83f206c3a4b9827d5245191227000ae56cd306da3b699 SHA512 cf07c1dec80131e477cfc9f2bf31bae573cc01222f3fba70452663dbddbddaee68b25da2e4c0abec18e1bda46059c23fca2c012cb59bbdcb4298a8c89e2d93d4 |
25 |
|
26 |
diff --git a/dev-lang/logtalk/files/logtalk-3.47.0-portage.patch b/dev-lang/logtalk/files/logtalk-3.47.0-portage.patch |
27 |
new file mode 100644 |
28 |
index 00000000000..2107b114da0 |
29 |
--- /dev/null |
30 |
+++ b/dev-lang/logtalk/files/logtalk-3.47.0-portage.patch |
31 |
@@ -0,0 +1,19 @@ |
32 |
+--- logtalk-3.47.0.orig/scripts/logtalk_user_setup.sh 2021-05-31 23:10:00.000000000 -0000 |
33 |
++++ logtalk-3.47.0/scripts/logtalk_user_setup.sh 2021-06-27 15:05:04.783245715 -0000 |
34 |
+@@ -134,16 +134,6 @@ |
35 |
+ rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* |
36 |
+ rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd |
37 |
+ rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd |
38 |
+-ln -sf "$LOGTALKHOME"/ACKNOWLEDGMENTS.md "$LOGTALKUSER"/ACKNOWLEDGMENTS.md |
39 |
+-ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib |
40 |
+-ln -sf "$LOGTALKHOME"/CONTRIBUTING.md "$LOGTALKUSER"/CONTRIBUTING.md |
41 |
+-ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md |
42 |
+-ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md |
43 |
+-ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt |
44 |
+-ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md |
45 |
+-ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md |
46 |
+-ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md |
47 |
+-ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md |
48 |
+ ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters |
49 |
+ ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding |
50 |
+ ln -sf "$LOGTALKHOME"/integration "$LOGTALKUSER"/integration |
51 |
|
52 |
diff --git a/dev-lang/logtalk/logtalk-3.47.0.ebuild b/dev-lang/logtalk/logtalk-3.47.0.ebuild |
53 |
new file mode 100644 |
54 |
index 00000000000..962a886f27d |
55 |
--- /dev/null |
56 |
+++ b/dev-lang/logtalk/logtalk-3.47.0.ebuild |
57 |
@@ -0,0 +1,134 @@ |
58 |
+# Copyright 1999-2021 Gentoo Authors |
59 |
+# Distributed under the terms of the GNU General Public License v2 |
60 |
+ |
61 |
+EAPI=6 |
62 |
+ |
63 |
+inherit xdg-utils |
64 |
+ |
65 |
+DESCRIPTION="Open source object-oriented logic programming language" |
66 |
+HOMEPAGE="https://logtalk.org" |
67 |
+SRC_URI="https://logtalk.org/files/${P}.tar.bz2" |
68 |
+LICENSE="Apache-2.0" |
69 |
+ |
70 |
+SLOT="0" |
71 |
+KEYWORDS="~amd64 ~ppc ~x86" |
72 |
+IUSE="fop xslt" |
73 |
+ |
74 |
+DEPEND="" |
75 |
+RDEPEND="${DEPEND} |
76 |
+ xslt? ( dev-libs/libxslt ) |
77 |
+ fop? ( dev-java/fop )" |
78 |
+ |
79 |
+PATCHES=( |
80 |
+ "${FILESDIR}"/${P}-portage.patch |
81 |
+) |
82 |
+ |
83 |
+src_install() { |
84 |
+ # Look at scripts/install.sh for upstream installation process. |
85 |
+ # Install logtalk base |
86 |
+ mv scripts/logtalk_user_setup.sh integration/ |
87 |
+ mkdir -p "${ED}/usr/share/${P}" || die |
88 |
+ cp -r adapters coding contributions core docs examples integration \ |
89 |
+ library manuals paths scratch tests tools VERSION.txt \ |
90 |
+ loader-sample.lgt settings-sample.lgt tester-sample.lgt \ |
91 |
+ tests-sample.lgt \ |
92 |
+ "${ED}/usr/share/${P}" \ |
93 |
+ || die "Failed to install files" |
94 |
+ |
95 |
+ # Install mime file, the database will be updated later |
96 |
+ insinto /usr/share/mime/packages |
97 |
+ doins scripts/freedesktop/logtalk.xml |
98 |
+ |
99 |
+ # Install documentation |
100 |
+ dodoc ACKNOWLEDGMENTS.md BIBLIOGRAPHY.bib CONTRIBUTING.md \ |
101 |
+ CUSTOMIZE.md INSTALL.md LICENSE.txt QUICK_START.md \ |
102 |
+ README.md RELEASE_NOTES.md UPGRADING.md VERSION.txt |
103 |
+ |
104 |
+ rm -f man/man1/logtalk_backend_select.1 |
105 |
+ rm -f man/man1/logtalk_version_select.1 |
106 |
+ doman man/man1/*.1 |
107 |
+ |
108 |
+ # Integration symlinks |
109 |
+ dosym ../share/${P}/integration/logtalk_user_setup.sh \ |
110 |
+ /usr/bin/logtalk_user_setup |
111 |
+ dosym ../share/${P}/integration/bplgt.sh \ |
112 |
+ /usr/bin/bplgt |
113 |
+ dosym ../share/${P}/integration/ciaolgt.sh \ |
114 |
+ /usr/bin/ciaolgt |
115 |
+ dosym ../share/${P}/integration/cxlgt.sh \ |
116 |
+ /usr/bin/cxlgt |
117 |
+ dosym ../share/${P}/integration/eclipselgt.sh \ |
118 |
+ /usr/bin/eclipselgt |
119 |
+ dosym ../share/${P}/integration/gplgt.sh \ |
120 |
+ /usr/bin/gplgt |
121 |
+ dosym ../share/${P}/integration/jiplgt.sh \ |
122 |
+ /usr/bin/jiplgt |
123 |
+ dosym ../share/${P}/integration/lvmlgt.sh \ |
124 |
+ /usr/bin/lvmlgt |
125 |
+ dosym ../share/${P}/integration/quintuslgt.sh \ |
126 |
+ /usr/bin/quintuslgt |
127 |
+ dosym ../share/${P}/integration/scryerlgt.sh \ |
128 |
+ /usr/bin/scryerlgt |
129 |
+ dosym ../share/${P}/integration/sicstuslgt.sh \ |
130 |
+ /usr/bin/sicstuslgt |
131 |
+ dosym ../share/${P}/integration/swilgt.sh \ |
132 |
+ /usr/bin/swilgt |
133 |
+ dosym ../share/${P}/integration/taulgt.sh \ |
134 |
+ /usr/bin/taulgt |
135 |
+ dosym ../share/${P}/integration/tplgt.sh \ |
136 |
+ /usr/bin/tplgt |
137 |
+ dosym ../share/${P}/integration/xsblgt.sh \ |
138 |
+ /usr/bin/xsblgt |
139 |
+ dosym ../share/${P}/integration/yaplgt.sh \ |
140 |
+ /usr/bin/yaplgt |
141 |
+ |
142 |
+ dosym ../share/${P}/tools/lgtdoc/xml/lgt2xml.sh \ |
143 |
+ /usr/bin/lgt2xml |
144 |
+ use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2html.sh \ |
145 |
+ /usr/bin/lgt2html |
146 |
+ use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2txt.sh \ |
147 |
+ /usr/bin/lgt2txt |
148 |
+ use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2md.sh \ |
149 |
+ /usr/bin/lgt2md |
150 |
+ use fop && dosym ../share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \ |
151 |
+ /usr/bin/lgt2pdf |
152 |
+ |
153 |
+ # Install environment files |
154 |
+ echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk |
155 |
+ doenvd 99logtalk |
156 |
+} |
157 |
+ |
158 |
+pkg_postinst() { |
159 |
+ xdg_mimeinfo_database_update |
160 |
+ xdg_desktop_database_update |
161 |
+ |
162 |
+ ewarn "The following integration scripts are installed" |
163 |
+ ewarn "for running logtalk with selected Prolog compilers:" |
164 |
+ ewarn "B-Prolog: /usr/bin/bplgt" |
165 |
+ ewarn "Ciao Prolog: /usr/bin/ciaolgt" |
166 |
+ ewarn "CxProlog: /usr/bin/cxlgt" |
167 |
+ ewarn "ECLiPSe: /usr/bin/eclipselgt" |
168 |
+ ewarn "GNU Prolog: /usr/bin/gplgt" |
169 |
+ ewarn "JIProlog: /usr/bin/jiplgt" |
170 |
+ ewarn "LVM: /usr/bin/lvmlgt" |
171 |
+ ewarn "Quintus Prolog: /usr/bin/quintuslgt" |
172 |
+ ewarn "Scryer Prolog: /usr/bin/scryerlgt" |
173 |
+ ewarn "SICStus Prolog: /usr/bin/sicstuslgt" |
174 |
+ ewarn "SWI Prolog: /usr/bin/swilgt" |
175 |
+ ewarn "Tau Prolog: /usr/bin/taulgt" |
176 |
+ ewarn "Trealla Prolog: /usr/bin/tplgt" |
177 |
+ ewarn "XSB: /usr/bin/xsblgt" |
178 |
+ ewarn "YAP: /usr/bin/yaplgt" |
179 |
+ ewarn "" |
180 |
+ |
181 |
+ ewarn "The environment has been set up to make the above" |
182 |
+ ewarn "integration scripts find files automatically for logtalk." |
183 |
+ ewarn "Please run 'etc-update && source /etc/profile' to update" |
184 |
+ ewarn "the environment now, otherwise it will be updated at next" |
185 |
+ ewarn "login." |
186 |
+} |
187 |
+ |
188 |
+pkg_postrm() { |
189 |
+ xdg_mimeinfo_database_update |
190 |
+ xdg_desktop_database_update |
191 |
+} |