[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     5adc972cfb26d6e8e3bd18c8c12b7adda31739a5
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon May 25 17:01:22 2020 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon May 25 17:01:22 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5adc972c

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 <AT> gentoo.org>

 sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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 2f9029c56d0..b7f3fb22add 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