diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19356 -> 19350 bytes | |||
| -rw-r--r-- | sci-mathematics/smtinterpol/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild | 44 |
3 files changed, 45 insertions, 0 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 35229b169903..f9487fc7ecf9 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest index 7abdc5ae56b5..46ba5733539d 100644 --- a/sci-mathematics/smtinterpol/Manifest +++ b/sci-mathematics/smtinterpol/Manifest @@ -1,5 +1,6 @@ AUX smtinterpol-Version.template-version.patch 468 BLAKE2B 38fb0d6e26949f0e56a13ba41a440018e08409bc7527c4241f7c2d1a1824d727aa79f00dc45a854cbcf457caeceb032ec94ffa026234117073de011c89e94ccc SHA512 035dd014bc899f1694523dca5c59e2e80c510b77d3184ba38ec6c01439a555322e2fa3b9f2c8246656fe981685b49eef6370624cc55646222cb13fadf5569e0d AUX smtinterpol-build.xml-basename.patch 527 BLAKE2B 41e72630f9d8502f00fe79261e9a45d812fad310ccd3ae45205dc0245abbaa5113824ec4fae1de814b8a98f6bc154de21bbfeeda76d514224320545b5680d0d8 SHA512 6a327c27aa661468619b0b94eab84ab894bd5a7d96ab5ac8c50d1ea4cf1286397a6a2b662fa7a352c6f61d1dcc7d51fbf4a7c7c083070e3625877b49831b790c DIST smtinterpol-2.5_p20211018.tar.gz 10676726 BLAKE2B 27bed1f707241416f71d10ae33c39b7fe638b9650a26f3237409722a8782af3b09890dce9acf30ab2d0412cfbe94f57684850c51e486d3d7f7dddd8025021c8d SHA512 8630ae5f9cf3fdcbceffeeb1f199c2e21e27d0348d3aec5a7062ee5eb942c640661ae58603f273881f30f24630a92b041ea867086ce6d0a2eab5fdd924eb01c3 +EBUILD smtinterpol-2.5_p20211018-r1.ebuild 985 BLAKE2B 4b1823be28d8743af7c9ee1bea76aadf05df58b760743b8df4377f7a6fd97a17a591d39e5b874beb4a97f8049496b5bafbc0bd8dcc660c02f9f48ce4b01be5c8 SHA512 361a73a7262bf7be8b720397344a19892e9af07a78120144f778983189a358d72040da2480c142f7e6d7992c0dcaae2e92b708bce676fb33a12751c40949e395 EBUILD smtinterpol-2.5_p20211018.ebuild 944 BLAKE2B 1941ae5f0b1c35b15d8248fcc1d6dcd953aa3e8426fd8cce299b7eb553e708e83c7a13d9845647c035b42da499477dde6f423e5f3afd0f85df5aefa7dc8aeb3d SHA512 f5bfe96669c19f2b70c7150ad8e1114afe4cc9c52c51e6ac6946ebdccca7492f52fe21631774e857938d798d691265f61ca021406c79673723085c5932eff183 MISC metadata.xml 443 BLAKE2B a49ab13ae830d7e212d85005e32f535d7a13d60ca39d28a0534b2f3dbd779b0afb39918649c903ad698c02b755e1d80e6dd928cbd6d1c045c0bfd514b7a51eaa SHA512 52ea501a323d32e118edd1e82217a6c92432fef5ccce7fdfa78023e0ef2aa76a8c66a274524be18aa39d26c547c00a5035c3998a74f81e6ba73d1c1458e33e36 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 +} |