forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Package-Manager: Portage-2.3.6, Repoman-2.3.1
- Loading branch information
Showing
3 changed files
with
78 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 |