[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

[Alfredo Tupone]

commit:     9ca01a8eb0c26afe211e01dcea811b54b29f0b28
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Nov  4 18:28:34 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Nov  4 18:28:34 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ca01a8e

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

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 1 +
 1 file changed, 1 insertion(+)

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 3fd44106514..ca75d4898e4 100644
--- 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