diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-03-04 17:07:24 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-03-04 17:32:11 +0100 |
| commit | 5b13fe506b556c1cf2a69b436a36ffc300ae8366 (patch) | |
| tree | 508877926ee3cddd945728f488aae9f7cf287691 /sci-mathematics/smtinterpol | |
| parent | sci-mathematics/metamath-databases: H -> COMMIT (diff) | |
| download | gentoo-5b13fe506b556c1cf2a69b436a36ffc300ae8366.tar.gz gentoo-5b13fe506b556c1cf2a69b436a36ffc300ae8366.tar.bz2 gentoo-5b13fe506b556c1cf2a69b436a36ffc300ae8366.zip | |
sci-mathematics/smtinterpol: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/smtinterpol')
| -rw-r--r-- | sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild index 30f4b003bd3f..dc297a1f0de8 100644 --- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild @@ -3,21 +3,23 @@ EAPI=8 -H=32d7fa8751f668f9e9a18e4e96df3337b53d2150 +[[ ${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/" -SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-${H}" +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" -DEPEND=">=virtual/jdk-1.8" RDEPEND=">=virtual/jre-1.8" +DEPEND=">=virtual/jdk-1.8" PATCHES=( "${FILESDIR}"/${PN}-Version.template-version.patch |