From: Alfredo Tupone <tupone@gentoo.org>
Date: Mon, 25 May 2020 17:01:22 +0000 (+0200)
Subject: sci-mathematics/alt-ergo: fix dependency
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=5adc972cfb26d6e8e3bd18c8c12b7adda31739a5;p=gentoo.git

sci-mathematics/alt-ergo: fix dependency

Closes: https://bugs.gentoo.org/716416
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---

diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 2f9029c56d08..b7f3fb22add8 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -20,11 +20,18 @@ DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
 	>=dev-ml/ocplib-simplex-0.4
 	>=dev-ml/menhir-20181006
 	dev-ml/seq
-	dev-ml/dune"
+	dev-ml/dune
+	dev-ml/num"
 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
+	/usr/bin/alt-ergo
+)
+
 src_prepare() {
 	default
 	find "${S}" -name \*.ml | xargs sed -i "s:Pervasives:Stdlib:g" || die