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
