mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
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>
This commit is contained in:
Maciej Barć
parent
50e99c3383
commit
6852043dab
@ -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
|
||||
|
||||
198
dev-lang/swi-prolog/swi-prolog-10.0.0.ebuild
Normal file
198
dev-lang/swi-prolog/swi-prolog-10.0.0.ebuild
Normal file
@ -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
|
||||
}
|
||||
Loading…
x
Reference in New Issue
Block a user