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 2f9029c56d083da6eca1bf275bb9af6317ac5e01..b7f3fb22add84a137f43513dc3bc681240bae512 100644 (file)
--- 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