diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-07-12 12:55:16 +0200 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2024-09-03 10:02:38 +0200 |
| commit | 016c0beb70a8e56a047afad0353b001d394fc3fe (patch) | |
| tree | b4e7b132fa86714b28f1323530ad9955275a2ccf /sci-mathematics/smtinterpol | |
| parent | dev-python/spyder-kernels: drop 3.0.0_beta9 (diff) | |
| download | gentoo-016c0beb70a8e56a047afad0353b001d394fc3fe.tar.gz gentoo-016c0beb70a8e56a047afad0353b001d394fc3fe.tar.bz2 gentoo-016c0beb70a8e56a047afad0353b001d394fc3fe.zip | |
sci-mathematics/smtinterpol: build without BSFIX, drop java-ant-2
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/37468/commits/596ccf2967564a9e90a0fa1dd86c5b1053f179be
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'sci-mathematics/smtinterpol')
| -rw-r--r-- | sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild new file mode 100644 index 000000000000..05a73e04d6b8 --- /dev/null +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild @@ -0,0 +1,44 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +[[ ${PV} == *_p20211018 ]] && COMMIT=32d7fa8751f668f9e9a18e4e96df3337b53d2150 + +inherit java-pkg-2 + +DESCRIPTION="Interpolating SMT-solver computing Craig interpolants for various theories" +HOMEPAGE="https://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" + +BDEPEND=">=dev-java/ant-1.10.14-r3:0" +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 #780585 + java-pkg-2_src_prepare +} + +src_compile() { + eant all +} + +src_install() { + java-pkg_dojar dist/*.jar + java-pkg_dolauncher ${PN} --jar ${PN}.jar + + einstalldocs +} |