[gentoo-commits] repo/gentoo:master commit in: dev-lang/spark/

[Alfredo Tupone]

commit:     363cc8e281fc5159beadfae16b287d7f578cff07
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 15 14:36:47 2018 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 15 14:36:47 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=363cc8e2

dev-lang/spark: Fix path for gnatls

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-lang/spark/spark-2018.ebuild | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dev-lang/spark/spark-2018.ebuild b/dev-lang/spark/spark-2018.ebuild
index e25af28a4b1..8aad4b2c9af 100644
--- a/dev-lang/spark/spark-2018.ebuild
+++ b/dev-lang/spark/spark-2018.ebuild
@@ -37,6 +37,7 @@ src_prepare() {
                -e "s:gnatmake:gnatmake-${GCC_PV}:g" \
                -e "s:gnatls:gnatls-${GCC_PV}:g" \
                Makefile \
+               gnatprove/configuration.adb \
                gnat2why/Makefile || die
        default
 }