From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/swi-prolog/
Date: Fri, 11 Oct 2024 23:00:24 +0000 (UTC) [thread overview]
Message-ID: <1728687621.c5119db82192d93732ba3cc26b509f22cab2a923.xgqt@gentoo> (raw)
commit: c5119db82192d93732ba3cc26b509f22cab2a923
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 11 22:45:56 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Oct 11 23:00:21 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c5119db8
dev-lang/swi-prolog: bump to 9.3.9
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/swi-prolog/Manifest | 1 +
dev-lang/swi-prolog/swi-prolog-9.3.9.ebuild | 184 ++++++++++++++++++++++++++++
2 files changed, 185 insertions(+)
diff --git a/dev-lang/swi-prolog/Manifest b/dev-lang/swi-prolog/Manifest
index edbafbc3f512..9f5fb8d5d200 100644
--- a/dev-lang/swi-prolog/Manifest
+++ b/dev-lang/swi-prolog/Manifest
@@ -1 +1,2 @@
DIST swipl-9.1.2.tar.gz 11827220 BLAKE2B e4bf40d1b4d0c48af5e630728208ca849b9a3d0f4129c827b98cd8d666b934218bbbee4c357b67cdd72b9e15046b70a873ffd9e31eaacac620a9aba6a7aec7fd SHA512 d47375c21ed33a2822b9df294a709141fc2e1f0aa61a297bd51a504f6f7859a1deb0ea6705d30b6f8198c71f440b176c7259bd83bff1ac5393ced77fdfbf564a
+DIST swipl-9.3.9.tar.gz 12302913 BLAKE2B fb657c58673a250a5a0563a2efd164b491eba15402c4442a0751f2fd3dd176337fc3f8eac828014c8341b852b6546a56c755fa0488daf211329bc8ff02fb67a5 SHA512 6e7247871b6379801b52df7da22d808dd823bc3f42ec1212bd3c3f61d0363dc05135ab389ea08143b99a8b3b356bfed52a749a32a45bb434d8aa6e3514c521b9
diff --git a/dev-lang/swi-prolog/swi-prolog-9.3.9.ebuild b/dev-lang/swi-prolog/swi-prolog-9.3.9.ebuild
new file mode 100644
index 000000000000..f2edfed3417b
--- /dev/null
+++ b/dev-lang/swi-prolog/swi-prolog-9.3.9.ebuild
@@ -0,0 +1,184 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MY_P="swipl-${PV}"
+PATCHSET_VER="0"
+
+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 qt6 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? (
+ !qt6? (
+ dev-qt/qtgui:5
+ dev-qt/qtwidgets:5
+ )
+ qt6? ( 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_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 gui; then
+ mycmakeargs+=(
+ -DSWIPL_PACKAGES_QT=yes
+ $(cmake_use_find_package qt6 Qt6)
+ )
+ else
+ mycmakeargs+=( -DSWIPL_PACKAGES_QT=no )
+ fi
+
+ 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:[~2024-10-11 23:00 UTC|newest]
Thread overview: 305+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-11 23:00 Maciej Barć [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-30 21:54 Andreas Sturmlechner
2025-03-24 11:46 Sam James
2025-03-24 11:46 Sam James
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=1728687621.c5119db82192d93732ba3cc26b509f22cab2a923.xgqt@gentoo \
--to=xgqt@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