blob: 962a886f27d54c075ee67caf7ed9087bb7db902d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
inherit xdg-utils
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="https://logtalk.org"
SRC_URI="https://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 )"
PATCHES=(
"${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 "${ED}/usr/share/${P}" || die
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 \
"${ED}/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 CONTRIBUTING.md \
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
# Integration symlinks
dosym ../share/${P}/integration/logtalk_user_setup.sh \
/usr/bin/logtalk_user_setup
dosym ../share/${P}/integration/bplgt.sh \
/usr/bin/bplgt
dosym ../share/${P}/integration/ciaolgt.sh \
/usr/bin/ciaolgt
dosym ../share/${P}/integration/cxlgt.sh \
/usr/bin/cxlgt
dosym ../share/${P}/integration/eclipselgt.sh \
/usr/bin/eclipselgt
dosym ../share/${P}/integration/gplgt.sh \
/usr/bin/gplgt
dosym ../share/${P}/integration/jiplgt.sh \
/usr/bin/jiplgt
dosym ../share/${P}/integration/lvmlgt.sh \
/usr/bin/lvmlgt
dosym ../share/${P}/integration/quintuslgt.sh \
/usr/bin/quintuslgt
dosym ../share/${P}/integration/scryerlgt.sh \
/usr/bin/scryerlgt
dosym ../share/${P}/integration/sicstuslgt.sh \
/usr/bin/sicstuslgt
dosym ../share/${P}/integration/swilgt.sh \
/usr/bin/swilgt
dosym ../share/${P}/integration/taulgt.sh \
/usr/bin/taulgt
dosym ../share/${P}/integration/tplgt.sh \
/usr/bin/tplgt
dosym ../share/${P}/integration/xsblgt.sh \
/usr/bin/xsblgt
dosym ../share/${P}/integration/yaplgt.sh \
/usr/bin/yaplgt
dosym ../share/${P}/tools/lgtdoc/xml/lgt2xml.sh \
/usr/bin/lgt2xml
use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2html.sh \
/usr/bin/lgt2html
use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2txt.sh \
/usr/bin/lgt2txt
use xslt && dosym ../share/${P}/tools/lgtdoc/xml/lgt2md.sh \
/usr/bin/lgt2md
use fop && dosym ../share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \
/usr/bin/lgt2pdf
# Install environment files
echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk
doenvd 99logtalk
}
pkg_postinst() {
xdg_mimeinfo_database_update
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 "Ciao Prolog: /usr/bin/ciaolgt"
ewarn "CxProlog: /usr/bin/cxlgt"
ewarn "ECLiPSe: /usr/bin/eclipselgt"
ewarn "GNU Prolog: /usr/bin/gplgt"
ewarn "JIProlog: /usr/bin/jiplgt"
ewarn "LVM: /usr/bin/lvmlgt"
ewarn "Quintus Prolog: /usr/bin/quintuslgt"
ewarn "Scryer Prolog: /usr/bin/scryerlgt"
ewarn "SICStus Prolog: /usr/bin/sicstuslgt"
ewarn "SWI Prolog: /usr/bin/swilgt"
ewarn "Tau Prolog: /usr/bin/taulgt"
ewarn "Trealla Prolog: /usr/bin/tplgt"
ewarn "XSB: /usr/bin/xsblgt"
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_mimeinfo_database_update
xdg_desktop_database_update
}
|
