1 |
commit: a7fa452ea0b84128bd45f820f62f340032bbe299 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jan 30 00:37:44 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jan 30 00:39:00 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7fa452e |
7 |
|
8 |
sci-mathematics/easycrypt: fix theories location; bump to EAPI 8 |
9 |
|
10 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
12 |
|
13 |
...10-r1.ebuild => easycrypt-1.0_pre20211210-r2.ebuild} | 17 ++++++++++++----- |
14 |
1 file changed, 12 insertions(+), 5 deletions(-) |
15 |
|
16 |
diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild |
17 |
similarity index 64% |
18 |
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild |
19 |
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild |
20 |
index 17f451552103..ef1279bbd12b 100644 |
21 |
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild |
22 |
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild |
23 |
@@ -1,9 +1,9 @@ |
24 |
-# Copyright 1999-2021 Gentoo Authors |
25 |
+# Copyright 1999-2022 Gentoo Authors |
26 |
# Distributed under the terms of the GNU General Public License v2 |
27 |
|
28 |
-EAPI=7 |
29 |
+EAPI=8 |
30 |
|
31 |
-COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206" |
32 |
+H=49aec58ea63a64adcf5fbabcc14c6739f337b206 |
33 |
|
34 |
inherit dune |
35 |
|
36 |
@@ -14,8 +14,8 @@ if [[ "${PV}" == *9999* ]]; then |
37 |
inherit git-r3 |
38 |
EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" |
39 |
else |
40 |
- SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" |
41 |
- S="${WORKDIR}/${PN}-${COMMIT}" |
42 |
+ SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" |
43 |
+ S="${WORKDIR}/${PN}-${H}" |
44 |
fi |
45 |
|
46 |
LICENSE="CeCILL-B CeCILL-C" |
47 |
@@ -36,3 +36,10 @@ RDEPEND=" |
48 |
dev-ml/zarith:= |
49 |
" |
50 |
DEPEND="${RDEPEND}" |
51 |
+ |
52 |
+src_prepare() { |
53 |
+ local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" |
54 |
+ sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die |
55 |
+ |
56 |
+ default |
57 |
+} |