gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/proverif: use edo instead of edob

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2024-05-23 23:25:45 +02:00
parent 2ee1e61248
commit 3c32aebedf
3 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
sci-mathematics/proverif/proverif-2.04-r1.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2023 Gentoo Authors
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
edob sh ./build -nointeract
edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
edob sh ./test
edo sh ./test
}
src_install() {

6
sci-mathematics/proverif/proverif-2.05.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2023 Gentoo Authors
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
edob sh ./build -nointeract
edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
edob sh ./test
edo sh ./test
}
src_install() {

6
sci-mathematics/proverif/proverif-9999.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2023 Gentoo Authors
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
edob sh ./build -nointeract
edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
edob sh ./test
edo sh ./test
}
src_install() {