Diff easycrypt-2022.04_p20230324 with a easycrypt-2023.09
| /usr/portage/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild 2023-10-09 14:52:35.108368492 +0300 | ||
|---|---|---|
| 8 | 8 |
DESCRIPTION="Computer-Aided Cryptographic Proofs" |
| 9 | 9 |
HOMEPAGE="https://github.com/EasyCrypt/easycrypt/" |
| 10 | 10 | |
| 11 |
if [[ ${PV} == *9999* ]] ; then
|
|
| 11 |
if [[ "${PV}" == *9999* ]] ; then
|
|
| 12 | 12 |
inherit git-r3 |
| 13 | ||
| 13 | 14 |
EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git"
|
| 14 | 15 |
else |
| 15 |
if [[ ${PV} == *_p20230324 ]] ; then
|
|
| 16 |
COMMIT=f62625928cc0970c88839c84897d1f6b17437519 |
|
| 17 |
SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz
|
|
| 18 |
-> ${P}.tar.gz"
|
|
| 19 |
S="${WORKDIR}"/${PN}-${COMMIT}
|
|
| 20 |
else |
|
| 21 |
SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${PV}.tar.gz
|
|
| 22 |
-> ${P}.tar.gz"
|
|
| 23 |
fi |
|
| 16 |
SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz
|
|
| 17 |
-> ${P}.tar.gz"
|
|
| 18 |
S="${WORKDIR}/${PN}-r${PV}"
|
|
| 19 | ||
| 24 | 20 |
KEYWORDS="~amd64" |
| 25 | 21 |
fi |
| 26 | 22 | |
| ... | ... | |
| 31 | 27 |
RDEPEND=" |
| 32 | 28 |
>=dev-lang/ocaml-4.08.0:=[ocamlopt?] |
| 33 | 29 |
>=sci-mathematics/why3-1.6:= <sci-mathematics/why3-1.7:= |
| 30 | ||
| 34 | 31 |
dev-ml/batteries:= |
| 35 | 32 |
dev-ml/camlp-streams:= |
| 36 | 33 |
dev-ml/camlzip:= |
| ... | ... | |
| 41 | 38 |
dev-ml/yojson:= |
| 42 | 39 |
dev-ml/zarith:= |
| 43 | 40 |
" |
| 44 |
DEPEND="${RDEPEND}"
|
|
| 41 |
DEPEND=" |
|
| 42 |
${RDEPEND}
|
|
| 43 |
" |
|
| 45 | 44 | |
| 46 | 45 |
src_prepare() {
|
| 47 | 46 |
local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" |