diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gtkada/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gtkada/gtkada-2018.ebuild | 70 | ||||
| -rw-r--r-- | dev-ada/gtkada/metadata.xml | 1 |
3 files changed, 72 insertions, 0 deletions
diff --git a/dev-ada/gtkada/Manifest b/dev-ada/gtkada/Manifest index 7922c993824b..c7ff0856e143 100644 --- a/dev-ada/gtkada/Manifest +++ b/dev-ada/gtkada/Manifest @@ -1 +1,2 @@ DIST gtkada-gpl-2017-src.tgz 11952333 BLAKE2B 2a333452ff271bba0521235598afdb1abebc4ceeab0f915f173862329ae0986b0fc4f654d3df28eac73af075db224c0b12340c3acd1e4ed0ffc965e4365f8b40 SHA512 f5bbb9ebdd966e70b3edcaaf359cb9e75edba3c3f4f8febfa7de9f634f8e96cd0dd1482fb16ad852b1c9f9b0e2c16eb3a437120d37f0638d90af666620f09f3f +DIST gtkada-gpl-2018-src.tgz 11958880 BLAKE2B 4946918b52de5e15efc77411927812910d84d13cea66b86b1162b987c7849ba7fbb6da487881762f64005dc32a74fa73c9d759d25bb9ac0241d1d76cd4becbfb SHA512 9000de7675f8ee688b1c9cd93cf35b32f698aca8fc22d3b4e695d7c6b34feb60118cc687cf35432cd5ed9af7825eda7e20575a9fad4523a7b59cb0322bce0762 diff --git a/dev-ada/gtkada/gtkada-2018.ebuild b/dev-ada/gtkada/gtkada-2018.ebuild new file mode 100644 index 000000000000..1a6fabc18667 --- /dev/null +++ b/dev-ada/gtkada/gtkada-2018.ebuild @@ -0,0 +1,70 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit autotools multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="A complete Ada graphical toolkit" +HOMEPAGE="http://libre.adacore.com//tools/gtkada/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf840c7a4475261f97ced + -> ${MYP}-src.tgz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs" + +RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) + gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) + gnat_2018? ( dev-lang/gnat-gpl:7.3.1 ) + dev-libs/atk + dev-libs/glib:2 + media-libs/fontconfig + media-libs/freetype + x11-libs/cairo + x11-libs/gdk-pixbuf:2 + x11-libs/gtk+:3 + x11-libs/pango" +DEPEND="${RDEPEND} + dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018(-)=]" + +REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 )" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_prepare() { + default + mv configure.{in,ac} + eautoreconf +} + +src_configure() { + if use gnat_2018; then + GCC_PV=7.3.1 + elif use gnat_2017; then + GCC_PV=6.3.0 + else + GCC_PV=4.9.4 + fi + GCC=${CHOST}-gcc-${GCC_PV} + econf \ + --prefix="${D}/usr" \ + $(use_enable static-libs static) \ + $(use_enable shared) \ + --without-GL +} + +src_compile() { + GNATPREP=${CHOST}-gnatprep-${GCC_PV} + GCC=${GCC} emake -j1 GNATPREP=${GNATPREP} PROCESSORS=$(makeopts_jobs) +} + +src_install() { + emake -j1 install + einstalldocs +} diff --git a/dev-ada/gtkada/metadata.xml b/dev-ada/gtkada/metadata.xml index e26ee639a2da..0373a027e239 100644 --- a/dev-ada/gtkada/metadata.xml +++ b/dev-ada/gtkada/metadata.xml @@ -8,6 +8,7 @@ <use> <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> <flag name="shared">Build gtkada as shared library</flag> </use> <longdescription lang="en"> |