sci-mathematics/alt-ergo: fix build

Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.69, Repoman-2.3.16
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 69ade990ba8f086b0e947cc48319b435ec2e0569..321faff324c8aad256d2f5bb1404f74f99ff6b2a 100644 (file)
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -16,6 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
        dev-ml/zarith
        gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
        dev-ml/camlzip
+       sci-mathematics/psmt2-frontend
        >=dev-ml/ocplib-simplex-0.4
        >=dev-ml/menhir-20181006
        dev-ml/dune"
@@ -28,7 +29,8 @@ src_configure() {
 }
 
 src_compile() {
-       emake
+       emake lib
+       emake bin
        use gtk && emake gui
 }