diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
tree | 44068672445b1418489aed82de58df3c470289e7 /sci-mathematics/smtinterpol | |
parent | 0f15659d48c193027158492acb726297501202c5 (diff) |
gentoo resync : 04.01.2022
Diffstat (limited to 'sci-mathematics/smtinterpol')
5 files changed, 82 insertions, 0 deletions
diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest new file mode 100644 index 000000000000..159b651bfb22 --- /dev/null +++ b/sci-mathematics/smtinterpol/Manifest @@ -0,0 +1,5 @@ +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.ebuild 861 BLAKE2B a6c5d7a1285e65ea87f6a7ffc046dc134c16344c228bd41c9ba76160d811fda8323ee8cea698bc50321b345f65060b643639e3e68beac07e5730ba9559b8feab SHA512 64777d2f76f5013317069f6c0bf049c181353116e05eed91aa2684749c79b77f2415abca6b57647c4ee2ab3daad799b39bc7b3a3237e2ff463b42340ee05291d +MISC metadata.xml 442 BLAKE2B 36be7f65ebd9b11bb690ce827679abc80f95272ad0f7fc505656735cd1403c33d368890743cda66cd0b5cbbc6cf55f54cecea43395b34d0d5d09b05b8ed203e4 SHA512 f10378fd1b8431e00e1e43bcd1a4e9e5d9c7fdb9163172068152b22f980b49db1d1874b4926203b21065730eb0424b38c6a7909a970013dbd6bb0c6b05606af1 diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch new file mode 100644 index 000000000000..b6c5971be7ea --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch @@ -0,0 +1,11 @@ +index bf87cd1..6ca4533 100644 +--- a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template ++++ b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template +@@ -23,5 +23,5 @@ package de.uni_freiburg.informatik.ultimate.smtinterpol; + * @author Jochen Hoenicke + */ + public interface Version { +- public final static String VERSION = "${version}"; ++ public final static String VERSION = "0"; + } +\ No newline at end of file diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch new file mode 100644 index 000000000000..d6d2256826fd --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch @@ -0,0 +1,12 @@ +index e105c33..21295bf 100644 +--- a/build.xml ++++ b/build.xml +@@ -32,7 +32,7 @@ stage: Upload new version to Maven Central (owner only) + <arg value="describe"/> + </exec> + <echo>Version is ${version}</echo> +- <property name="jar.basename" value="${artifactId}-${version}"/> ++ <property name="jar.basename" value="${artifactId}"/> + <tstamp> + <format property="build.date" pattern="yyyy-MM-dd"/> + <format property="build.year" pattern="yyyy"/> diff --git a/sci-mathematics/smtinterpol/metadata.xml b/sci-mathematics/smtinterpol/metadata.xml new file mode 100644 index 000000000000..242a13366da1 --- /dev/null +++ b/sci-mathematics/smtinterpol/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/ultimate-pa/smtinterpol/issues/</bugs-to> + <remote-id type="github">ultimate-pa/smtinterpol</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild new file mode 100644 index 000000000000..495a57f37578 --- /dev/null +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +H=32d7fa8751f668f9e9a18e4e96df3337b53d2150 + +inherit java-pkg-2 java-ant-2 + +DESCRIPTION="Interpolating SMT-solver that can compute Craig interpolants for various theories" +HOMEPAGE="http://ultimate.informatik.uni-freiburg.de/smtinterpol/" +SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-${H}" + +LICENSE="LGPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +DEPEND=">=virtual/jdk-1.8" +RDEPEND=">=virtual/jre-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 +} |