diff options
Diffstat (limited to 'dev-ada/aws/aws-2018.ebuild')
| -rw-r--r-- | dev-ada/aws/aws-2018.ebuild | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/dev-ada/aws/aws-2018.ebuild b/dev-ada/aws/aws-2018.ebuild deleted file mode 100644 index 13df9f3052b8..000000000000 --- a/dev-ada/aws/aws-2018.ebuild +++ /dev/null @@ -1,44 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# 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/5b0819e0c7a447df26c27abd - -> ${MY_P}.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="gnat_2016 gnat_2017 +gnat_2018" - -RDEPEND="dev-ada/xmlada[gnat_2016=,gnat_2017=,gnat_2018(-)=] - dev-ada/xmlada[shared,static-libs]" -DEPEND="${RDEPEND} - dev-ada/asis[gnat_2016(-)=,gnat_2017(-)=,gnat_2018(-)=] - dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?]" - -S="${WORKDIR}"/${MY_P} - -PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch ) - -src_configure() { - emake -j1 setup prefix=/usr ENABLE_SHARED=true \ - GPRBUILD="/usr/bin/gprbuild -v" -} - -src_compile() { - emake \ - PROCESSORS=$(makeopts_jobs) \ - GPRBUILD="/usr/bin/gprbuild -v" -} - -src_install() { - emake DESTDIR="${D}" install - einstalldocs -} |