blob: 5695ef84d7161ed834a4af52bc558a135065e832 (
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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
|
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
REAL_PN="swipl"
REAL_P="${REAL_PN}-${PV}"
inherit cmake desktop flag-o-matic java-pkg-opt-2 toolchain-funcs xdg
DESCRIPTION="Versatile implementation of the Prolog programming language"
HOMEPAGE="https://www.swi-prolog.org/
https://github.com/SWI-Prolog/swipl-devel/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/SWI-Prolog/swipl-devel"
else
SRC_URI="https://www.swi-prolog.org/download/stable/src/${REAL_P}.tar.gz"
S="${WORKDIR}/${REAL_P}"
KEYWORDS="~amd64 ~ppc ~x86"
fi
LICENSE="BSD-2"
SLOT="0"
IUSE="archive berkdb +cli debug doc +gmp gui +ipc java minimal odbc pcre pgo ssl test yaml"
RESTRICT="!test? ( test )"
# See "cmake/PackageSelection.cmake" and "cmake/DocDepends.cmake" in pkg source.
REQUIRED_USE="
doc? ( archive )
minimal? ( !archive !doc !ipc !ssl !test )
"
COMMON_DEPEND="
sys-libs/ncurses:=
virtual/zlib:=
virtual/libcrypt:=
!minimal? (
dev-libs/ossp-uuid
)
archive? (
app-arch/libarchive:=
)
berkdb? (
>=sys-libs/db-4:=
)
cli? (
dev-libs/libedit
)
gmp? (
dev-libs/gmp:0=
)
gui? (
dev-libs/glib:2
media-libs/sdl3-image
x11-libs/pango
)
odbc? (
dev-db/unixODBC
)
pcre? (
dev-libs/libpcre
)
ssl? (
dev-libs/openssl:0=
)
yaml? (
dev-libs/libyaml
)
"
RDEPEND="
${COMMON_DEPEND}
java? (
>=virtual/jre-1.8:*
)
"
DEPEND="
${COMMON_DEPEND}
java? (
>=virtual/jdk-1.8:*
)
"
BDEPEND="
virtual/pkgconfig
test? (
java? (
dev-java/junit:4
)
)
"
pkg_setup() {
java-pkg-opt-2_pkg_setup
}
src_prepare() {
sed -e "s|\(SWIPL_INSTALL_PREFIX\) lib/.*)|\1 $(get_libdir)/swipl)|" \
-e "s|\(SWIPL_INSTALL_CMAKE_CONFIG_DIR\) lib/|\1 $(get_libdir)/|" \
-i CMakeLists.txt \
|| die
sed -e "s/ -Werror//g" \
-i cmake/GCCBuiltins.cmake \
-i cmake/Config.cmake \
-i packages/ssl/CMakeLists.txt \
|| die
local ncurses_lib_flags=$($(tc-getPKG_CONFIG) --libs ncurses)
sed -e "/project(SWI-Prolog)/a set(CMAKE_REQUIRED_LIBRARIES \${CMAKE_REQUIRED_LIBRARIES} ${ncurses_lib_flags})" \
-i CMakeLists.txt \
|| die
sed -e "s:\${CURSES_LIBRARIES}:${ncurses_lib_flags}:" \
-i src/CMakeLists.txt \
|| die
java-pkg-opt-2_src_prepare
cmake_src_prepare
}
src_configure() {
export XDG_CONFIG_DIRS="${HOME}"
export XDG_DATA_DIRS="${HOME}"
# Lots of UB, see https://gcc.gnu.org/PR113521
filter-lto
append-flags -fno-strict-aliasing
if use debug ; then
append-flags -DO_DEBUG
fi
if use pgo ; then
CMAKE_BUILD_TYPE="PGO"
append-flags -Wno-error=coverage-mismatch
fi
local -a mycmakeargs=(
-DBUILD_TESTING=$(usex test)
-DSWIPL_INSTALL_PREFIX="$(get_libdir)/swipl"
-DINSTALL_DOCUMENTATION=$(usex doc)
-DUSE_GMP=$(usex gmp)
-DUSE_TCMALLOC="OFF"
-DSWIPL_PACKAGES_BASIC=$(usex !minimal)
-DSWIPL_PACKAGES_ARCHIVE=$(usex archive)
-DSWIPL_PACKAGES_BDB=$(usex berkdb)
-DSWIPL_PACKAGES_GUI=$(usex gui)
-DSWIPL_PACKAGES_JAVA=$(usex java)
-DSWIPL_PACKAGES_ODBC=$(usex odbc)
-DSWIPL_PACKAGES_PCRE=$(usex pcre)
-DSWIPL_PACKAGES_SSL=$(usex ssl)
-DSWIPL_PACKAGES_TERM=$(usex cli)
-DSWIPL_PACKAGES_TIPC=$(usex ipc)
-DSWIPL_PACKAGES_YAML=$(usex yaml)
)
if use test && use java ; then
mycmakeargs+=(
-DJUNIT_JAR="${ESYSROOT}/usr/share/junit-4/lib/junit.jar"
)
fi
cmake_src_configure
}
src_install() {
cmake_src_install
if use gui ; then
doicon "${S}/desktop/swipl-cli.png"
make_desktop_entry "swipl-win" "SWI-Prolog" "swipl" "Development"
fi
}
pkg_preinst() {
java-pkg-opt-2_pkg_preinst
if use gui ; then
xdg_pkg_preinst
fi
}
pkg_postinst() {
if use gui ; then
xdg_pkg_postinst
fi
}
pkg_postrm() {
if use gui ; then
xdg_pkg_postrm
fi
}
|
