From 363cc8e281fc5159beadfae16b287d7f578cff07 Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sun, 15 Jul 2018 16:36:47 +0200 Subject: 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 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 } -- cgit v1.2.3-65-gdbad