dev-lang/swi-prolog: bump to 10.0.0

Bug: https://github.com/SWI-Prolog/swipl-devel/issues/1415
Closes: https://bugs.gentoo.org/967110
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

2 files changed, 199 insertions, 0 deletions

diff --git a/dev-lang/swi-prolog/Manifest b/dev-lang/swi-prolog/Manifest
index 3115ed608a17..132449219077 100644
--- a/dev-lang/swi-prolog/Manifest
+++ b/dev-lang/swi-prolog/Manifest
@@ -1,2 +1,3 @@
+DIST swipl-10.0.0.tar.gz 12792426 BLAKE2B b8c05f517d5f5963ef7fd2f1a1103f03226a803b3f641db5e224032b0e03e53ef8aeaf8defd1a243a2e3ec0a2121658d224cf0be10f44f3c2783f845ad2ce3a0 SHA512 810488ad9ec9fc926d7b5a515e7c2556f36e63e9437f729d21b66e86a4afe8e9c9fdad7651d0dbac458479ad527c58350b3e1ec4048727949e8710f7a1bcf8c2
 DIST swipl-9.3.25.tar.gz 12428028 BLAKE2B 1e7f641709117b765a50460421654169133aabfc2b0459418bc8c6214a13bfffd5a369f21242730a8c4d456c1c20209adc9b42f92b96b06f9b3ccd58b1bf1649 SHA512 624ce3087ab3eea927beaf5475fcd8c20b5d85e948be3bedbe06e07849ae7e4be3e6f97e422f6da7a64d785f9836b6aa40830ab4957a1a1ce0515176b84d8a6b
 DIST swipl-9.3.28.tar.gz 12352281 BLAKE2B c5f1a829fdbf21166ed30b5f415ea3233d95c70b899fa0b866ec82fa35134a43e3a901af3a3689be771128ee31e638251aba49a4f1ec1d5e8fece54d8279d1a5 SHA512 126b579267195a817f3d151b69d9513da535bb4d071ab6dfafa94da444f674bc3d6fe781f7399e804528cece6c1237dac02021c0e8f1292e4a4181e2095668fa
diff --git a/dev-lang/swi-prolog/swi-prolog-10.0.0.ebuild b/dev-lang/swi-prolog/swi-prolog-10.0.0.ebuild
new file mode 100644
index 000000000000..5695ef84d716
--- /dev/null
+++ b/dev-lang/swi-prolog/swi-prolog-10.0.0.ebuild
@@ -0,0 +1,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
+}