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 /dev-lang | |
| 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
Diffstat (limited to 'dev-lang')
| -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 } |