diff options
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 |