diff options
Diffstat (limited to 'dev-ada/aws/aws-2019.ebuild')
-rw-r--r-- | dev-ada/aws/aws-2019.ebuild | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/dev-ada/aws/aws-2019.ebuild b/dev-ada/aws/aws-2019.ebuild deleted file mode 100644 index 6096f1148c3d..000000000000 --- a/dev-ada/aws/aws-2019.ebuild +++ /dev/null @@ -1,41 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit multiprocessing - -MY_P=${P}-20190512-18AB9-src - -DESCRIPTION="A complete Web development framework" -HOMEPAGE="http://libre.adacore.com/tools/aws/" -SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf85a031e87aa2cdf16b19 - -> ${MY_P}.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="+gnat_2019" - -RDEPEND="dev-ada/xmlada[gnat_2019] - dev-ada/xmlada[shared,static-libs]" -DEPEND="${RDEPEND} - dev-ada/asis[gnat_2019] - dev-ada/gprbuild[gnat_2019]" - -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" -} |