forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
aws-2017.ebuild
50 lines (39 loc) · 1.04 KB
/
aws-2017.ebuild
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
# 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="gnat_2016 gnat_2017"
RDEPEND="dev-ada/xmlada[gnat_2016=,gnat_2017=,static]"
DEPEND="${RDEPEND}
dev-ada/gnat_util[gnat_2016=,gnat_2017=,static]
dev-ada/asis[gnat_2016=,gnat_2017=]
dev-ada/gprbuild[gnat_2016=,gnat_2017=]"
REQUIRED_USE="^^ ( gnat_2016 gnat_2017 )"
S="${WORKDIR}"/${MY_P}
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
src_configure() {
emake -j1 setup prefix=/usr
}
src_compile() {
if use gnat_2016; then
GCC_PV=4.9.4
else
GCC_PV=6.3.0
fi
emake GCC=${CHOST}-gcc-${GCC_PV} \
PROCESSORS=$(makeopts_jobs) \
DEBUG=true \
GPRBUILD="/usr/bin/gprbuild -v"
}
src_install() {
emake DESTDIR="${D}" DEBUG=true install
einstalldocs
}