diff options
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 } |