forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
logtalk-3.03.0.ebuild
132 lines (115 loc) · 3.92 KB
/
logtalk-3.03.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
129
130
131
132
# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
inherit eutils fdo-mime
DESCRIPTION="Open source object-oriented logic programming language"
HOMEPAGE="http://logtalk.org"
SRC_URI="http://logtalk.org/files/${P}.tar.bz2"
LICENSE="logtalk"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE="doc fop xslt"
DEPEND=""
RDEPEND="
xslt? ( dev-libs/libxslt )
fop? ( dev-java/fop )
${DEPEND}"
src_prepare() {
epatch "${FILESDIR}"/${P}-no-user-docs.patch
}
src_install() {
# Look at scripts/install.sh for upstream installation process.
# Install logtalk base
mv scripts/logtalk_user_setup.sh integration/
mkdir -p "${D}/usr/share/${P}"
cp -r adapters coding contributions core examples integration \
library paths scratch tests tools VERSION.txt \
loader-sample.lgt settings-sample.lgt tester-sample.lgt \
"${D}/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 CUSTOMIZE.md \
INSTALL.md LICENSE.txt QUICK_START.md README.md \
RELEASE_NOTES.md UPGRADING.md VERSION.txt
if use doc ; then
dohtml -r docs/* \
|| die "Failed to install html core documentation"
dohtml -r manuals/* \
|| die "Failed to install html manual"
fi
rm -f man/man1/logtalk_backend_select.1
rm -f man/man1/logtalk_version_select.1
doman man/man1/*.1 || die "Failed to install man pages"
# Integration symlinks
dosym /usr/share/${P}/integration/logtalk_user_setup.sh \
/usr/bin/logtalk_user_setup
dosym /usr/share/${P}/integration/bplgt.sh \
/usr/bin/bplgt
dosym /usr/share/${P}/integration/cxlgt.sh \
/usr/bin/cxlgt
dosym /usr/share/${P}/integration/eclipselgt.sh \
/usr/bin/eclipselgt
dosym /usr/share/${P}/integration/gplgt.sh \
/usr/bin/gplgt
dosym /usr/share/${P}/integration/lplgt.sh \
/usr/bin/lplgt
dosym /usr/share/${P}/integration/qplgt.sh \
/usr/bin/qplgt
dosym /usr/share/${P}/integration/quintuslgt.sh \
/usr/bin/quintuslgt
dosym /usr/share/${P}/integration/sicstuslgt.sh \
/usr/bin/sicstuslgt
dosym /usr/share/${P}/integration/swilgt.sh \
/usr/bin/swilgt
dosym /usr/share/${P}/integration/xsblgt.sh \
/usr/bin/xsblgt
dosym /usr/share/${P}/integration/xsbmtlgt.sh \
/usr/bin/xsbmtlgt
dosym /usr/share/${P}/integration/yaplgt.sh \
/usr/bin/yaplgt
dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2xml.sh \
/usr/bin/lgt2xml
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2html.sh \
/usr/bin/lgt2html
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2txt.sh \
/usr/bin/lgt2txt
use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2md.sh \
/usr/bin/lgt2md
use fop && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \
/usr/bin/lgt2pdf
# Install environment files
echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk
doenvd 99logtalk
}
pkg_postinst() {
fdo-mime_desktop_database_update
ewarn "Before running logtalk, users should execute"
ewarn "logtalk_user_setup *once*"
ewarn ""
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 "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() {
fdo-mime_desktop_database_update
}