millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-10 00:04:51 +03:00
Code Packages Projects Releases Wiki Activity

sci-mathematics/coq: fix export in src_configure

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2025-03-28 20:53:39 +01:00
parent 77eb072155
commit 756ab827ab
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/coq/coq-9.0.0.ebuild
View File

@@ -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