diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-10-02 06:53:54 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2024-10-02 11:49:30 +0200 |
| commit | aa42cf05729dbafe24379714a71bb56f47bd7eea (patch) | |
| tree | 532ddb7ea02b8f6b36c8127f8daad4fe43bd16ee /sci-mathematics | |
| parent | xfce-extra/xfce4-dict: Bump to 0.8.8 (diff) | |
| download | gentoo-aa42cf05729dbafe24379714a71bb56f47bd7eea.tar.gz gentoo-aa42cf05729dbafe24379714a71bb56f47bd7eea.tar.bz2 gentoo-aa42cf05729dbafe24379714a71bb56f47bd7eea.zip | |
sci-mathematics/smtinterpol: drop 2.5_p20211018
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/38846
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild deleted file mode 100644 index dc297a1f0de8..000000000000 --- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild +++ /dev/null @@ -1,43 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == *_p20211018 ]] && COMMIT=32d7fa8751f668f9e9a18e4e96df3337b53d2150 - -inherit java-pkg-2 java-ant-2 - -DESCRIPTION="Interpolating SMT-solver computing Craig interpolants for various theories" -HOMEPAGE="http://ultimate.informatik.uni-freiburg.de/smtinterpol/ - https://github.com/ultimate-pa/smtinterpol/" -SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} - -LICENSE="LGPL-3" -SLOT="0" -KEYWORDS="amd64 ~x86" - -RDEPEND=">=virtual/jre-1.8" -DEPEND=">=virtual/jdk-1.8" - -PATCHES=( - "${FILESDIR}"/${PN}-Version.template-version.patch - "${FILESDIR}"/${PN}-build.xml-basename.patch -) - -src_prepare() { - default - java-pkg-2_src_prepare -} - -src_compile() { - eant all -} - -src_install() { - java-pkg_dojar dist/*.jar - java-pkg_dolauncher ${PN} --jar ${PN}.jar - - einstalldocs -} |