Compare commits

...

39 Commits

Author SHA1 Message Date
Alejandro R Mosteo 893ec65679 fix: improper syntax that will be rejected post-2.1 (#1417) (#1446)
* fix: improper syntax that will be rejected post-2.1 (#1417)

We had a missing check in index loading logic that should have rejected an unexpected array.

* Don't fail fast
2025-03-20 18:55:40 +01:00
Blady-Com 97ab1425bf gtkada 21.0.0: macOS support (#545)
* Add macOS support to GTKAda 21.0.0.

* Fix sed syntax for Linux.

* To be compatible between macOS and Linux, we should avoid sed -i and use tmp files instead.

* Disable problematic platforms

Co-authored-by: GHA <actions@github.com>
2022-09-27 18:04:28 +02:00
Stephane Carrez 19b9c9f156 libmariadb external (#619) 2022-08-23 10:51:14 +02:00
Jeremy Grosser 482c219a9a rp2040_hal, pico_bsp, pico_examples 2.0.0 (#618) 2022-08-22 18:46:20 +02:00
Stephane Carrez 365ece5cc0 openapi 0.6.0, openapi_server 0.6.0 (#616) 2022-08-22 11:05:43 +02:00
Simon Wright 96ae9d9262 ews 1.11.0 (#615)
* Adding EWS 1.11.0.

* Fixed CI build error.
2022-08-19 19:20:50 +02:00
Stephane Carrez 5e094050a2 serverfaces 1.5.0, serverfaces_unit 1.5.0 (#614) 2022-08-18 12:55:46 +02:00
Stephane Carrez 9ed78577e7 servletada 1.6.0, servletada_aws 1.6.0, servletada_unit 1.6.0 (#612)
I'll submit the servletada_ews crate when Simon publishes the ews crate
2022-08-18 11:17:26 +02:00
nytpu f4102f2005 tlsada 2.5.1, uri_mime 1.4.0 (#608)
* tlsada 2.5.0

* uri_mime 1.4.0

* tlsada 2.5.1
2022-08-18 11:05:51 +02:00
Blady-Com 58f1131b7e gnoga 1.6.2, gnoga 2.1.2 (#607) 2022-08-18 11:02:05 +02:00
Stephane Carrez 5a220c088a akt 1.3.3, keystoreada 1.3.3 (#599) 2022-08-17 13:57:10 +02:00
Fabien Chouteau cc8691353a littlefs 0.2.2, littlefs 0.3.1 (#606) 2022-08-17 13:53:29 +02:00
Fabien Chouteau 9d63de674e cortex_m 0.5.0 (#603) 2022-08-17 12:30:52 +02:00
Manuel 8ccdd4b51c New release: ASFML v2.5.3. & Add external origin for libcsfml on Fedora (#605) 2022-08-11 08:14:42 +02:00
Blady-Com 9e79b59fd3 Upgrade UXStrings to version 0.4.0. (#602)
Add Simple Components dependency.
2022-08-09 09:06:56 +02:00
Stephane Carrez e128d84876 Add new crate for the Ada Wiki Engine 1.4.0 library (#600) 2022-08-09 09:06:03 +02:00
Stephane Carrez 97a59de737 Add crate for the new Ada Database Objects 2.3.0 library (#598) 2022-08-09 09:02:06 +02:00
Stephane Carrez 8947ddad6b Add crate for the new LZMA support in Ada Utility Library 2.5.0 (#597)
* Add crate for the new LZMA support in Ada Utility Library 2.5.0

* Fix the crate (wrong commit)
2022-08-09 09:01:20 +02:00
Stephane Carrez bdc02b248f Add crate for the new Ada Security 1.4.1 library (#596)
* Add crate for the new Ada Security 1.4.1 library

* Fix commit
2022-08-09 09:00:40 +02:00
Alejandro R Mosteo 28f3aa912e rsfile 1.0.1 (#592) 2022-08-09 08:59:54 +02:00
Blady-Com 92885992a5 simple_components 4.62 (#601) 2022-08-04 12:48:16 +02:00
Stephane Carrez 8d195be94f elada 1.8.5 (#595) 2022-08-04 12:20:54 +02:00
Stephane Carrez bd299010ee utilada, _aws, _curl, _unit, _xml 2.5.0 (#594)
* Add crate for the new Ada Utility 2.5.0 library

* Remove setting the BUILD and UTIL_LIBRARY_TYPE since default values exists in GPR
2022-08-03 18:22:54 +02:00
Stephane Carrez 88151621ea lzmada 1.1.2 (#593) 2022-08-03 11:10:34 +02:00
Jesper Quorning 17c1f5d147 utilada 2.1.0: fix compiler constraint (#591)
* Fix compiler constraint

* Sure to include all CE 2020
2022-08-02 11:23:32 +02:00
Jesper Quorning 32115b37ec utilada 2.1.0: Constraints on compiler (#590)
* Add compiler constraints

* Fix readthedocs url
2022-07-31 11:22:20 +02:00
Paul Jarrett 4b10e465ca dir_iterators 0.0.4 (#589) 2022-07-31 11:19:06 +02:00
onox 2abe5955de libopus external (#588) 2022-07-31 11:15:18 +02:00
Stephen Merrony 9934b08c4a simh_tapes 0.1.1: remove executable (#587)
The executable is in a nested crate
2022-07-31 11:13:12 +02:00
onox c0cefb39a1 libgmp external: add Arch package (#586) 2022-07-31 10:56:24 +02:00
Alejandro R Mosteo 8322df8d70 rxada 0.1.1 (#585)
Co-authored-by: GHA <actions@github.com>
2022-07-29 16:27:47 +02:00
onox c5f9c524e8 spoon 1.0.0 (#580) 2022-07-29 13:00:39 +02:00
Fabien Chouteau 639941bf3c lvgl_ada_examples 0.1.0 narrower dependencies (#579)
* Update lvgl_ada_examples-0.1.0.toml

Fix dependencies

* Update lvgl_ada_simulator-0.1.1.toml

* Update lvgl_ada_simulator-0.1.0.toml

* Update lvgl_ada_simulator-0.1.1.toml

* Update lvgl_ada_simulator-0.1.0.toml
2022-07-29 10:24:34 +02:00
Frédéric Praca f9b2878076 cbsg 0.0.1 (#584) 2022-07-28 18:11:53 +02:00
Stephen Merrony 1005eefb35 dg_loada 1.4.3 (#576)
Add Data General Dump_II file restore utility.

* Library for SimH Standard magnetic tape images

Simh_tape is an Ada package for handling magnetic tape images in the
[standard format](http://simh.trailing-edge.com/docs/simh_magtape.pdf) used by 
[SimH](http://simh.trailing-edge.com/) and many other computer simulators and emulators.

* Remove build-switches

* Fix alire.toml

* Delete simh_tapes-0.1.1-dev.toml

* Add Data General Dump_II file restore utility.

* Restrict to non-Windows OSes

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2022-07-28 13:12:01 +02:00
Frédéric Praca 84428d59c7 postgresql external: add Arch support (#583) 2022-07-28 11:03:06 +02:00
Blady-Com ce0a741956 uxstrings support for gnat > 11 (#582) 2022-07-28 10:41:07 +02:00
Fabien Chouteau 4ded60916f gnat, gnatprove 12.1.1 (#550)
* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml
2022-07-27 11:28:24 +02:00
Fabien Chouteau 291704c6c3 aws 21.0.0: enable openssl on Linux/macOS and release builds (#573) 2022-07-25 17:11:52 +02:00
72 changed files with 1946 additions and 15 deletions
+2 -1
View File
@@ -18,7 +18,8 @@ jobs:
runs-on: ${{ matrix.os }}
strategy:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
+1
View File
@@ -20,6 +20,7 @@ jobs:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os:
- macos-latest
+61
View File
@@ -0,0 +1,61 @@
description = "Ada Database Objects (Core library)"
tags = ["database", "uml", "sql"]
name = "ado"
version = "2.3.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/ado.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
Ada Database Objects is an Ada05 library that provides
object relational mapping to access a database in Ada05.
The library supports Postgresql, MySQL, SQLite as databases.
Most of the concepts developped for ADO come from the Java Hibernate ORM.
The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
for the implementation. It provides a database driver for [Postgresql](https://www.postgresql.org/),
[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/). The ORM helps your
application by providing a mapping of your database tables directly in the target programming
language: Ada05 in our case. The development process is the following:
* You design your database model either using a UML tool or by writing a YAML or XML description,
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
* You generate the SQL database tables by using the same tool,
* You write your application on top of the generated code that gives you direct and simplified access to your database.
![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
You need at least one of these databases (or all of then). The configure script will now
fail if no supported database was found. Check the [Database Drivers](#database-drivers)
section to install them and run the configure again after the installation.
# Documentation
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
"""
[[depends-on]]
utilada = "^2.5.0"
utilada_xml = "^2.5.0"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+44
View File
@@ -0,0 +1,44 @@
description = "Ada Database Objects (All drivers)"
tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
name = "ado_all"
version = "2.3.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/all/ado_all.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the MySQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado_postgresql = "^2.3.0"
ado_sqlite = "^2.3.0"
ado_mysql = "^2.3.0"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[[actions]]
type = "post-fetch"
command = ["gnatprep", "-DHAVE_MYSQL=True", "-DHAVE_SQLITE=True", "-DHAVE_POSTGRESQL=True",
"src/drivers/ado-drivers-initialize.gpb",
"src/drivers/ado-drivers-initialize.adb"
]
[origin]
commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+36
View File
@@ -0,0 +1,36 @@
description = "Ada Database Objects (Mysql)"
tags = ["database", "uml", "sql", "mysql", "mariadb"]
name = "ado_mysql"
version = "2.3.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/mysql/ado_mysql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the MySQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.3.0"
# libmysqlclient = "*"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -0,0 +1,36 @@
description = "Ada Database Objects (PostgreSQL)"
tags = ["database", "uml", "sql", "postgresql"]
name = "ado_postgresql"
version = "2.3.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/postgresql/ado_postgresql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the PostgreSQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.3.0"
libpq = "*"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+36
View File
@@ -0,0 +1,36 @@
description = "Ada Database Objects (SQLite)"
tags = ["database", "uml", "sql", "sqlite"]
name = "ado_sqlite"
version = "2.3.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/sqlite/ado_sqlite.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-ADO.svg)](https://jenkins.vacs.fr/job/Ada-ADO/)
[![codecov](https://codecov.io/gh/stcarrez/ada-ado/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-ado)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the SQLite driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.3.0"
libsqlite3 = "any"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "a59fa70f33f842a76bbe68bfcdc97ada1add756c"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+85
View File
@@ -0,0 +1,85 @@
description = "Ada Keystore Tool"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
[![codecov](https://codecov.io/gh/stcarrez/ada-keystore/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-keystore)
# Overview
AKT is a tool to store and protect your sensitive information and documents by
encrypting them in secure keystore (AES-256, HMAC-256).
Create the keystore and protect it with a gpg public key:
```
akt create secure.akt --gpg <keyid> ...
```
Store a small content:
```
akt set secure.akt bank.password 012345
```
Store files, directory or a tar file:
```
akt store secure.akt notes.txt
akt store secure.akt contract.doc
akt store secure.akt directory
tar czf - . | akt store secure.akt -- backup
```
Edit a content with your $EDITOR:
```
akt edit secure.akt bank.password
akt edit secure.akt notes.txt
```
Get a content:
```
akt get secure.akt bank.password
akt extract secure.akt contract.doc
akt extract secure.akt -- backup | tar xzf -
```
## Documents
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
"""
name = "akt"
version = "1.3.3"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/keystoreada_tools.gpr"]
tags = ["security", "storage", "nosql"]
website = "https://gitlab.com/stcarrez/ada-keystore"
executables = ["akt"]
[[actions]]
type = "post-fetch"
command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.3.3\"",
"tools/akt-configs.gpb",
"tools/akt-configs.ads"
]
[[depends-on]]
utilada = "^2.5.0"
keystoreada = "^1.3.3"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
MANPATH.prepend = "${CRATE_ROOT}/man"
[origin]
commit = "e0e9d5ef2c92c74d06b3ada5ed162ad3400a9f5c"
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+19
View File
@@ -0,0 +1,19 @@
name = "asfml"
description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.5.3"
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
maintainers-logins = ["mgrojo"]
licenses = "custom-zlib-acknowledgement"
website = "https://mgrojo.github.io/ASFML/"
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
[[depends-on]]
libcsfml = "^2.5"
[origin]
commit = "34bc68295a8e03fb7141277f542cf0bdad2e971c"
url = "git+https://github.com/mgrojo/ASFML.git"
+5 -1
View File
@@ -14,12 +14,14 @@ tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
[[actions]]
type = "post-fetch"
command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false",
"LAL=false", "XMLADA=false", "prefix=install_dir"]
"LAL=false", "XMLADA=false", "prefix=install_dir",
"PRJ_BUILD=Release"]
[[depends-on]]
make = "*"
xmlada = "~21.0.0"
gnat = ">=9"
openssl = "*"
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
@@ -33,9 +35,11 @@ PRJ_LAL="Disabled"
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TARGET = "x86_64-linux-gnu"
SOCKET = "openssl"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
SOCKET = "openssl"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
+15
View File
@@ -0,0 +1,15 @@
name = "cbsg"
description = "Corporate Bullshit Generator library"
version = "0.0.1"
authors = ["Gautier de Montmollin"]
maintainers = ["Frédéric Praca <frederic.praca@free.fr>"]
maintainers-logins = ["FredPraca"]
tags = [ "text", "console"]
licenses = "Apache-2.0"
website = "http://cbsg.sf.net/"
[origin]
commit = "afef1379f890ad1a367526779b469d7cd5e35874"
url = "git+https://github.com/FredPraca/cbsg.git"
+34
View File
@@ -0,0 +1,34 @@
description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = '''# cortex-m
Ada drivers for the peripherals of ARM Cortex-M micro-controllers
(NVIC,\nSysTick, etc.)
This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "cortex_m"
version = "0.5.0"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["embedded", "arm", "nostd"]
[[depends-on]]
hal = "~0.3"
gnat_arm_elf = ">=12"
[configuration.variables]
core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
[origin]
commit = "39667d15f4df10da6ecfd94af47c463bb54ff2d6"
url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
+23
View File
@@ -0,0 +1,23 @@
name = "dg_loada"
description = "dg_loada loads (restores) legacy DG AOS/VS DUMP_II files"
long-description = "dg_loada loads (restores) backup files created by Data General's AOS/VS DUMP_II, and maybe DUMP_III, files on any modern system supported by GNAT Ada."
version = "1.4.3"
authors = ["Stephen Merrony"]
maintainers = ["Stephen Merrony <merrony@gmail.com>"]
maintainers-logins = ["SMerrony"]
licenses = "MIT"
website = "https://github.com/SMerrony/dg_loada"
tags = ["legacy", "recovering-data", "dg", "data-general", "aos-vs"]
executables = ["dg_loada"]
[available.'case(os)']
windows = false
'...' = true
[origin]
commit = "1f0e0a89a1f6a08b194e60369df16537cd8c8301"
url = "git+https://github.com/SMerrony/dg_loada.git"
@@ -0,0 +1,75 @@
name = "dir_iterators"
description = "Ways of moving around directory trees"
version = "0.0.4"
website = "https://github.com/pyjarrett/dir_iterators"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["dir", "files", "walk"]
long-description = '''
[![Build Status](https://github.com/pyjarrett/dir_iterators/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/dir_iterators/actions)
[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/dir_iterators.json)](https://alire.ada.dev/crates/dir_iterators.html)
## Iterator-based directory walks
Provides convenient ways to walk directories based on Ada 2012 user-defined
iterators.
Inspired by [walkdir for Rust](https://github.com/BurntSushi/walkdir).
## Walking a directory tree recursively
```ada
with Ada.Directories;
with Ada.Text_IO;
with Dir_Iterators.Recursive;
-- ...
Dir_Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk
:= Dir_Iterators.Recursive.Walk (Dir);
for Dir_Entry of Dir_Walk loop
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
end loop;
```
## Walking a directory tree recursively with a filter
Use a filter to prune directories and files from the walk.
```ada
with Ada.Directories;
with Ada.Text_IO;
with Dir_Iterators.Recursive;
package AD renames Ada.Directories;
-- ...
procedure Foo (Include_Dot_Files : Boolean; Dir_Root : String) is
function Filter (E : Ada.Directories.Directory_Entry_Type) return Boolean is
Name : constant String := Ada.Directories.Simple_Name(E);
begin
return Include_Dot_Files
or else (not (Name'Length > 1 and then Name(1) = '.'));
end Filter;
Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk :=
Dir_Iterators.Recursive.Walk (Dir_Root, Filter'Access);
begin
for Dir_Entry of Walk loop
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
end loop;
end Foo;
```
'''
[origin]
commit = "88741e32827693dd37a1f9d7d7b72703d4ddd42e"
url = "git+https://github.com/pyjarrett/dir_iterators.git"
+46
View File
@@ -0,0 +1,46 @@
description = "Expression Language Library (JSR245)"
name = "elada"
version = "1.8.5"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/elada.gpr"]
tags = ["web", "expression", "expander", "parser"]
website = "https://gitlab.com/stcarrez/ada-el"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-EL.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-EL/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-EL.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-EL/)
[![codecov](https://codecov.io/gh/stcarrez/ada-el/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-el)
This Ada05 library provides the support for a simple Expression Language
close to the Java Unified Expression Language (EL).
The API provided by the EL library is inspired from the Java
Unified Expression Language shared by the JSP 2.1 and JSF 1.2 technologies.
See Expression Language specification in JSR245
(https://jcp.org/en/jsr/summary?id=245)
The EL expression is intensively used in web development applications built
on top of various Java technologies but also on top of
[Ada Web Application](https://github.com/stcarrez/ada-awa)
and [Ada Server Faces](https://github.com/stcarrez/ada-asf).
"""
[[depends-on]]
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
EL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "0751f94e425f6dcfb7efacfe4f88829414258896"
url = "git+https://github.com/stcarrez/ada-el.git"
+39
View File
@@ -0,0 +1,39 @@
description = "Embedded Web Server"
long-description = """
EWS is a web server construction kit, designed for embedded
applications using the GNAT Ada compiler.
The project is hosted at https://github.com/simonjwright/ews.
"""
name = "ews"
version = "1.11.0"
authors = ["Simon Wright <simon@pushface.org>"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["Simon Wright <simon@pushface.org>"]
maintainers-logins = ["simonjwright"]
project-files = ["ews.gpr"]
tags = ["web", "server"]
website = "https://github.com/simonjwright/ews"
[[depends-on]]
xmlada = "any"
[gpr-externals]
LIBRARY_TYPE = ["relocatable", "static"]
[[actions]]
type = "post-build"
command = ["gprbuild", "-P", "generator/ews_generator.gpr"]
[environment.PATH]
append="${CRATE_ROOT}/bin"
[configuration]
disabled = true
[origin]
commit = "17517ec52b96488d433ec1d49946d74441d57a1e"
url = "git+https://github.com/simonjwright/ews.git"
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:a11c25f884a637ad48b2f5cde81eea7d2598c78ee5058bd8bdb90b2376b6fb47"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:c148f4ec11dcfb702e77f14fad5efc1ca54b76177628be336edabac738d569fb"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:7fb7c7b9689cad9901843f78187e9077f81f887aa0f79af6a6df78362be9d500"]
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:89ba9262ad168e2e7bf00efa5348bcae86454a9018d9058f0f5d69cc1c6bb5f0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:e76ed3b079109ba620f0d61a9888b1319600c0d802de0b1f106694036e7d7709"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:a6123685359c70a32bb82cd7cdbc0a9578d35bcbc30c95effdd1a71dbb15ed0a"]
@@ -0,0 +1,27 @@
name = "gnat_avr_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
description = "The GNAT Ada compiler - AVR cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:92eddc040a15e7ccf73481e535c52d97f420f0038850660a26fe4fe46bacafe4"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:cafdebc5e87f597f7ff20f421acda6e61d490643e505436b748647bcade7df2a"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:ba2194806300047a1dfb557b1b36de2b3689fc1b572cc6b95510ac2394b47194"]
@@ -0,0 +1,27 @@
name = "gnat_avr_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
description = "The GNAT Ada compiler - AVR cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:f5dfa944043e73a884799b7642d95257702538be49b3f9798a89ccf96cb6ca2b"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:d36bf876c1551c212ad1556d4b3b37cd77e6312d33faff7302240ea11c5c2af6"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:62925e83166f099222d04eb64dd576ae0ae6b5d8eb904cfb47aa26fc8c116358"]
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "12.1.1"
provides = ["gnat=12.1.1"]
description = "The GNAT Ada compiler - Native"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:a0529ef7c4196f5469daa855719c64f2e4d44aa31086c4f0101c3724e9b93fa7"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:da46195d3a6b0d8d9c2c5380a8aa82912a6910663377a028be386243c129782a"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-linux-12.1.0-1.tar.gz"
hashes = ["sha256:df1f36b306359d528799b1de8629a793523347a90c9d4b72efd23c62a7279555"]
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "12.1.2"
provides = ["gnat=12.1.2"]
description = "The GNAT Ada compiler - Native"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:3126cd6fe82b9428ba1bd50f7d7a5e108668a41da445184a6bbe13d2543fd2d0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:587b912f42e758a22760fdec972b74bc596273921930f5b369bd9c3b25f298c9"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-linux-12.1.0-2.tar.gz"
hashes = ["sha256:66b989b5cbb5d19b1207603f6b5fe2c7795e4725ff4b9aed0421859c57829f4f"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
description = "The GNAT Ada compiler - RISC-V cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:6655a23f37716b89b241ad601035a14128196ef6da4201aed86b9d5fc9acc7d5"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:6db1755b1915da538733e313df54c77a052661c77edd0a76054da814be896a5b"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:62e3f80530ebc97154f9272a4a89b8be4420fe34467972eff2e1a9152109735d"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
description = "The GNAT Ada compiler - RISC-V cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:1ab4ce44c6333b7bae31f29cf9b3b4ede90a6c7664c31205398d1dba507d7cd0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:7f267afeb5e0d0a7440c4ea5241bd86a116801d771ccf63c9a0f8bd2124e4535"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:0e1ea31e9b8b14a7876f24a3b049095f3939b87cc6af7227c5ca17c166baf944"]
+26
View File
@@ -0,0 +1,26 @@
name = "gnatprove"
version = "12.1.1"
description = "Automatic formal verification of SPARK code"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:eaf963490fc0b8c4467854b8f4a7659e4df39094699b014b90d9cd87b46cb987"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz"
hashes = ["sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d"]
+27
View File
@@ -0,0 +1,27 @@
name = "gnoga"
description = "gnoga - The GNU Omnificent GUI for Ada"
version = "1.6.2"
tags = ["gui", "web", "server", "http", "https", "ssl"]
authors = ["David Botton"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/gnoga"
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
project-files = ["lib_gnoga.gpr"]
[gpr-set-externals.'case(os)']
linux = { Target_OS = "Linux", PRJ_TARGET = "Linux" }
windows = { Target_OS = "Windows", PRJ_TARGET = "Windows" }
macos = { Target_OS = "OSX", PRJ_TARGET = "OSX" }
[[depends-on]]
gnat = ">=2021 | (>=12 & <2000)"
simple_components = "^4.62.0"
[origin]
commit = "c252d2220a5a34e3b052d1c2955104a49618f64c"
url = "git+https://github.com/Blady-Com/gnoga.git"
+28
View File
@@ -0,0 +1,28 @@
name = "gnoga"
description = "gnoga - The GNU Omnificent GUI for Ada"
version = "2.1.2"
tags = ["gui", "web", "server", "http", "https", "ssl"]
authors = ["David Botton"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/gnoga"
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
project-files = ["lib_gnoga.gpr"]
[gpr-set-externals.'case(os)']
linux = { Target_OS = "Linux", PRJ_TARGET = "Linux" }
windows = { Target_OS = "Windows", PRJ_TARGET = "Windows" }
macos = { Target_OS = "OSX", PRJ_TARGET = "OSX" }
[[depends-on]]
gnat = ">=2021 | (>=12 & <2000)"
simple_components = "^4.62.0"
uxstrings = "~0.4.0+alpha-20220803"
[origin]
commit = "5f127c56986a7a1a562b405d7934eabf8e624c25"
url = "git+https://github.com/Blady-Com/gnoga.git"
+9 -1
View File
@@ -12,7 +12,11 @@ tags = ["gtk", "gui"]
# Add msys in the OS list in config.sub
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
command = ["sh", "-c", "sed 's/| -mingw32\\*/| -mingw32\\* | -msys\\*/g' config.sub > config.sub.0 && mv -f config.sub.0 config.sub"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "sed '/misc_osx.h/a\\\nNSWindow *gdk_quartz_window_get_nswindow(GdkWindow *window);\n' src/misc_osx.m > src/misc_osx.m.0 && mv -f src/misc_osx.m.0 src/misc_osx.m"]
[[actions]]
type = "post-fetch"
@@ -39,6 +43,10 @@ LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
[available]
'case(os)'.windows = false
'case(distribution)'.arch = false
[origin]
url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]
@@ -0,0 +1,60 @@
description = "Ada Keystore"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Ada-Keystore.svg)](http://jenkins.vacs.fr/job/Bionic-Ada-Keystore/)
[![codecov](https://codecov.io/gh/stcarrez/ada-keystore/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-keystore)
# Overview
Ada Keystore is a tool and library to store information in secure wallets
and protect the stored information by encrypting the content.
It is necessary to know one of the wallet password to access its content.
Ada Keystore can be used to safely store passwords, credentials,
bank accounts and even documents.
Wallets are protected by a master key using AES-256 and the wallet
master key is protected by a user password.
The wallet defines up to 7 slots that identify
a password key that is able to unlock the master key. To open a wallet,
it is necessary to unlock one of these 7 slots by providing the correct
password. Wallet key slots are protected by the user's password
and the PBKDF2-HMAC-256 algorithm, a random salt, a random counter
and they are encrypted using AES-256.
Values stored in the wallet are protected by their own encryption keys
using AES-256. A wallet can contain another wallet which is then
protected by its own encryption keys and passwords (with 7 independent slots).
Because the child wallet has its own master key, it is necessary to known
the primary password and the child password to unlock the parent wallet
first and then the child wallet.
## Documents
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
"""
name = "keystoreada"
version = "1.3.3"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/keystoreada.gpr"]
tags = ["security", "storage", "nosql"]
website = "https://gitlab.com/stcarrez/ada-keystore"
[[depends-on]]
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "e0e9d5ef2c92c74d06b3ada5ed162ad3400a9f5c"
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+1 -1
View File
@@ -9,4 +9,4 @@ kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libcsfml-dev"]
"msys2" = ["mingw-w64-x86_64-csfml"]
"arch" = ["csfml"]
"arch|fedora" = ["csfml"]
+1
View File
@@ -8,6 +8,7 @@ maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgmp-dev"]
arch = ["gmp"]
msys2 = ["mingw-w64-x86_64-gmp"]
[[external]]
+5
View File
@@ -10,3 +10,8 @@ kind = "system"
"debian|ubuntu" = ["libgtk-3-dev"]
arch = ["gtk3"]
msys2 = ["mingw-w64-x86_64-gtk3"]
[[external]]
kind = "version-output"
version-command = [ "pkg-config", "--modversion", "gtk+-3.0" ]
version-regexp = "([\\d\\.]+)"
@@ -0,0 +1,16 @@
description = "MariaDB client libraries"
name = "libmariadb"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libmariadbclient-dev"]
# No mariadb library on msys2
[external.available.'case(os)']
windows = false
'...' = true
+14
View File
@@ -0,0 +1,14 @@
name = "libopus"
description = "Opus codec library"
website = "https://www.opus-codec.org"
tags = ["opus", "audio", "sound", "speech", "music"]
licenses = "BSD-2-Clause"
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[[external]]
kind = "system"
[external.origin.'case(distribution)']
'debian|ubuntu' = ["libopus-dev"]
arch = ["opus"]
+24
View File
@@ -0,0 +1,24 @@
name = "littlefs"
description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
version = "0.2.2"
licenses = "BSD-3-Clause"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/littlefs-ada"
tags = ["embedded", "filesystem", "nostd", "flash"]
[configuration.variables]
Assert = { type = "boolean", default = false}
Debug = { type = "boolean", default = false}
Warn = { type = "boolean", default = false}
Error = { type = "boolean", default = false}
Trace = { type = "boolean", default = false}
No_Malloc = { type = "boolean", default = true}
Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
[origin]
commit = "d26e806b1e9cd2db7873355738949c29bf441a61"
url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
+26
View File
@@ -0,0 +1,26 @@
name = "littlefs"
description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
version = "0.3.1"
licenses = "BSD-3-Clause"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/littlefs-ada"
tags = ["embedded", "filesystem", "nostd", "flash"]
[configuration.variables]
Assert = { type = "boolean", default = false}
Debug = { type = "boolean", default = false}
Warn = { type = "boolean", default = false}
Error = { type = "boolean", default = false}
Trace = { type = "boolean", default = false}
No_Malloc = { type = "boolean", default = true}
Max_Name_Size = { type = "integer", first = 1, last = 1022, default = 255 }
Max_File_Size = { type = "integer", first = 1, last = 2147483647, default = 2147483647 }
Max_Attr_Size = { type = "integer", first = 1, last = 1022, default = 1022 }
[origin]
commit = "d184aefe7ee3f987994b970b9da20f94185f1604"
url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
@@ -9,8 +9,8 @@ project-files = ["lvgl_ada_examples.gpr"]
tags = ["gui", "lvgl"]
[[depends-on]]
lvgl_ada = "^0.1.0"
lvgl_ada_simulator = "^0.1.0"
lvgl_ada = "~0.1.0"
lvgl_ada_simulator = "~0.1.0"
[origin]
url = "https://github.com/Fabien-Chouteau/lvgl-ada-examples/releases/download/v0.1.0/lvgl_ada_examples-0.1.0.zip"
@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
tags = ["gui", "lvgl"]
[[depends-on]]
lvgl_ada = "^0.1.0"
sdlada = "^2.3.1"
lvgl_ada = "~0.1.0"
sdlada = "~2.3.1"
[origin]
url = "https://github.com/Fabien-Chouteau/lvgl-ada-simulator/releases/download/v0.1.0/lvgl_ada_simulator-0.1.0.zip"
@@ -8,8 +8,8 @@ project-files = ["lvgl_ada_simulator.gpr"]
tags = ["gui", "lvgl"]
[[depends-on]]
lvgl_ada = "^0.1.0"
sdlada = "^2.3.1"
lvgl_ada = "~0.1.0"
sdlada = "~2.3.1"
[origin]
url = "https://github.com/Fabien-Chouteau/lvgl-ada-simulator/releases/download/v0.1.1/lvgl_ada_simulator-0.1.1.zip"
+26
View File
@@ -0,0 +1,26 @@
description = "Ada LZMA Library Binding"
long-description = "A very thin Ada binding for the LZMA compression library"
name = "lzmada"
version = "1.1.2"
licenses = "MIT"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
authors = ["Stephane.Carrez@gmail.com"]
project-files = [".alire/lzmada.gpr"]
tags = ["compression", "lzma"]
website = "https://gitlab.com/stcarrez/ada-lzma"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
LZMA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[[depends-on]]
liblzma = "*"
[configuration]
disabled = true
[origin]
commit = "f74f024479ac4ea8949421dede73eb319bdb073a"
url = "git+https://gitlab.com/stcarrez/ada-lzma.git"
+47
View File
@@ -0,0 +1,47 @@
description = "OpenAPI library to build REST client applications"
tags = ["rest", "web", "api", "openapi"]
name = "openapi"
version = "0.6.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/openapi.gpr"]
website = "https://gitlab.com/stcarrez/openapi-ada"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
[OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator) is a code generator that supports generation of
API client libraries, server stubs and documentation automatically
given an [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
The Ada client support has been integrated in [OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator).
The OpenAPI Ada library is a small support library for the Ada code generator
provided by OpenAPI Generator. The library provides support to serialize the data,
make HTTP requests and support the [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
specific operations or types.
"""
[[depends-on]]
utilada = "^2.5.0"
utilada_xml = "^2.5.0"
security = "^1.4.1"
[gpr-externals]
OPENAPI_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
OPENAPI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin]
commit = "2fb8711aec9f41af7ce5985780cff23c875f8dc6"
url = "git+https://gitlab.com/stcarrez/openapi-ada.git"
@@ -0,0 +1,49 @@
description = "OpenAPI library to build REST server applications"
tags = ["rest", "web", "api", "openapi"]
name = "openapi_server"
version = "0.6.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/openapi_server.gpr"]
website = "https://gitlab.com/stcarrez/openapi-ada"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Bionic-Ada-Swagger.svg)](https://jenkins.vacs.fr/job/Bionic-Ada-Swagger/)
[OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator) is a code generator that supports generation of
API client libraries, server stubs and documentation automatically
given an [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
The Ada client support has been integrated in [OpenAPI Generator](https://github.com/OpenAPITools/openapi-generator).
The OpenAPI Ada library is a small support library for the Ada code generator
provided by OpenAPI Generator. The library provides support to serialize the data,
make HTTP requests and support the [OpenAPI Spec](https://github.com/OAI/OpenAPI-Specification).
specific operations or types.
"""
[[depends-on]]
utilada = "^2.5.0"
utilada_xml = "^2.5.0"
security = "^1.4.1"
servletada = "^1.6.0"
openapi = "^0.6.0"
[gpr-externals]
OPENAPI_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
OPENAPI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/scripts"
[origin]
commit = "2fb8711aec9f41af7ce5985780cff23c875f8dc6"
url = "git+https://gitlab.com/stcarrez/openapi-ada.git"
+22
View File
@@ -0,0 +1,22 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "2.0.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
website = "https://pico-doc.synack.me/"
[[depends-on]]
hal = "~0.3"
rp2040_hal = "^2.0"
[configuration.values]
rp2040_hal.Flash_Chip = "w25qxx"
[origin]
commit = "fb355059bdfe79975500044b12acc8a2b37d0503"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
@@ -0,0 +1,43 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "2.0.0"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
tags = ["embedded", "nostd", "pico", "rp2040"]
website = "https://pico-doc.synack.me/"
auto-gpr-with=false
project-files = [
"adc_continuous/adc_continuous.gpr",
"adc_hello/adc_hello.gpr",
"blink/blink.gpr",
"gpio_interrupts/gpio_interrupts.gpr",
"i2c_demo/i2c_demo.gpr",
"multicore/multicore.gpr",
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
"pio_assemble/pio_assemble.gpr",
"pio_blink/pio_blink.gpr",
"pwm/pwm.gpr",
"rtc/rtc.gpr",
"spi_loopback/spi_loopback.gpr",
"timer/timer.gpr",
"uart_echo/uart_echo.gpr",
"uart_interrupt/uart_interrupt.gpr",
"usb_echo/usb_echo.gpr",
"usb_echo_interrupt/usb_echo_interrupt.gpr",
"ws2812_demo/ws2812_demo.gpr"]
[[depends-on]]
gnat_arm_elf = "^12"
rp2040_hal = "^2.0"
pico_bsp = "^2.0"
chests = "~0.1.1"
[origin]
commit = "cd57c29a7ad70cbb080cda4078455e1d6d58b58f"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
@@ -10,3 +10,8 @@ kind = "system"
"debian|ubuntu" = ["pkg-config"]
arch = ["pkgconf"]
msys2 = ["mingw-w64-x86_64-pkg-config"]
[[external]]
kind = "version-output"
version-command = [ "pkg-config", "--version" ]
version-regexp = "([\\d\\.]+)"
+1 -1
View File
@@ -7,5 +7,5 @@ maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["postgresql"]
"debian|ubuntu|arch" = ["postgresql"]
msys2 = ["mingw-w64-x86_64-postgresql"]
+31
View File
@@ -0,0 +1,31 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "2.0.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
website = "https://pico-doc.synack.me/"
[[depends-on]]
cortex_m = "~0.5"
atomic = "~0.4"
hal = "~0.3"
usb_embedded = "~0.3"
gnat_arm_elf = "^12"
[configuration.variables]
Flash_Chip = {type = "Enum", values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
Interrupts = {type = "Enum", values = ["hal", "bb_runtimes"], default = "hal"}
Use_Startup = {type = "Boolean", default = true}
[configuration.values]
atomic.Backend = "armv6m"
cortex_m.core = "m0p"
[origin]
commit = "e7b64f1a3ff2c4c487f409debf7cd759d52cfc91"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+19
View File
@@ -0,0 +1,19 @@
name = "rsfile"
description = "Randomly pick a file with probability proportional to its size"
version = "1.0.1"
tags = ["command-line", "tool", "random", "file-size"]
licenses = "GPL-3.0-only"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
executables = ["rsfile"]
[configuration]
disabled = true
[origin]
commit = "f3d684685a9f41a94a20f80ce114a33cca028475"
url = "git+https://github.com/mosteo/rsfile.git"
+19
View File
@@ -0,0 +1,19 @@
name = "rxada"
description = "Experimental implementation of ReactiveX in Ada"
version = "0.1.1"
licenses = "LGPL-3.0-only"
website = "https://github.com/mosteo/rxada"
tags = ["rx", "reactive", "reactivex", "observer"]
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
[configuration]
disabled = true
[origin]
commit = "dd9da799f34674bf8f890392e3b96fedc0cc9cda"
url = "git+https://github.com/mosteo/rxada.git"
+55
View File
@@ -0,0 +1,55 @@
description = "Security Library for HTTP client and server with OAuth2 support"
name = "security"
version = "1.4.1"
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
authors = ["Stephane.Carrez@gmail.com"]
project-files = [".alire/security.gpr"]
tags = ["security", "oauth2", "authentication", "permissions", "jwt"]
website = "https://gitlab.com/stcarrez/ada-security"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Security.svg)](https://jenkins.vacs.fr/job/Ada-Security/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Security.svg)](https://jenkins.vacs.fr/job/Ada-Security/)
[![codecov](https://codecov.io/gh/stcarrez/ada-security/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-security)
[![Documentation Status](https://readthedocs.org/projects/ada-security/badge/?version=latest)](https://ada-security.readthedocs.io/en/latest/?badge=latest)
Ada Security provides a security framework which allows applications to define
and enforce security policies. This framework allows users to authenticate by using
[OpenID Authentication 2.0](https://openid.net/specs/openid-authentication-2_0.html)
as well as [OAuth 2.0](https://oauth.net/2/) protocol.
It allows a web application to integrate easily with Yahoo!, Gitlab, Github, Facebook and
Google+ authentication systems.
The Ada05 library includes:
* An OpenID client authentication,
* An OAuth 2.0 client authentication,
* An OpenID Connect authentication framework,
* An OAuth 2.0 server authentication framework,
* A policy based security framework to protect the resources
![Ada Security Overview](https://gitlab.com/stcarrez/ada-security/wiki/images/AdaSecurity.jpg)
The Ada Security library is used by the
[Ada Web Application](https://gitlab.com/stcarrez/ada-awa)
to provide authentication and access control to users within the web applications.
"""
[[depends-on]]
utilada = "^2.5.0"
utilada_xml = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SECURITY_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "9c17e9912fb218e7c4a11c7c1966eabc36278e15"
url = "git+https://gitlab.com/stcarrez/ada-security.git"
@@ -0,0 +1,44 @@
description = "Web Server Faces JSR 252, JSR 314 and JSR 344"
tags = ["web", "servlet", "http", "json"]
name = "serverfaces"
version = "1.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/asf.gpr"]
website = "https://gitlab.com/stcarrez/ada-asf"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
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://github.com/stcarrez/ada-asf)
framework and [Ada Web Application](https://github.com/stcarrez/ada-awa)
to provide server web requests.
"""
[[depends-on]]
security = "^1.4.1"
servletada = "^1.6.0"
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
DYNAMO_BUNDLE_PATH.prepend = "${CRATE_ROOT}/bundles"
[origin]
commit = "10db0531d73304b86af6aca08656e5eb93abd3d6"
url = "git+https://gitlab.com/stcarrez/ada-asf.git"
@@ -0,0 +1,43 @@
description = "Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)"
tags = ["web", "servlet", "http", "framework", "facelet", "jsf", "testing"]
name = "serverfaces_unit"
version = "1.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
website = "https://gitlab.com/stcarrez/ada-asf"
project-files = [".alire/unit/asf_unit.gpr"]
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Server-Faces.svg)](https://jenkins.vacs.fr/job/Ada-Server-Faces/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Server-Faces.svg)](https://jenkins.vacs.fr/job/Ada-Server-Faces/)
[![codecov](https://codecov.io/gh/stcarrez/ada-asf/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-asf)
Ada Server Faces allows to create web applications using the same pattern
as the Java Server Faces (See JSR 252, JSR 314 and JSR 344).
This library provides a unit test framework that helps in building unit tests
on top of Ada Server Faces.
"""
[[depends-on]]
security = "^1.4.1"
serverfaces = "^1.5.0"
servletada = "^1.6.0"
utilada = "^2.5.0"
utilada_unit = "^2.5.0"
servletada_unit = "^1.5.3"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
ASF_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "10db0531d73304b86af6aca08656e5eb93abd3d6"
url = "git+https://gitlab.com/stcarrez/ada-asf.git"
+41
View File
@@ -0,0 +1,41 @@
description = "Web Servlet Library following JSR 154, JSR 315 (Core)"
tags = ["web", "servlet", "http", "json", "rest"]
name = "servletada"
version = "1.6.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/servletada.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
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.4.1"
utilada = "^2.5.0"
elada = "^1.8.5"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "8de84568f8322a5f58a4bf454f61fb23fb83f885"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
@@ -0,0 +1,38 @@
description = "Web Servlet Library following JSR 154, JSR 315 (AWS)"
tags = ["web", "servlet", "http", "json"]
name = "servletada_aws"
version = "1.6.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/aws/servletada_aws.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
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 Ada Web Server.
"""
[[depends-on]]
servletada = "^1.6.0"
utilada_aws = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "8de84568f8322a5f58a4bf454f61fb23fb83f885"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
@@ -0,0 +1,37 @@
description = "Web Servlet Library following JSR 154, JSR 315 (Testing framework)"
tags = ["web", "servlet", "http", "json", "rest", "testing"]
name = "servletada_unit"
version = "1.6.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/unit/servletada_unit.gpr"]
website = "https://gitlab.com/stcarrez/ada-servlet"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Servlet.svg)](https://jenkins.vacs.fr/job/Ada-Servlet/)
[![codecov](https://codecov.io/gh/stcarrez/ada-servlet/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-servlet)
This library provides helper operations for unit testing a servlet implemented on top of
Ada Servlet.
"""
[[depends-on]]
servletada = "^1.6.0"
utilada = "^2.5.0"
utilada_unit = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
SERVLET_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "8de84568f8322a5f58a4bf454f61fb23fb83f885"
url = "git+https://gitlab.com/stcarrez/ada-servlet.git"
+1 -2
View File
@@ -8,9 +8,8 @@ maintainers-logins = ["SMerrony"]
licenses = "AGPL-3.0-or-later"
website = "https://github.com/SMerrony/simh_tapes"
tags = ["legacy", "magtape", "magnetic", "tape", "emulation", "simulation"]
executables = ["simhtapetool"]
[origin]
commit = "795aadd4cbc1e8978e98a63aa8bf9a40aed36f1c"
commit = "a126825a15e7bd3b5d698f3a85902c746031f606"
url = "git+https://github.com/SMerrony/simh_tapes.git"
@@ -0,0 +1,36 @@
description = "Simple Components - A collection of support packages"
name = "simple_components"
version = "4.62.0"
website = "http://www.dmitry-kazakov.de/ada/components.htm"
authors = ["Dmitry A. Kazakov"]
licenses = "GPL-2.0-only WITH GCC-exception-2.0"
maintainers = ["alejandro@mosteo.com", "blady.net@orange.fr"]
maintainers-logins = ["mosteo", "Blady-Com"]
project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]
[[depends-on]]
gnat = ">=2021 | (>=12 & <2000)"
libgnutls = "^3.5.8"
unixODBC = "^2.3"
[gpr-externals]
Atomic_Access = ["Pragma-atomic", "GCC-built-ins", "GCC-long-offsets"]
Development = ["Debug", "Release"]
Legacy = ["Ada95", "Ada2005", "Ada2012"]
Tasking = ["Multiple", "Single"]
Traced_Objects = ["Off", "On"]
[gpr-set-externals."case(os)".linux]
odbc = "unixODBC"
[gpr-set-externals."case(os)".windows]
odbc = "ODBC32"
[gpr-set-externals."case(word-size)".bits-32]
arch = "i686"
[gpr-set-externals."case(word-size)".bits-64]
arch = "x86_64"
[origin]
commit = "a5c16c1daf04a47fb288b2465e98602f44ac5b1c"
url = "git+https://github.com/alire-project/dak_simple_components.git"
+18
View File
@@ -0,0 +1,18 @@
name = "spoon"
description = "Use posix_spawn() to spawn processes without forking"
version = "1.0.0"
website = "https://github.com/onox/spoon"
licenses = "Apache-2.0"
tags = ["posix", "spawn", "process"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[available.'case(os)']
'linux|macos' = true
'...' = false
[origin]
commit = "9986379e296d4b9cdb3943d159be97320368e20c"
url = "git+https://github.com/onox/spoon.git"
+1 -1
View File
@@ -6,7 +6,7 @@ authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "MIT"
website = ["https://github.com/JeremyGrosser/tiny_text"]
website = "https://github.com/JeremyGrosser/tiny_text"
tags = ["font", "hal", "bitmap", "text"]
[[depends-on]] # This line was added by `alr with`
+30
View File
@@ -0,0 +1,30 @@
name = "tlsada"
description = "Bindings for libtls"
version = "2.5.0"
licenses = "MPL-2.0"
website = "https://git.sr.ht/~nytpu/tlsada"
tags = ["tls", "ssl"]
authors = ["nytpu"]
maintainers = ["nytpu <alex@nytpu.com>"]
maintainers-logins = ["nytpu"]
[[depends-on]]
libtls = "^3.5"
[gpr-externals]
TLSADA_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
TLSADA_COMPILE_CHECKS = ["enabled", "disabled"]
TLSADA_RUNTIME_CHECKS = ["enabled", "disabled"]
TLSADA_STYLE_CHECKS = ["enabled", "disabled"]
TLSADA_CONTRACTS = ["enabled", "disabled"]
TLSADA_BUILD_MODE = ["debug", "optimize"]
[origin]
hashes = [
"sha256:68e2993d7286f7cebd0ee96ef56a74b8ce4787a23635698ea430e90646a632c2",
"sha512:f3f726fad5f9851b5eb0f7453fa735d6c578b5e55b05c50bc7efb49b0d8d717c422e3a8a988547faab949a2956c0a04b0b709acc1d3b2812929163977cba54f2",
]
url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.5.0.tar.gz"
+30
View File
@@ -0,0 +1,30 @@
name = "tlsada"
description = "Bindings for libtls"
version = "2.5.1"
licenses = "MPL-2.0"
website = "https://git.sr.ht/~nytpu/tlsada"
tags = ["tls", "ssl"]
authors = ["nytpu"]
maintainers = ["nytpu <alex@nytpu.com>"]
maintainers-logins = ["nytpu"]
[[depends-on]]
libtls = "^3.5"
[gpr-externals]
TLSADA_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
TLSADA_COMPILE_CHECKS = ["enabled", "disabled"]
TLSADA_RUNTIME_CHECKS = ["enabled", "disabled"]
TLSADA_STYLE_CHECKS = ["enabled", "disabled"]
TLSADA_CONTRACTS = ["enabled", "disabled"]
TLSADA_BUILD_MODE = ["debug", "optimize"]
[origin]
hashes = [
"sha256:42adf0188c2ad59815b819e24f4c518ea0cd97c05be6e8e5f3ff6f965e29d5b4",
"sha512:70ae9d1421009c04a016b7dbdd02a1f9cba5ef6bebdd2334f81ff1ae467fe3e94048084fd98b6f8b3142722ef5ab96e75bac0936f199e959e3e79a1e222c7dea",
]
url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.5.1.tar.gz"
+27
View File
@@ -0,0 +1,27 @@
name = "uri_mime"
description = "URI & MIME Type Parsing and Manupulation"
version = "1.4.0"
licenses = "MPL-2.0"
website = "https://git.sr.ht/~nytpu/uri-mime-ada"
tags = ["uri", "url", "mime", "media-type"]
authors = ["nytpu"]
maintainers = ["nytpu <alex@nytpu.com>"]
maintainers-logins = ["nytpu"]
[gpr-externals]
URI_MIME_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
URI_MIME_COMPILE_CHECKS = ["enabled", "disabled"]
URI_MIME_RUNTIME_CHECKS = ["enabled", "disabled"]
URI_MIME_STYLE_CHECKS = ["enabled", "disabled"]
URI_MIME_CONTRACTS = ["enabled", "disabled"]
URI_MIME_BUILD_MODE = ["debug", "optimize"]
[origin]
hashes = [
"sha256:2f7bb73e418dfa6adce3047107dc45ac9c14c811ce8b542c2aec45c6b326292a",
"sha512:da9eb3832cd149f8ac90440695b3dd2cf47b8675a5f1b4962bf402bf217347d1a00967e397da9da6055144deacba65869d1e01bfdb53afd40b9e6fb1a34bcb73",
]
url = "https://git.sr.ht/~nytpu/uri-mime-ada/archive/v1.4.0.tar.gz"
+4 -1
View File
@@ -1,5 +1,5 @@
description = "Utility Library with streams, processes, logs, serialization, encoders"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications. This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests. Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/intro/)\n\n"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications. This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests. Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)\n\n"
name = "utilada"
version = "2.1.0"
authors = ["Stephane.Carrez@gmail.com"]
@@ -14,6 +14,9 @@ BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
[[depends-on]]
gnat = "<11 | (>=2000 & <2021)"
[gpr-set-externals]
BUILD = "distrib"
UTIL_LIBRARY_TYPE = "static"
+38
View File
@@ -0,0 +1,38 @@
description = "Utility Library with streams, processes, logs, serialization, encoders"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis Ada05 library contains various utility packages for building\nAda05 applications. This includes:\n\n* A logging framework close to Java log4j framework,\n* Support for properties\n* A serialization/deserialization framework for XML, JSON, CSV\n* Ada beans framework\n* Encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA, AES-256)\n* A composing stream framework (raw, files, buffers, pipes, sockets)\n* Several concurrency tools (reference counters, counters, pools, fifos, arrays)\n* Process creation and pipes\n* Support for loading shared libraries (on Windows or Unix)\n* HTTP client library on top of CURL or AWS\n\nAda Util also provides a small test utility library on top of\nAhven or AUnit to help in writing unit tests. Ahven is the default testing\nframework as it provides better reports.\n\n## Documentation\n\n* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)\n\n"
name = "utilada"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/utilada_conf.gpr", "utilada_core.gpr", "utilada_base.gpr", "utilada_sys.gpr"]
tags = ["logging", "processes", "streams", "json", "beans", "encoders", "decoders"]
website = "https://gitlab.com/stcarrez/ada-util"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
UTIL_OS = "linux32"
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
UTIL_OS = "linux64"
[gpr-set-externals."case(os)".macos]
UTIL_OS = "macos64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
UTIL_OS = "win32"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,31 @@
description = "Utility Library REST support on top of AWS"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides an HTTP backend on top of AWS.\nIt is can be used by the `Util.Http` package.\n\nAn alternate HTTP backend is provided by CURL with utilada_curl.\n\n"
name = "utilada_aws"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/aws/utilada_aws.gpr"]
tags = ["web", "http"]
website = "https://gitlab.com/stcarrez/ada-util"
[[depends-on]]
utilada = "^2.5.0"
aws = "~21.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
UTIL_AWS_IMPL = ["1", "2", "3"]
[gpr-set-externals]
UTIL_AWS_IMPL = "2"
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,27 @@
description = "Utility Library REST support on top of CURL"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides an HTTP backend on top of CURL.\nIt is can be used by the `Util.Http` package.\n\nAn alternate HTTP backend is provided by AWS with utilada_aws.\n\n"
name = "utilada_curl"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["utilada_curl.gpr"]
tags = ["web", "http", "rest"]
website = "https://gitlab.com/stcarrez/ada-util"
[[depends-on]]
utilada = "^2.5.0"
curl = "*"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,27 @@
description = "Utility Library streams with LZMA support"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\n\nThis small library provides LZMA streams.\n\n"
name = "utilada_lzma"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/lzma/utilada_lzma.gpr"]
tags = ["lzma", "streams"]
website = "https://gitlab.com/stcarrez/ada-util"
[[depends-on]]
lzmada = "^1.1.2"
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,26 @@
description = "Utility Library testing framework with Ahven"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis library provides a testing framework on top of Ahven.\nIt provides various testing helper operations to help in\nwriting unit tests.\n\n"
name = "utilada_unit"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/unit/utilada_unit.gpr"]
tags = ["testing"]
website = "https://gitlab.com/stcarrez/ada-util"
[[depends-on]]
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,27 @@
description = "Utility Library serialization with XML/Ada"
long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Ada-Util.svg)](https://jenkins.vacs.fr/job/Ada-Util/)\n[![codecov](https://codecov.io/gh/stcarrez/ada-util/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-util)\n\nThis library provides a serialization framework on top of XML/Ada for\nAda Utility Library.\n\n"
name = "utilada_xml"
version = "2.5.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/xml/utilada_xml.gpr"]
tags = ["xml", "serialization"]
website = "https://gitlab.com/stcarrez/ada-util"
[[depends-on]]
utilada = "^2.5.0"
xmlada = "any"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
UTIL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "f65f9ba9cd38c57d11b1248e17207338026b49af"
url = "git+https://gitlab.com/stcarrez/ada-util.git"
@@ -0,0 +1,21 @@
name = "uxstrings"
description = "Unicode Extended Strings utilities"
version = "0.3.0+alpha-20220727"
tags = ["unicode", "dynamic", "string"]
authors = ["Pascal Pignard"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/UXStrings"
licenses = "CECILL-2.1"
project-files = ["lib_uxstrings1.gpr"]
[[depends-on]]
gnat = ">=2021 | (>=11.2 & <2000)"
[origin]
commit = "7f963eb39f1f35ec9a36487a2c064e8eab4abec6"
url = "git+https://github.com/Blady-Com/UXStrings.git"
@@ -0,0 +1,22 @@
name = "uxstrings"
description = "Unicode Extended Strings utilities"
version = "0.4.0+alpha-20220803"
tags = ["unicode", "dynamic", "string"]
authors = ["Pascal Pignard"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/UXStrings"
licenses = "CECILL-2.1"
project-files = ["lib_uxstrings1.gpr"]
[[depends-on]]
gnat = ">=2021 | (>=12 & <2000)"
simple_components = "^4.62.0"
[origin]
commit = "44d56c604ade12623e2033979f1ef3f1bfda0b96"
url = "git+https://github.com/Blady-Com/UXStrings.git"
+44
View File
@@ -0,0 +1,44 @@
description = "Wiki Engine with parser and renderer for several wiki syntaxes"
tags = ["wiki-engine", "markdown", "mediawiki", "dotclear", "html", "parser", "renderer"]
name = "wikiada"
version = "1.4.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/wikiada.gpr"]
website = "https://gitlab.com/stcarrez/ada-wiki"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/http/jenkins.vacs.fr/Ada-Wiki.svg)](https://jenkins.vacs.fr/job/Ada-Wiki/)
[![Test Status](https://img.shields.io/jenkins/t/http/jenkins.vacs.fr/Ada-Wiki.svg)](https://jenkins.vacs.fr/job/Ada-Wiki/)
[![codecov](https://codecov.io/gh/stcarrez/ada-wiki/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/ada-wiki)
Ada Wiki is a small library that provides and focuses only on the Wiki engine.
The library allows to:
* Parse a wiki text such as Mediawiki, Creole, PhpBB, Dotclear and Google Code
* Parse HTML content in embedded wiki text,
* Filter out the wiki, HTML or text through customizable filters,
* Render the wiki text in HTML, text or another wiki format
The Ada Wiki library is used by [Ada Web Application](https://github.com/stcarrez/ada-awa)
for the implementation of the blog and wiki online plugins.
"""
[[depends-on]]
utilada = "^2.5.0"
[gpr-externals]
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
WIKI_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[origin]
commit = "d6ced3e8b5e4ffd575a122664a0d593dcf2d1ff8"
url = "git+https://gitlab.com/stcarrez/ada-wiki.git"