summaryrefslogtreecommitdiff
path: root/dev-ada/aws
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ada/aws
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ada/aws')
-rw-r--r--dev-ada/aws/Manifest6
-rw-r--r--dev-ada/aws/aws-2017.ebuild50
-rw-r--r--dev-ada/aws/aws-2018.ebuild51
-rw-r--r--dev-ada/aws/files/aws-2016-gentoo.patch36
-rw-r--r--dev-ada/aws/metadata.xml21
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>