sci-mathematics/why3-for-spark: Install libraries

Package-Manager: Portage-2.3.8, Repoman-2.3.3

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index 3fd44106514080a3252090147c27dde04561fc3a..ca75d4898e439708b97fb5e8306028b4fd2ddd56 100644 (file)
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -67,6 +67,7 @@ src_compile() {
 
 src_install() {
        default
+       emake DESTDIR="${D}" install-lib
        emake DESTDIR="${D}" install_spark2014_dev
        docompress -x /usr/share/doc/${PF}/examples
        dodoc -r examples