public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
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
+}


             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