commit: 994856d12bbcfe399d8c28845129162921999f49 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Thu Feb 19 16:54:54 2026 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Feb 20 12:02:17 2026 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=994856d1
sci-mathematics/why3-for-spark: drop 2021-r1 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3-for-spark/Manifest | 1 - .../files/why3-for-spark-2021-flags.patch | 37 ------ .../why3-for-spark/why3-for-spark-2021-r1.ebuild | 130 --------------------- 3 files changed, 168 deletions(-) diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index 569da69e95b0..3bece5a923fc 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1,2 +1 @@ -DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db DIST why3-for-spark-2023.12.13.tar.gz 7119379 BLAKE2B 4fd78efaabc2ca40853a905b1581ed976660f5b1b01ab9490c422022284132d8306289aad3eb2111d85d5cde5b50242b5d94d313e8d78a7443b7fcc4298fd11b SHA512 88220595eae9c5cf4125c0dc9d5176e637a1f1e355f61f51176bdb7643a000c837e501101e45c2b50ae3f41f81436e1133be241fd5fb0b6816823b2106113ae7 diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch deleted file mode 100644 index e12ec73318b9..000000000000 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch +++ /dev/null @@ -1,37 +0,0 @@ ---- a/Makefile.in 2020-06-12 21:03:33.375534124 +0200 -+++ b/Makefile.in 2020-06-12 21:03:48.623283408 +0200 -@@ -127,7 +127,7 @@ - - WARNINGS = A-4-9-41-44-45-50-52@5@8@48 - --FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g -thread $(INCLUDES) -+FLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g -thread $(INCLUDES) -cclib "$(LDFLAGS)" -ccopt "$(CFLAGS)" - OFLAGS = $(FLAGS) - BFLAGS = $(FLAGS) - -@@ -572,7 +572,7 @@ - lib/plugins/hypothesis_selection.cmo: EXTOBJS += graph.cmo - ifeq (@enable_ocamlfind@,yes) - lib/plugins/hypothesis_selection.cmxs: FLAGS += -package ocamlgraph -dontlink "$(EXTPKGS)" -linkpkg --lib/plugins/hypothesis_selection.cmo: FLAGS += -package ocamlgraph graph.cmo -+lib/plugins/hypothesis_selection.cmo: FLAGS += -package ocamlgraph - endif - endif - -@@ -778,13 +778,13 @@ - all: $(TOOLS) - - lib/why3server$(EXE): $(SERVER_O) -- $(CC) -Wall -o $@ $^ -+ $(CC) -Wall $(CFLAGS) -o $@ $^ $(LDFLAGS) - - lib/why3cpulimit$(EXE): $(CPULIM_O) -- $(CC) -Wall -o $@ $^ -+ $(CC) -Wall $(CFLAGS) -o $@ $^ $(LDFLAGS) - - %.o: %.c -- $(CC) -Wall -O -g -o $@ -c $< -+ $(CC) -Wall $(CFLAGS) -O -g -o $@ -c $< - - uninstall-bin:: - rm -f $(LIBDIR)/why3/why3server$(EXE) $(LIBDIR)/why3/why3cpulimit$(EXE) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild deleted file mode 100644 index 919bc4469968..000000000000 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ /dev/null @@ -1,130 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib - -ADAMIRROR=https://community.download.adacore.com/v1 -ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f -MYP=why3-${PV}-20210519-19ADF-src - -DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="https://www.why3.org/ https://github.com/AdaCore/why3"; -SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" - -S="${WORKDIR}"/${MYP} - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64" -IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip" -RESTRICT="strip" - -RDEPEND=" - dev-ml/menhir:=[ocamlopt?] - dev-ml/num:=[ocamlopt?] - dev-ml/yojson:= - coq? ( sci-mathematics/coq ) - emacs? ( app-editors/emacs:* ) - gtk? ( dev-ml/lablgtk:=[sourceview] ) - html? ( dev-tex/hevea:= ) - hypothesis-selection? ( dev-ml/ocamlgraph:= ) - sexp? ( - dev-ml/ppx_deriving:=[ocamlopt?] - dev-ml/ppx_sexp_conv:=[ocamlopt?] - dev-ml/sexplib:=[ocamlopt?] - ) - zarith? ( dev-ml/zarith:=[ocamlopt?] ) - zip? ( dev-ml/camlzip:=[ocamlopt?] ) -" -DEPEND="${RDEPEND}" -BDEPEND=" - doc? ( - dev-python/sphinx - dev-python/sphinxcontrib-bibtex - dev-tex/rubber - media-gfx/graphviz - ) -" - -PATCHES=( - "${FILESDIR}"/${PN}-2020-gentoo.patch - "${FILESDIR}"/${P}-flags.patch - "${FILESDIR}"/${P}-make.patch #Bug #883167 - "${FILESDIR}"/${PN}-2020-bibtex.patch - "${FILESDIR}"/${P}-sighandler.patch -) - -QA_FLAGS_IGNORED=( - '/usr/lib.*/why3/commands/.*cmxs' - '/usr/lib.*/why3/plugins/.*cmxs' - '/usr/lib.*/ocaml/why3/.*cmxs' - /usr/bin/why3 - /usr/bin/why3config.cmxs - /usr/bin/why3session.cmxs - /usr/bin/gnat_server - /usr/bin/gnatwhy3 - /usr/bin/why3realize.cmxs - /usr/bin/why3ide.cmxs -) - -# Forcing native for bug #913497 -REQUIRED_USE="html? ( doc ) ocamlopt" - -src_prepare() { - find examples -name \*gz | xargs gunzip - eautoreconf - default -} - -src_configure() { - local myconf=( - --disable-pvs-libs - --disable-isabelle-libs - --enable-verbose-make - $(use_enable coq coq-libs) - $(use_enable doc) - $(use_enable emacs emacs-compilation) - $(use_enable gtk ide) - $(use_enable html html-pdf) - $(use_enable hypothesis-selection) - $(use_enable ocamlopt native-code) - $(use_enable sexp pp-sexp) - $(use_enable zarith) - $(use_enable zip) - ) - econf "${myconf[@]}" -} - -src_compile() { - emake -j1 - if use ocamlopt; then - emake byte - fi - use doc && emake doc -} - -src_install() { - emake DESTDIR="${D}" -j1 install - emake DESTDIR="${D}" -j1 install-lib - emake DESTDIR="${D}" install_spark2014_dev - local cmdPath=/usr/$(get_libdir)/why3/commands - dosym ../why3server ${cmdPath}/why3server - # Remove duplicated files - for filename in config.cmxs ide.cmxs realize.cmxs server session.cmxs; do - if [[ -e "${D}"${cmdPath}/why3${filename} ]]; then - rm "${D}"${cmdPath}/why3${filename} - dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename} - fi - done - rm "${D}"/usr/$(get_libdir)/why3/why3cpulimit - dosym ../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit - - einstalldocs - docompress -x /usr/share/doc/${PF}/examples - dodoc -r examples - if use doc; then - use html && dodoc -r doc/html - fi -}
