[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/

[Maciej Barć]

commit:     a7fa452ea0b84128bd45f820f62f340032bbe299
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 30 00:37:44 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Jan 30 00:39:00 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7fa452e

sci-mathematics/easycrypt: fix theories location; bump to EAPI 8

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 ...10-r1.ebuild => easycrypt-1.0_pre20211210-r2.ebuild} | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild 
b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
similarity index 64%
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
index 17f451552103..ef1279bbd12b 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=7
+EAPI=8
 
-COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206"
+H=49aec58ea63a64adcf5fbabcc14c6739f337b206
 
 inherit dune
 
@@ -14,8 +14,8 @@ if [[ "${PV}" == *9999* ]]; then
        inherit git-r3
        EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git";
 else
-       SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> 
${P}.tar.gz"
-       S="${WORKDIR}/${PN}-${COMMIT}"
+       SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${H}.tar.gz -> 
${P}.tar.gz"
+       S="${WORKDIR}/${PN}-${H}"
 fi
 
 LICENSE="CeCILL-B CeCILL-C"
@@ -36,3 +36,10 @@ RDEPEND="
        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
+
+       default
+}