Diff dafny-bin-3.12.0 with a dafny-bin-4.2.0
| /usr/portage/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild 2023-10-09 14:52:29.452368349 +0300 | ||
|---|---|---|
| 4 | 4 |
EAPI=8 |
| 5 | 5 | |
| 6 | 6 |
DESCRIPTION="Verification-aware programming language" |
| 7 |
HOMEPAGE="https://dafny.org/" |
|
| 8 |
SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
|
|
| 7 |
HOMEPAGE="https://dafny.org/ |
|
| 8 |
https://github.com/dafny-lang/dafny/" |
|
| 9 |
SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
|
|
| 9 | 10 | |
| 10 | 11 |
LICENSE="MIT" |
| 11 | 12 |
SLOT="0" |
| 12 |
KEYWORDS="-* amd64" |
|
| 13 |
KEYWORDS="-* ~amd64" |
|
| 13 | 14 |
REQUIRED_USE="elibc_glibc" |
| 14 | 15 | |
| 15 | 16 |
RDEPEND=" |
| 17 |
!dev-lang/dafny |
|
| 16 | 18 |
dev-libs/userspace-rcu |
| 17 | 19 |
dev-util/lttng-ust:0/2.12 |
| 18 | 20 |
sci-mathematics/z3 |
| 19 | 21 |
" |
| 20 | 22 |
BDEPEND="app-arch/unzip" |
| 21 | 23 | |
| 22 |
S="${WORKDIR}"/dafny
|
|
| 24 |
S="${WORKDIR}/dafny"
|
|
| 23 | 25 |
QA_PREBUILT="*" |
| 24 | 26 | |
| 25 | 27 |
src_prepare() {
|