alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Ada Servlet 1.8.0 crates (#1543)

Browse Source 
* Ada Servlet 1.8.0 crates

* Remove AWS support because as usual AWS is broken in automated builds
This commit is contained in:
Stephane Carrez
2025-07-15 11:10:07 +02:00
committed by GitHub
parent 804e09f7ed
commit 685a35281f
3 changed files with 121 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/se/servletada/servletada-1.8.0.toml
+42
View File
@@ -0,0 +1,42 @@
description = "Web Servlet Library following JSR 154, JSR 315 (Core)"
tags = ["web", "servlet", "http", "json", "rest"]
name = "servletada"
version = "1.8.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["servletada.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
Ada Servlet allows to create web applications using the same pattern
as the Java Servlet (See JSR 154, JSR 315).
The Ada Servlet library is used by the [Ada Server Faces](https://gitlab.com/stcarrez/ada-asf)
framework and [Ada Web Application](https://gitlab.com/stcarrez/ada-awa)
to provide server web requests.
"""
[[depends-on]]
security = "^1.5.0"
utilada = "^2.8.0"
elada = "^1.8.5"
xmlada = "~24.0"
[gpr-externals]
SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "25cddf78d74ad3d0d32fe42712ca75165a837741"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
index/se/servletada_ews/servletada_ews-1.8.0.toml
+40
View File
@@ -0,0 +1,40 @@
description = "Web Servlet Library following JSR 154, JSR 315 (EWS)"
tags = ["web", "servlet", "http", "json"]
name = "servletada_ews"
version = "1.8.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["servletada_ews.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
Ada Servlet allows to create web applications using the same pattern
as the Java Servlet (See JSR 154, JSR 315).
This library integrates the Ada Servlet in the Embedded Web Server.
"""
[[depends-on]]
servletada = "^1.8.0"
ews = "any"
[gpr-externals]
SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "414b730adfaa106a0dd08208b572b68f95219881"
subdir = "./ews/"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
index/se/servletada_unit/servletada_unit-1.8.0.toml
+39
View File
@@ -0,0 +1,39 @@
description = "Web Servlet Library following JSR 154, JSR 315 (Testing framework)"
tags = ["web", "servlet", "http", "json", "rest", "testing"]
name = "servletada_unit"
version = "1.8.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["servletada_unit.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-servlet/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-servlet/summary)
This library provides helper operations for unit testing a servlet implemented on top of
Ada Servlet.
"""
[[depends-on]]
servletada = "^1.8.0"
utilada = "^2.8.0"
utilada_unit = "^2.8.0"
[gpr-externals]
SERVLET_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "25cddf78d74ad3d0d32fe42712ca75165a837741"
subdir = "./unit/"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"