diff options
Diffstat (limited to 'dev-lang/spark')
| -rw-r--r-- | dev-lang/spark/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/spark/spark-2017.ebuild | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/dev-lang/spark/Manifest b/dev-lang/spark/Manifest index 6335acacdfca..ded6ec1d1271 100644 --- a/dev-lang/spark/Manifest +++ b/dev-lang/spark/Manifest @@ -1,5 +1,5 @@ AUX spark-2017-gentoo.patch 379 BLAKE2B 33907d6cd9099071cd04f687b05ab33da89bbd9a1d15e8282ae7791786c5638f977b39d482dfc15d07377ed2b06937a1d3f9ca18a6eb745ac7c3ec4d7cffa5ee SHA512 b4db9b56ab003dff8aec28248ea32af6fb4067c1824b0f6d115d66d1f3c8d180a17a2fa52a5f2ebc3605b549e0b38aafa15e9f238b079d5366d5375d851d84d1 DIST gnat-gpl-2017-src.tar.gz 8783473 BLAKE2B b0415b42f4d3a5e8675591a5602ff0a96945670104064671a232c0c12271ee141a3a5d148b8507bdab83cb8a0677c57b78e690060088308c51732bad3715964f SHA512 ae7314a2241107ed4d962dce08306eeb34c5f11e26183935bbb1ccf3a5eb011d6457c1b6fcded93dd0ee9ba31d791971ebe2a5a5a0ae04ff80d87a670325a098 DIST spark-gpl-2017-src.tar.gz 19750595 BLAKE2B 840eb9044b732aad16d2b6be9972e4805caf1e1b521ba40cc2a234871775d0212153ed9e9f84b4a2ddbeefc2b9c7d7556db943153655df6051cf4dc3f1be2e01 SHA512 90e7644daa6a935c839da9799c6dc5fe0a566f29c5f5d0a964ef5c888581f18c11adf6aa0151ae72437b91430fae06604dab8c3f1fd3222d749cfd330293ff6e -EBUILD spark-2017.ebuild 1601 BLAKE2B 4ec7e0036177dfbce9b40d524b598b9b62d92bbef59f77b584f03ca5e03fb92485fec981aae8dad323f449c3d34acee33f62db3222857a31bac32757d9e7dc88 SHA512 418479b9de11e9d7170e34e65b2472c4b089e9d15817d8d2aafc5bb4f89205e91ed38f810282e7705a91989373913a594a9d526a9acd2e4ec310b7b4a91955f4 +EBUILD spark-2017.ebuild 1628 BLAKE2B ec15a84af3a0bc1417cec1db937f21e74797d2959047f6f8e07b816a4078caa283d48665917590ce8da707d16c27e0c05d4c168f6f1f1bfba2c500bd336698e4 SHA512 d9a230596c29e6ccd09aee78326904f21676bb736546df40df2ed41d93b0b4015f739d00c868d8deaa54274127b18b69c979b8deeffe6db979518d833bebd0e7 MISC metadata.xml 702 BLAKE2B 26ae203d09cb80c4c75ca368651aa24da08657142d7e84e4dbdac335b501e98d6646e59b90b71706c8521e8e9c0692550615ef15f373f5d8d26e48ec74c2e72b SHA512 bd30717cad1bceeef722cf8a27cd3902ad636f088f64cc41f1be5d356a7def55e426bd62fd7a3e7d9272f61a6fad96bec423e7529660c8061650af72faeaeb57 diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild index e63d7069015f..47ad4e812b0f 100644 --- a/dev-lang/spark/spark-2017.ebuild +++ b/dev-lang/spark/spark-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -20,8 +20,7 @@ KEYWORDS="~amd64" IUSE="" RDEPEND="dev-lang/gnat-gpl:6.3.0 - >=dev-ada/gnatcoll-2017[gnat_2017,projects] - || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) + >=dev-ada/gnatcoll-2017[gnat_2017,projects,shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark" DEPEND="${RDEPEND} @@ -43,7 +42,8 @@ src_prepare() { } src_compile() { - emake gnat2why gnatprove + emake GPRARGS="-XLIBRARY_TYPE=relocatable" gnat2why + emake PROD="-XLIBRARY_TYPE=relocatable" gnatprove } src_install() { |