From: Tupone Alfredo <tupone@gentoo.org>
Date: Sun, 15 Jul 2018 14:36:47 +0000 (+0200)
Subject: dev-lang/spark: Fix path for gnatls
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=363cc8e281fc5159beadfae16b287d7f578cff07;p=gentoo.git

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 e25af28a4b13..8aad4b2c9af1 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
 }