diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-05-25 19:01:22 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-05-25 19:01:22 +0200 |
| commit | 5adc972cfb26d6e8e3bd18c8c12b7adda31739a5 (patch) | |
| tree | 32c5c9e5017dd8c492ce00eadefb4865f7426201 /sci-mathematics | |
| parent | app-admin/stow-2.3.1: amd64 stable, bug 725370 (diff) | |
| download | gentoo-5adc972cfb26d6e8e3bd18c8c12b7adda31739a5.tar.gz gentoo-5adc972cfb26d6e8e3bd18c8c12b7adda31739a5.tar.bz2 gentoo-5adc972cfb26d6e8e3bd18c8c12b7adda31739a5.zip | |
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>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 |
1 files changed, 8 insertions, 1 deletions
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 |