From: "Andreas Sturmlechner" <asturm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/swi-prolog/
Date: Sun, 30 Mar 2025 21:54:48 +0000 (UTC) [thread overview]
Message-ID: <1743371624.5db5300977524b903837ea1e7cbe40a229309161.asturm@gentoo> (raw)
commit: 5db5300977524b903837ea1e7cbe40a229309161
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 30 19:39:41 2025 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Sun Mar 30 21:53:44 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5db53009
dev-lang/swi-prolog: Drop IUSE qt6, making USE gui Qt6-only
Bug: https://bugs.gentoo.org/952936
Signed-off-by: Andreas Sturmlechner <asturm <AT> gentoo.org>
dev-lang/swi-prolog/swi-prolog-9.3.9-r1.ebuild | 166 +++++++++++++++++++++++++
1 file changed, 166 insertions(+)
diff --git a/dev-lang/swi-prolog/swi-prolog-9.3.9-r1.ebuild b/dev-lang/swi-prolog/swi-prolog-9.3.9-r1.ebuild
new file mode 100644
index 000000000000..4a5928b0d584
--- /dev/null
+++ b/dev-lang/swi-prolog/swi-prolog-9.3.9-r1.ebuild
@@ -0,0 +1,166 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MY_P="swipl-${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/"
+
+if [[ ${PV} == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/SWI-Prolog/swipl-devel.git"
+else
+ SRC_URI="https://www.swi-prolog.org/download/devel/src/${MY_P}.tar.gz"
+ S="${WORKDIR}/${MY_P}"
+ KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+IUSE="X 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
+REQUIRED_USE="
+ doc? ( archive )
+ minimal? ( !archive !doc !ipc !ssl !test )
+"
+
+COMMON_DEPEND="
+ sys-libs/ncurses:=
+ sys-libs/zlib:=
+ virtual/libcrypt:=
+ X? (
+ media-libs/freetype:2
+ media-libs/fontconfig:1.0
+ media-libs/libjpeg-turbo:=
+ x11-libs/libICE
+ x11-libs/libSM
+ x11-libs/libX11
+ x11-libs/libXft
+ x11-libs/libXinerama
+ x11-libs/libXpm
+ x11-libs/libXt
+ )
+ archive? ( app-arch/libarchive:= )
+ berkdb? ( >=sys-libs/db-4:= )
+ cli? (
+ dev-libs/libedit
+ sys-libs/readline:=
+ )
+ gmp? ( dev-libs/gmp:0= )
+ gui? ( dev-qt/qtbase:6[gui,widgets] )
+ !minimal? ( dev-libs/ossp-uuid )
+ 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}
+ X? ( x11-base/xorg-proto )
+ java? (
+ >=virtual/jdk-1.8:*
+ test? ( dev-java/junit:4 )
+ )
+"
+BDEPEND="
+ virtual/pkgconfig
+"
+
+pkg_setup() {
+ java-pkg-opt-2_pkg_setup
+}
+
+src_prepare() {
+ if [[ -d "${WORKDIR}"/${PV} ]] ; then
+ eapply "${WORKDIR}"/${PV}
+ fi
+
+ 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 "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 -i "/project(SWI-Prolog)/a set(CMAKE_REQUIRED_LIBRARIES \${CMAKE_REQUIRED_LIBRARIES} ${ncurses_lib_flags})" CMakeLists.txt || die
+ sed -i "s:\${CURSES_LIBRARIES}:${ncurses_lib_flags}:" src/CMakeLists.txt || die
+
+ java-pkg-opt-2_src_prepare
+ cmake_src_prepare
+}
+
+src_configure() {
+ # Lots of UB, see https://gcc.gnu.org/PR113521
+ filter-lto
+ append-flags -fno-strict-aliasing
+ use debug && append-flags -DO_DEBUG
+
+ if use pgo; then
+ CMAKE_BUILD_TYPE="PGO"
+ append-flags -Wno-error=coverage-mismatch
+ fi
+
+ local mycmakeargs=(
+ -DBUILD_TESTING=$(usex test)
+ -DINSTALL_DOCUMENTATION=$(usex doc)
+ -DSWIPL_INSTALL_PREFIX=$(get_libdir)/swipl
+ -DSWIPL_PACKAGES_ARCHIVE=$(usex archive)
+ -DSWIPL_PACKAGES_BASIC=$(usex !minimal)
+ -DSWIPL_PACKAGES_BDB=$(usex berkdb)
+ -DSWIPL_PACKAGES_JAVA=$(usex java)
+ -DSWIPL_PACKAGES_ODBC=$(usex odbc)
+ -DSWIPL_PACKAGES_PCRE=$(usex pcre)
+ -DSWIPL_PACKAGES_QT=$(usex gui)
+ -DSWIPL_PACKAGES_SSL=$(usex ssl)
+ -DSWIPL_PACKAGES_TERM=$(usex cli)
+ -DSWIPL_PACKAGES_TIPC=$(usex ipc)
+ -DSWIPL_PACKAGES_X=$(usex X)
+ -DSWIPL_PACKAGES_YAML=$(usex yaml)
+ -DUSE_GMP=$(usex gmp)
+ -DUSE_TCMALLOC=OFF
+ )
+
+ if use test && use java; then
+ mycmakeargs+=( -DJUNIT_JAR="${ESYSROOT}"/usr/share/junit-4/lib/junit.jar )
+ fi
+
+ export XDG_CONFIG_DIRS="${HOME}"
+ export XDG_DATA_DIRS="${HOME}"
+
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ if use gui; then
+ doicon "${S}"/snap/gui/swipl.png
+ make_desktop_entry swipl-win "SWI-Prolog" swipl "Development"
+ fi
+}
+
+pkg_preinst() {
+ java-pkg-opt-2_pkg_preinst
+ use gui && xdg_pkg_preinst
+}
+
+pkg_postinst() {
+ use gui && xdg_pkg_postinst
+}
+
+pkg_postrm() {
+ use gui && xdg_pkg_postrm
+}
next reply other threads:[~2025-03-30 21:54 UTC|newest]
Thread overview: 305+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-03-30 21:54 Andreas Sturmlechner [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-03-30 21:54 [gentoo-commits] repo/gentoo:master commit in: dev-lang/swi-prolog/ Andreas Sturmlechner
2025-03-24 11:46 Sam James
2025-03-24 11:46 Sam James
2024-10-11 23:00 Maciej Barć
2024-01-20 10:42 Sam James
2023-07-27 19:42 Andreas Sturmlechner
2023-02-07 17:51 Sam James
2023-02-07 17:47 Sam James
2023-01-08 8:36 Joonas Niilola
2023-01-08 8:36 Joonas Niilola
2023-01-08 8:36 Joonas Niilola
2022-06-04 7:38 Keri Harris
2022-06-04 6:45 Keri Harris
2022-06-04 6:32 Keri Harris
2022-06-04 6:31 Keri Harris
2022-05-14 15:18 Keri Harris
2022-05-14 7:09 Keri Harris
2022-05-07 8:32 Keri Harris
2022-04-23 7:04 Keri Harris
2022-04-23 6:57 Keri Harris
2022-04-09 7:18 Keri Harris
2022-04-09 7:11 Keri Harris
2022-03-06 15:08 Keri Harris
2022-03-05 10:58 Keri Harris
2022-01-23 15:09 Keri Harris
2022-01-22 7:56 Keri Harris
2022-01-22 7:54 Keri Harris
2022-01-21 12:42 Sam James
2022-01-14 13:33 Keri Harris
2022-01-14 13:11 Keri Harris
2021-12-11 9:03 Keri Harris
2021-12-05 3:26 Sam James
2021-11-19 14:04 Keri Harris
2021-11-19 13:53 Keri Harris
2021-11-19 13:51 Keri Harris
2021-11-18 9:06 Keri Harris
2021-11-14 15:01 Keri Harris
2021-11-14 14:59 Keri Harris
2021-11-14 14:53 Keri Harris
2021-11-14 14:41 Keri Harris
2021-10-10 18:58 Keri Harris
2021-09-26 7:58 Keri Harris
2021-09-26 6:30 Keri Harris
2021-09-25 6:10 Keri Harris
2021-09-04 7:36 Keri Harris
2021-07-14 4:10 Sam James
2021-06-26 7:47 Keri Harris
2021-06-26 7:47 Keri Harris
2021-06-26 7:42 Keri Harris
2021-06-13 7:59 Keri Harris
2021-05-15 6:31 Keri Harris
2021-05-15 6:29 Keri Harris
2021-05-10 12:22 Keri Harris
2021-05-09 20:54 Andreas Sturmlechner
2021-05-09 20:54 Andreas Sturmlechner
2021-05-09 4:05 Sam James
2021-05-08 16:46 Keri Harris
2021-05-08 16:37 Keri Harris
2021-05-08 16:28 Keri Harris
2021-05-08 15:49 Keri Harris
2021-05-02 19:23 Mikle Kolyada
2021-05-02 8:13 Keri Harris
2021-05-02 8:09 Keri Harris
2021-04-15 13:46 Keri Harris
2021-03-10 17:52 Keri Harris
2021-03-07 16:26 Keri Harris
2021-03-07 16:24 Keri Harris
2021-02-05 15:07 Keri Harris
2021-02-05 15:01 Keri Harris
2021-01-12 10:23 Keri Harris
2021-01-12 10:21 Keri Harris
2021-01-10 9:03 Keri Harris
2021-01-08 15:47 Sam James
2021-01-08 9:16 Keri Harris
2021-01-08 9:14 Keri Harris
2021-01-07 13:56 Keri Harris
2021-01-07 7:20 Keri Harris
2021-01-06 9:36 Keri Harris
2021-01-06 8:50 Keri Harris
2021-01-06 8:34 Keri Harris
2021-01-06 8:32 Keri Harris
2021-01-05 10:31 Keri Harris
2020-12-14 7:52 Keri Harris
2020-12-13 14:58 Keri Harris
2020-12-11 8:39 Keri Harris
2020-12-11 8:31 Keri Harris
2020-11-08 8:44 Keri Harris
2020-11-08 8:42 Keri Harris
2020-11-08 8:31 Keri Harris
2020-11-04 12:24 Keri Harris
2020-09-18 7:54 Agostino Sarubbo
2020-09-14 6:23 Keri Harris
2020-09-13 8:40 Keri Harris
2020-09-13 8:37 Keri Harris
2020-09-12 10:13 Keri Harris
2020-09-12 10:02 Keri Harris
2020-09-12 10:02 Keri Harris
2020-09-09 17:36 Keri Harris
2020-07-17 14:31 Keri Harris
2020-07-12 14:31 Keri Harris
2020-07-12 14:18 Keri Harris
2020-07-03 23:22 Aaron Bauman
2020-06-20 10:27 Keri Harris
2020-06-15 15:20 Keri Harris
2020-06-15 15:18 Keri Harris
2020-06-13 18:49 Keri Harris
2020-06-04 9:06 David Seifert
2020-05-27 16:42 Keri Harris
2020-05-26 18:35 Keri Harris
2020-05-15 8:06 Keri Harris
2020-05-14 9:16 Keri Harris
2020-05-14 9:15 Keri Harris
2020-05-13 6:47 Keri Harris
2020-05-11 9:52 Keri Harris
2020-05-11 9:13 Keri Harris
2020-05-10 15:21 Keri Harris
2020-03-25 11:33 Keri Harris
2020-03-25 11:31 Keri Harris
2020-03-23 18:18 Keri Harris
2020-03-22 16:16 Keri Harris
2020-03-21 8:58 Keri Harris
2020-03-21 8:56 Keri Harris
2020-02-27 13:39 Keri Harris
2020-01-27 16:21 Keri Harris
2020-01-08 10:38 Keri Harris
2019-12-18 14:49 Keri Harris
2019-12-18 14:47 Keri Harris
2019-12-17 17:29 Keri Harris
2019-12-16 10:06 Keri Harris
2019-11-18 9:14 Keri Harris
2019-11-18 7:45 Keri Harris
2019-10-26 17:07 Keri Harris
2019-10-26 17:05 Keri Harris
2019-10-13 12:01 Keri Harris
2019-09-30 14:12 Keri Harris
2019-09-30 14:12 Keri Harris
2019-09-30 14:08 Keri Harris
2019-09-02 9:28 Keri Harris
2019-09-01 8:18 Keri Harris
2019-09-01 8:15 Keri Harris
2019-08-13 10:58 Agostino Sarubbo
2019-08-11 21:30 Thomas Deutschmann
2019-08-06 14:44 Keri Harris
2019-08-02 9:02 Keri Harris
2019-08-02 8:53 Keri Harris
2019-07-05 19:42 Keri Harris
2019-07-05 19:40 Keri Harris
2019-07-05 19:23 Keri Harris
2019-06-17 7:19 Keri Harris
2019-06-13 13:21 Keri Harris
2019-06-13 13:07 Keri Harris
2019-06-06 20:19 Keri Harris
2019-06-05 13:48 Keri Harris
2019-06-05 9:57 Keri Harris
2019-05-25 10:32 Keri Harris
2019-04-15 10:19 Keri Harris
2019-04-13 18:22 Keri Harris
2019-04-12 9:20 Keri Harris
2019-03-01 13:29 Keri Harris
2019-02-09 10:53 Keri Harris
2019-02-09 10:49 Keri Harris
2019-01-22 9:40 Keri Harris
2019-01-18 8:29 Keri Harris
2019-01-16 14:38 Keri Harris
2019-01-14 13:38 Keri Harris
2019-01-14 8:36 Keri Harris
2019-01-14 8:34 Keri Harris
2019-01-11 14:21 Keri Harris
2018-12-15 10:41 Keri Harris
2018-12-15 10:39 Keri Harris
2018-12-03 13:30 Keri Harris
2018-11-21 13:54 Keri Harris
2018-11-21 13:41 Keri Harris
2018-11-21 8:14 Keri Harris
2018-09-02 14:22 Keri Harris
2018-09-01 9:27 Keri Harris
2018-07-21 18:40 Keri Harris
2018-07-14 17:00 Keri Harris
2018-07-14 11:07 Keri Harris
2018-07-14 11:05 Keri Harris
2018-07-14 10:25 Keri Harris
2018-07-04 12:57 Keri Harris
2018-07-03 13:41 Keri Harris
2018-06-22 14:55 Keri Harris
2018-06-05 8:58 Keri Harris
2018-06-05 8:56 Keri Harris
2018-05-19 14:00 Keri Harris
2018-05-01 13:31 Keri Harris
2018-04-08 9:43 Keri Harris
2018-04-08 9:39 Keri Harris
2018-04-08 9:37 Keri Harris
2018-03-24 8:45 Keri Harris
2018-03-13 18:54 Keri Harris
2018-03-05 7:21 Sergei Trofimovich
2018-02-18 11:52 Keri Harris
2018-02-18 11:50 Keri Harris
2018-01-27 11:02 Keri Harris
2018-01-27 10:52 Keri Harris
2018-01-10 15:44 Keri Harris
2018-01-09 12:05 Keri Harris
2018-01-08 11:38 Keri Harris
2017-12-18 14:44 Keri Harris
2017-12-18 14:42 Keri Harris
2017-12-18 14:32 Keri Harris
2017-12-10 10:47 Keri Harris
2017-12-10 10:36 Keri Harris
2017-12-04 12:53 Keri Harris
2017-12-04 10:53 Keri Harris
2017-12-04 10:51 Keri Harris
2017-12-03 20:29 Keri Harris
2017-12-03 20:27 Keri Harris
2017-12-03 20:18 Keri Harris
2017-10-11 7:10 Keri Harris
2017-10-09 22:48 Thomas Deutschmann
2017-10-08 20:54 Keri Harris
2017-10-08 20:39 Keri Harris
2017-10-07 16:43 Keri Harris
2017-10-07 9:56 Keri Harris
2017-10-07 9:48 Keri Harris
2017-09-29 12:49 Keri Harris
2017-09-24 11:19 Keri Harris
2017-09-24 8:05 Keri Harris
2017-09-23 10:23 Keri Harris
2017-09-21 13:32 Keri Harris
2017-09-21 13:31 Keri Harris
2017-09-06 8:45 Keri Harris
2017-08-20 13:21 Keri Harris
2017-08-20 13:20 Keri Harris
2017-08-04 13:41 Keri Harris
2017-08-03 14:14 Keri Harris
2017-08-03 14:05 Keri Harris
2017-08-02 12:59 Keri Harris
2017-08-01 10:41 Keri Harris
2017-07-31 9:04 Keri Harris
2017-07-28 6:25 Keri Harris
2017-07-26 7:31 Keri Harris
2017-07-26 7:27 Keri Harris
2017-07-20 9:41 Keri Harris
2017-07-18 16:40 Keri Harris
2017-07-18 16:38 Keri Harris
2017-07-18 16:36 Keri Harris
2017-07-04 17:59 Keri Harris
2017-07-04 17:44 Keri Harris
2017-06-29 7:36 Keri Harris
2017-06-29 7:27 Keri Harris
2017-06-29 7:25 Keri Harris
2017-01-11 7:45 Keri Harris
2017-01-10 8:30 Keri Harris
2017-01-10 8:22 Keri Harris
2017-01-09 16:02 Keri Harris
2017-01-09 9:11 Keri Harris
2017-01-08 10:56 Keri Harris
2017-01-08 10:53 Keri Harris
2016-11-29 11:42 Keri Harris
2016-11-21 17:27 Keri Harris
2016-11-01 17:40 Keri Harris
2016-11-01 17:39 Keri Harris
2016-10-04 9:25 Keri Harris
2016-10-03 17:25 Keri Harris
2016-10-02 10:22 Keri Harris
2016-09-20 16:18 Keri Harris
2016-09-20 16:16 Keri Harris
2016-09-19 10:31 Keri Harris
2016-08-29 6:46 Keri Harris
2016-07-29 18:28 Keri Harris
2016-07-29 18:20 Keri Harris
2016-07-17 12:56 Keri Harris
2016-07-17 12:17 Keri Harris
2016-07-17 12:15 Keri Harris
2016-05-29 18:46 Keri Harris
2016-05-29 18:35 Keri Harris
2016-04-27 10:28 Keri Harris
2016-04-06 9:09 Keri Harris
2016-03-05 12:31 Keri Harris
2016-02-20 9:06 Keri Harris
2016-02-14 18:45 Keri Harris
2016-02-11 12:17 Keri Harris
2016-02-10 18:51 Keri Harris
2016-02-10 18:49 Keri Harris
2016-01-12 14:01 Keri Harris
2016-01-12 13:56 Keri Harris
2016-01-07 16:37 Keri Harris
2015-12-08 17:01 Keri Harris
2015-11-25 18:57 Keri Harris
2015-11-18 8:57 Agostino Sarubbo
2015-11-12 10:51 Agostino Sarubbo
2015-11-12 9:53 Keri Harris
2015-11-12 8:54 Keri Harris
2015-11-11 11:25 Keri Harris
2015-11-10 12:45 Keri Harris
2015-11-04 10:48 Keri Harris
2015-11-04 10:40 Keri Harris
2015-10-14 14:31 Keri Harris
2015-10-13 13:39 Keri Harris
2015-10-12 18:47 Keri Harris
2015-10-12 18:45 Keri Harris
2015-10-12 16:08 Keri Harris
2015-10-12 16:06 Keri Harris
2015-10-01 13:47 Keri Harris
2015-09-30 11:11 Keri Harris
2015-09-30 8:55 Keri Harris
2015-09-01 8:58 Keri Harris
2015-09-01 8:23 Keri Harris
2015-08-28 17:16 Keri Harris
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1743371624.5db5300977524b903837ea1e7cbe40a229309161.asturm@gentoo \
--to=asturm@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox