diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2018-07-15 16:36:47 +0200 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2018-07-15 16:36:47 +0200 |
commit | 363cc8e281fc5159beadfae16b287d7f578cff07 (patch) | |
tree | dd3bbd469c93021ca64276340ff46a4d28fe713c | |
parent | app-shells/zsh: x86 stable (bug #660862) (diff) | |
download | gentoo-363cc8e281fc5159beadfae16b287d7f578cff07.tar.gz gentoo-363cc8e281fc5159beadfae16b287d7f578cff07.tar.bz2 gentoo-363cc8e281fc5159beadfae16b287d7f578cff07.zip |
dev-lang/spark: Fix path for gnatls
Package-Manager: Portage-2.3.40, Repoman-2.3.9
-rw-r--r-- | dev-lang/spark/spark-2018.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
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 } |