dev-lang/spark: Fix path for gnatls

Package-Manager: Portage-2.3.40, Repoman-2.3.9

diff --git a/dev-lang/spark/spark-2018.ebuild b/dev-lang/spark/spark-2018.ebuild
index e25af28a4b139f05e9c55c605a6f5e7322c40c15..8aad4b2c9af111e4fc1686f0b7479b1dc09601b9 100644 (file)
--- 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
 }