gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-01 11:18:09 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNORED

Browse Source 
Closes: https://bugs.gentoo.org/725558
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2020-05-27 07:46:51 +02:00
parent 8283030b0f
commit e2e4fb5203
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
View File

@@ -26,11 +26,11 @@ RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
QA_FLAGS_IGNORED="
/usr/lib*/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib*/alt-ergo-lib/AltErgoLib.cmxs
QA_FLAGS_IGNORED=(
/usr/lib64/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib64/alt-ergo-lib/AltErgoLib.cmxs
/usr/bin/alt-ergo
"
)
src_prepare() {
default