commit: b8d4b267360cfcc2300164dc542943fc0edc8638 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Dec 27 20:52:08 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Dec 27 21:01:56 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b8d4b267
dev-lang/souffle: drop old 2.4.1-r1 Closes: https://bugs.gentoo.org/923885 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/souffle/Manifest | 1 - dev-lang/souffle/souffle-2.4.1-r1.ebuild | 124 ------------------------------- 2 files changed, 125 deletions(-) diff --git a/dev-lang/souffle/Manifest b/dev-lang/souffle/Manifest index 86895d1912a0..710283823910 100644 --- a/dev-lang/souffle/Manifest +++ b/dev-lang/souffle/Manifest @@ -1,2 +1 @@ -DIST souffle-2.4.1.tar.gz 9668253 BLAKE2B b101a6f24df7d5bd86854d5d19c166bfe8266a9f6e8c8391fdbb79afddec7bd2297bb7af472ebc01ff2d6b0c1516820d96ec47dbf1042167b1435c22f9671ea3 SHA512 5dd321a2b025f2120d7867fa7317b4784a0f0fcc109250721cdb0918009ca218c63cdad004282046885f7096b287bc111e09057311603828ecce53f9cc532319 DIST souffle-2.5.tar.gz 9707629 BLAKE2B 76e4499f719e118ba3d82e22548d6cbef1792ba1f44ba08ec5888976e6d76ee822b867806d02bf6a77adf756886ba09fd00070cc51256e2eda6e89c7b2089202 SHA512 a99daa9dccbf7e681115f0dc7c0a83906fd1f18735a421a8037b2f7b4bde3580c125a2d6aa9c472b2e9a54d0afcd2b34479b7680b3e4b77c79bfcc61e06acd86 diff --git a/dev-lang/souffle/souffle-2.4.1-r1.ebuild b/dev-lang/souffle/souffle-2.4.1-r1.ebuild deleted file mode 100644 index ce910de5bb44..000000000000 --- a/dev-lang/souffle/souffle-2.4.1-r1.ebuild +++ /dev/null @@ -1,124 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{11..13} ) - -inherit bash-completion-r1 cmake java-pkg-opt-2 python-single-r1 - -DESCRIPTION="Datalog compiler, synthesizes C++ program from logic specification" -HOMEPAGE="http://souffle-lang.github.io/ - https://github.com/souffle-lang/souffle/"; - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/souffle-lang/${PN}.git"; -else - SRC_URI="https://github.com/souffle-lang/${PN}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="~amd64" -fi - -LICENSE="UPL-1.0" -SLOT="0" -IUSE="+ffi java +ncurses +openmp python +sqlite swig test +zlib" -REQUIRED_USE="java? ( swig ) python? ( swig ) test? ( ${PYTHON_REQUIRED_USE} )" - -# Still, some tests fail. TODO: Disable them. -# RESTRICT="!test? ( test )" -RESTRICT="test" - -RDEPEND=" - ffi? ( dev-libs/libffi:= ) - ncurses? ( sys-libs/ncurses:= ) - openmp? ( llvm-runtimes/openmp:= ) - python? ( ${PYTHON_DEPS} ) - sqlite? ( dev-db/sqlite:3 ) - swig? ( dev-lang/swig:= ) - zlib? ( virtual/zlib:= ) -" -DEPEND=" - ${RDEPEND} - java? ( >=virtual/jdk-1.8 ) -" -BDEPEND=" - sys-devel/bison - sys-devel/flex - test? ( ${PYTHON_DEPS} ) -" - -PATCHES=( - "${FILESDIR}/${PN}-2.4.1-ncurses.patch" - "${FILESDIR}/${PN}-2.4.1-threads.patch" -) - -pkg_pretend() { - if [[ "${MERGE_TYPE}" != binary ]] ; then - if has ccache "${FEATURES}" && use test ; then - ewarn "Very many tests fail with ccache enabled." - fi - fi -} - -pkg_setup() { - if use java ; then - java-pkg-opt-2_pkg_setup - fi - - if use python || use test ; then - python-single-r1_pkg_setup - fi -} - -src_prepare() { - unset LEX - - cmake_src_prepare - java-pkg-opt-2_src_prepare -} - -src_configure() { - local -a mycmakeargs=( - # Configure bash completions. - -DBASH_COMPLETION_COMPLETIONSDIR=$(get_bashcompdir) - -DSOUFFLE_BASH_COMPLETION=ON - - # Disable developer tests. - -DSOUFFLE_TEST_EVALUATION=OFF - -DSOUFFLE_TEST_EXAMPLES=OFF - - -DSOUFFLE_ENABLE_TESTING=$(usex test) - -DSOUFFLE_SWIG_JAVA=$(usex java) - -DSOUFFLE_SWIG_PYTHON=$(usex python) - -DSOUFFLE_USE_CURSES=$(usex ncurses) - -DSOUFFLE_USE_LIBFFI=$(usex ffi) - -DSOUFFLE_USE_OPENMP=$(usex openmp) - -DSOUFFLE_USE_SQLITE=$(usex sqlite) - -DSOUFFLE_USE_ZLIB=$(usex zlib) - ) - - # Version information for non-git, non-live builds. - if ! has live "${PROPERTIES}" ; then - mycmakeargs+=( - -DSOUFFLE_GIT=OFF - -DSOUFFLE_VERSION="${PV}" - ) - fi - - if use ffi ; then - mycmakeargs+=( - -DLIBFFI_INCLUDE_DIR="${EPREFIX}/usr/$(get_libdir)/libffi/include" - ) - fi - - cmake_src_configure -} - -src_install() { - cmake_src_install - - doman man/*.1 -}
