commit: 185fd04ec1b4ad2b8471b75bf0348e155c511583 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sun Nov 16 19:34:31 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Nov 16 20:30:57 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=185fd04e
sci-mathematics/easycrypt: bump to 2025.11 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/easycrypt/Manifest | 1 + sci-mathematics/easycrypt/easycrypt-2025.11.ebuild | 51 ++++++++++++++++++++++ 2 files changed, 52 insertions(+) diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest index 2b7a72d090bd..fd42b2735784 100644 --- a/sci-mathematics/easycrypt/Manifest +++ b/sci-mathematics/easycrypt/Manifest @@ -1 +1,2 @@ DIST easycrypt-2025.10.gh.tar.gz 1388382 BLAKE2B c49d8b60dfb3248d1291d14841f79373be50c2ee77848afc49f09eb02a97bde2203208d7567d1cff971e86e16e74d169b1bc88aeee7053c7ba16497e999113c4 SHA512 d1136aa0e2a389ff38b665bc729e070de6f8e8970eeac1b92a4ad9afc1f03d2d2464ac224fec2e3fef4745906b41e2f3a8d48937545c51949c76dbaf471acb08 +DIST easycrypt-2025.11.gh.tar.gz 1434098 BLAKE2B dad0b25c40499b81acdf68025c7cc70ee34a5e407a3b4d25807b6684b153d18dfc60f8871dda2efded01435d049e9a228d1fe33f8540e6c9bdb6ad9d020dc137 SHA512 18eafb0d0934009fcfa1bfafeb6d69660b708dbc3c0bce9ef73543763367b7fea7e00e452dec7b517dffb5f65420643f7a1ee6d84729f10758cb19d93af70948 diff --git a/sci-mathematics/easycrypt/easycrypt-2025.11.ebuild b/sci-mathematics/easycrypt/easycrypt-2025.11.ebuild new file mode 100644 index 000000000000..cdf0ba3d7b07 --- /dev/null +++ b/sci-mathematics/easycrypt/easycrypt-2025.11.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Computer-Aided Cryptographic Proofs" +HOMEPAGE="https://github.com/EasyCrypt/easycrypt/"; + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}"; +else + SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz + -> ${P}.gh.tar.gz" + S="${WORKDIR}/${PN}-r${PV}" + + KEYWORDS="~amd64" +fi + +LICENSE="MIT" +SLOT="0/${PV}" +IUSE="+ocamlopt" + +RDEPEND=" + >=sci-mathematics/why3-1.8.0:= + + dev-ml/batteries:= + dev-ml/camlp-streams:= + dev-ml/camlzip:= + dev-ml/dune-build-info:= + dev-ml/dune-site:= + dev-ml/num:= + dev-ml/ocaml-inifiles:= + dev-ml/pcre2-ocaml:= + dev-ml/yojson:= + dev-ml/zarith:= +" +DEPEND=" + ${RDEPEND} +" + +src_prepare() { + local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" + sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" ./src/ec.ml \ + || die "failed to update theories" + + default +}
