diff options
Diffstat (limited to 'dev-ada/aws')
-rw-r--r-- | dev-ada/aws/Manifest | 6 | ||||
-rw-r--r-- | dev-ada/aws/aws-2017.ebuild | 50 | ||||
-rw-r--r-- | dev-ada/aws/aws-2018.ebuild | 51 | ||||
-rw-r--r-- | dev-ada/aws/files/aws-2016-gentoo.patch | 36 | ||||
-rw-r--r-- | dev-ada/aws/metadata.xml | 21 |
5 files changed, 164 insertions, 0 deletions
diff --git a/dev-ada/aws/Manifest b/dev-ada/aws/Manifest new file mode 100644 index 000000000000..e2e9501e52d5 --- /dev/null +++ b/dev-ada/aws/Manifest @@ -0,0 +1,6 @@ +AUX aws-2016-gentoo.patch 1510 BLAKE2B 86cbe9166f800a1b8a3a7d388ff256c17527c85665ad0dd32408d180de59357b5f9a593d7e3ebb3bc511a0a234b2549f7e2e090cdc85e1ed98547cad1d3b5f02 SHA512 29f121d22f1dd21a1228a96c15ba28a61da1e07bdb57ae5f0ba2babb2c8d0b38bab21edeb44fb8480fcb4c9bdf55b1f20f7d6b3668943a1814a5564dd168c92d +DIST aws-gpl-2017-src.tar.gz 12298806 BLAKE2B 9c45d77dd44da11efe99c6e3128fc5920b39eaaf620e266b2dab394866c2d6a3cd1abe4eb01d9024960ef9046662c0df690f72c687fbe0a64b1021ed9c383828 SHA512 a7ddd332cbf3e699fdb7f734fba7dfabed2a92745bbc7fbd4ae5ea5da6a5e98c5434d7a9a3d7071d57b8294cc5c0c2a3802ded607e9402a1cf5e5bed8f5a8c35 +DIST aws-gpl-2018-src.tar.gz 4193276 BLAKE2B 31fa99fc3324f2514799a33cbd282f68a26d133da14ee2a70d3f5091c3670e82a7b77f9f941e593e914a755dd54d5a1e352d201a9dc097991b7bd50aa9f54b3b SHA512 62b85f70dd722148bbf3ad85bfd6cde2d0ab1d8029f673eb7ee42b0890c3dbf0f023c321e96eca99ccd2f0b235347ab577cfb558e7d81993d166683ec815dbe4 +EBUILD aws-2017.ebuild 1083 BLAKE2B 83cc71d74f7a173f693d1ceef8ebfc53a233aa3f989965c6b01e69bd1818a93bf321fa324573fcaa68f671b87dd82ba669b4d796d5cae660d2dbc574e0d4e003 SHA512 4a6f7bb017bb860670066b7b5fe3a1e9d10d32a802a391b3d2df52197ae1918ac38b8c942c5433644e87f28ceccdcb0615f9f91d2fe528e14e5357952ef183e8 +EBUILD aws-2018.ebuild 1125 BLAKE2B 6a0cfb8bc33626faa6e8a8c636840a4e23a45d558e8fa25fc38642deaba15e679d5d776f3c117e0f7c0173cf6a3745b5f8c5f271e767b51f7b426a03cefa47e6 SHA512 566317cb1c77e7772c3c4408de3578979fdaf653c1a02e95414d3104b6a0529ec7435a453880a8501874fd3a550326aa6e82b8dcdf044736af3e52886c0c6d21 +MISC metadata.xml 910 BLAKE2B 32c65b10f1286c68aaf8c4eb5d5078dca8b09a451ec02d1a845282124b71cac7363e8f068910fe6908befcf49d9e476f30f53b78bd66d6269cb7cb38f5d69597 SHA512 e3b9b10331c66b3e3ce4bb0b74a1c426656d33ffb37936a433fad3f7fc2e64de233c7d18158c5eea409d406ebe1edcf77135e7b490bec40387adc8b0928cad5a diff --git a/dev-ada/aws/aws-2017.ebuild b/dev-ada/aws/aws-2017.ebuild new file mode 100644 index 000000000000..77fbba8c7964 --- /dev/null +++ b/dev-ada/aws/aws-2017.ebuild @@ -0,0 +1,50 @@ +# Copyright 1999-2018 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 x86" +IUSE="gnat_2016 +gnat_2017" + +RDEPEND="dev-ada/xmlada[gnat_2016=,gnat_2017=,static-libs]" +DEPEND="${RDEPEND} + dev-ada/gnat_util[gnat_2016=,gnat_2017=,static-libs] + 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}"/${PN}-2016-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 +} diff --git a/dev-ada/aws/aws-2018.ebuild b/dev-ada/aws/aws-2018.ebuild new file mode 100644 index 000000000000..f4d94c7b9188 --- /dev/null +++ b/dev-ada/aws/aws-2018.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2018 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/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 +} + +src_compile() { + 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 + 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 +} diff --git a/dev-ada/aws/files/aws-2016-gentoo.patch b/dev-ada/aws/files/aws-2016-gentoo.patch new file mode 100644 index 000000000000..b33073afa443 --- /dev/null +++ b/dev-ada/aws/files/aws-2016-gentoo.patch @@ -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 diff --git a/dev-ada/aws/metadata.xml b/dev-ada/aws/metadata.xml new file mode 100644 index 000000000000..d2da63463732 --- /dev/null +++ b/dev-ada/aws/metadata.xml @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>tupone@gentoo.org</email> + <name>Tupone Alfredo</name> + </maintainer> + <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> + </use> + <longdescription lang="en"> + AWS is a complete framework to develop Web based applications. The main part + of the framework is the embedded Web server. This small yet powerful Web + server can be embedded into your application so your application will be + able to talk with a standard Web browser like Microsoft Internet Explorer or + Firefox for example. Around this Web server a lot of services have been + developed. + </longdescription> +</pkgmetadata> |