forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
logtalk-3.36.0.ebuild
128 lines (111 loc) · 3.76 KB
/
logtalk-3.36.0.ebuild
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
# 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/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/lplgt.sh \
/usr/bin/lplgt
dosym ../share/${P}/integration/qplgt.sh \
/usr/bin/qplgt
dosym ../share/${P}/integration/quintuslgt.sh \
/usr/bin/quintuslgt
dosym ../share/${P}/integration/sicstuslgt.sh \
/usr/bin/sicstuslgt
dosym ../share/${P}/integration/swilgt.sh \
/usr/bin/swilgt
dosym ../share/${P}/integration/xsblgt.sh \
/usr/bin/xsblgt
dosym ../share/${P}/integration/xsbmtlgt.sh \
/usr/bin/xsbmtlgt
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 "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() {
xdg_mimeinfo_database_update
xdg_desktop_database_update
}