commit: 756ab827ab802f4191ff82a6703458fb95ec637e
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 28 19:53:39 2025 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar 28 20:42:16 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=756ab827
sci-mathematics/coq: fix export in src_configure
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq/coq-9.0.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq/coq-9.0.0.ebuild
b/sci-mathematics/coq/coq-9.0.0.ebuild
index 72b1bf0803f6..ac81887a2d4a 100644
--- a/sci-mathematics/coq/coq-9.0.0.ebuild
+++ b/sci-mathematics/coq/coq-9.0.0.ebuild
@@ -80,7 +80,7 @@ src_prepare() {
}
src_configure() {
- export -x CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"
+ local -x CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"
DUNE_PACKAGES=(
coq
