mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-06-08 22:25:42 +02:00
866a7da0e8
After a message to gentoo-dev ML, and no reply from any user on x86, we decided to dekeyword most Java packages from x86, and reverse dependencies of them. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
44 lines
979 B
Bash
44 lines
979 B
Bash
# 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"
|
|
|
|
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
|
|
}
|