diff options
| -rw-r--r-- | dev-ada/aws/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/aws/aws-2017.ebuild | 41 | ||||
| -rw-r--r-- | dev-ada/aws/files/aws-2017-gentoo.patch | 36 |
3 files changed, 78 insertions, 0 deletions
diff --git a/dev-ada/aws/Manifest b/dev-ada/aws/Manifest index 6043913f0190..6980bbcb182a 100644 --- a/dev-ada/aws/Manifest +++ b/dev-ada/aws/Manifest @@ -1 +1,2 @@ DIST aws-gpl-2016-src.tar.gz 15054562 SHA256 310d7a79fba1cf622f6c8d53103226422c788126198911efef09e372d559db32 SHA512 296825e4683bbf4701a42d52cb0b58ebed8d3715972d0c5f83765987d1e96ab4d6d22835c37c043f49ae106fedf5d61ef22cbe348384c2de388519637e26df0b WHIRLPOOL 48428b840149064f96a1656074cfb2f308abdc546ece87d939ab2f95f05e668caafbe9969ab99770909739fe8a4013337cd1ea8b56a7ed06291114c5d812c62f +DIST aws-gpl-2017-src.tar.gz 12298806 SHA256 f7b2720f31c21c46bf4bca79e0921a4e796e6a4108be1bada1775eb2ba7fd935 SHA512 a7ddd332cbf3e699fdb7f734fba7dfabed2a92745bbc7fbd4ae5ea5da6a5e98c5434d7a9a3d7071d57b8294cc5c0c2a3802ded607e9402a1cf5e5bed8f5a8c35 WHIRLPOOL 41081537d1d017bb19d665c6b134b54b56d4841a98f713a94367c6e57915185f8ed7fe983ef641d79ce0cece09211fbd34220df81953dfee393d70824c5728d0 diff --git a/dev-ada/aws/aws-2017.ebuild b/dev-ada/aws/aws-2017.ebuild new file mode 100644 index 000000000000..0c02b4593056 --- /dev/null +++ b/dev-ada/aws/aws-2017.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit multiprocessing + +MY_P=${PN}-gpl-${PV}-src + +DESCRIPTION="A complete Web development framework" +HOMEPAGE="http://libre.adacore.com/tools/aws/" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed001 + -> ${MY_P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND="dev-ada/xmlada[static]" +DEPEND="${RDEPEND} + dev-ada/gnat_util[static] + dev-ada/asis + dev-ada/gprbuild" + +S="${WORKDIR}"/${MY_P} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_configure() { + emake -j1 setup prefix=/usr +} + +src_compile() { + emake GCC=${ADA} PROCESSORS=$(makeopts_jobs) +} + +src_install() { + emake DESTDIR="${D}" install + einstalldocs +} diff --git a/dev-ada/aws/files/aws-2017-gentoo.patch b/dev-ada/aws/files/aws-2017-gentoo.patch new file mode 100644 index 000000000000..b33073afa443 --- /dev/null +++ b/dev-ada/aws/files/aws-2017-gentoo.patch @@ -0,0 +1,36 @@ +--- aws-gpl-2016-src/shared.gpr.old 2017-01-30 20:00:39.022743691 +0100 ++++ aws-gpl-2016-src/shared.gpr 2017-01-30 20:01:20.524985069 +0100 +@@ -130,6 +130,7 @@ + package Compiler is + + for Driver ("Makefile") use ""; ++ for Driver ("C") use External ("GCC", "gcc"); + + case Build is + when "Debug" => +@@ -151,11 +151,11 @@ + end case; + + for Switches ("aws-attachments.adb") +- use Common_Options & Debug_Options & ("-gnatVn"); ++ use Common_Options & Debug_Options & ("-gnatVn") & Adaflags; + for Switches ("aws-session.adb") +- use Common_Options & Debug_Options & ("-gnatVn"); ++ use Common_Options & Debug_Options & ("-gnatVn") & Adaflags; + for Switches ("templates_parser.adb") +- use Common_Options & Debug_Options & ("-gnatVn"); ++ use Common_Options & Debug_Options & ("-gnatVn") & Adaflags; + -- Disable validity check on this unit to work-around N728-028 + + -- ADAFLAGS and CFLAGS should come last so that command line +--- aws-gpl-2016-src/include/include.gpr.old 2017-02-17 22:09:14.361695926 +0100 ++++ aws-gpl-2016-src/include/include.gpr 2017-02-17 22:11:36.497215517 +0100 +@@ -54,7 +54,7 @@ + + when "Release" => + for Default_Switches ("Ada") use +- ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Global_Options; ++ ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Adaflags & Shared.Global_Options; + end case; + + case Shared.S_Target is |