Compare commits

..

4 Commits

Author SHA1 Message Date
KLOC-Karsten 2b2839f708 tb6612_driver 0.1.0 (#1644) 2025-10-27 10:00:34 +01:00
Martin Krischik 69010859dc adacl_regexp 6.2.1 (#1531) 2025-07-10 11:59:32 +02:00
Matheus Xavier f814b958e2 press_utils 1.0.0 (#1505) 2025-06-13 12:02:27 +02:00
KLOC-Karsten bb7585ddda sparkfun_qwiic_motor_driver 0.1.0 (#1495) 2025-05-26 13:54:06 +02:00
654 changed files with 89 additions and 35532 deletions
+35
View File
@@ -0,0 +1,35 @@
name: Check Author
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
# need the full history or else grafted partial branches confuse the
# changed files detectors.
- name: Check out alire-index-checks
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
- name: Test authorship
run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
shell: bash
+5 -7
View File
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -31,10 +31,8 @@ jobs:
- centos-stream-fsf-latest # CentOS is used for unknown package manager
- debian-stable # Debian has very good Ada support and apt
- fedora-latest # Fedora has its own GNAT and dnf
# - gentoo-rolling # Gentoo has its own GNAT and emerge
# TODO: enable in the next major Alire version index
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
# TODO: diagnose and reinstate problems with tar/compiler installation
# TODO: diagnose and reinstate problems with tar/compiler installation
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
steps:
@@ -56,20 +54,20 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
- name: Test crate (${{matrix.tag}})
uses: mosteo-actions/docker-run@v2
uses: mosteo-actions/docker-run@v1
with:
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+3 -4
View File
@@ -30,10 +30,9 @@ jobs:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
- macos-13 # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
@@ -54,7 +53,7 @@ jobs:
path: ${{env.CHECKS_REPO}}
- name: Set up devel `alr`
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
branch: 'master'
+5 -6
View File
@@ -6,7 +6,7 @@ name: Build Crate (Alire toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
ALR_VERSION: 2.0.2
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
@@ -27,10 +27,9 @@ jobs:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
- macos-13 # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
@@ -53,14 +52,14 @@ jobs:
# By default, this also sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
version: ${{env.ALR_VERSION}}
# By default, this also sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
branch: 'master'
+4 -4
View File
@@ -9,7 +9,7 @@ name: Build Crate (MacPorts)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -29,8 +29,8 @@ jobs:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
- macos-13 # amd64
- macos-latest # arm64
steps:
- name: Check out alire-index
@@ -50,7 +50,7 @@ jobs:
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
version: ${{env.ALR_VERSION}}
-15
View File
@@ -1,15 +0,0 @@
name: Check Author
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Author
script: check-author.sh
script_arg: ${{github.event.pull_request.user.login}}
setup_alr: true
-14
View File
@@ -1,14 +0,0 @@
name: Check Crate Name
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Crate Name
script: check-crate-name.sh
script_arg: ${{github.event.pull_request.title}}
+3 -3
View File
@@ -1,7 +1,7 @@
name: Check Index
env:
ALR_VERSION: 2.1.1
ALR_VERSION: 2.0.2
on: pull_request
@@ -13,13 +13,13 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
branch: master
-16
View File
@@ -1,16 +0,0 @@
name: Check Schema
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Schema
script: check-schema.sh
script_arg: alire/schemas/manifest-schema.yaml
setup_python: true
fetch_schema: true
-85
View File
@@ -1,85 +0,0 @@
name: Check With Script
on:
workflow_call:
inputs:
name:
description: Display name for the check job
required: true
type: string
script:
description: Script filename under alire-index-checks/scripts/
required: true
type: string
script_arg:
description: Single argument passed to the script
required: true
type: string
setup_alr:
description: Whether to install alr before running the script
required: false
type: boolean
default: false
setup_python:
description: Whether to set up Python and install requirements.txt
required: false
type: boolean
default: false
fetch_schema:
description: Whether to clone the Alire repo (manifest JSON Schema)
required: false
type: boolean
default: false
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
SCHEMA_REPO: https://github.com/alire-project/alire
jobs:
check:
name: ${{inputs.name}}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore,
# we need the full history or else grafted partial branches confuse
# the changed files detectors.
- name: Check out alire-index-checks
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
if: inputs.setup_alr
uses: alire-project/setup-alire@latest
with:
version: ${{env.ALR_VERSION}}
- name: Set up Python
if: inputs.setup_python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install Python dependencies
if: inputs.setup_python
run: pip install -r ${{env.CHECKS_REPO}}/requirements.txt
shell: bash
- name: Fetch manifest schema
if: inputs.fetch_schema
run: git clone --depth 1 "$SCHEMA_REPO" alire
shell: bash
- name: Run check
run: >
${{env.CHECKS_REPO}}/scripts/${{inputs.script}}
"${{inputs.script_arg}}"
shell: bash
+3 -3
View File
@@ -8,7 +8,7 @@ name: Diff release
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -39,14 +39,14 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v3
with:
toolchain: --disable-assistant # We don't need the compiler
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest
uses: alire-project/setup-alire@v4
with:
toolchain: --disable-assistant # We don't need the compiler
branch: master
+3 -6
View File
@@ -6,15 +6,12 @@ Because Alire comes late in the history of the Ada and SPARK languages we will n
- Respect the ownership of projects: Owner and maintainers of a project deserve to be credited for their work.
- Avoid user confusion on the name of crates: Crate names should be clear with regards to the project they contain. For instance, do not try to impersonate existing crates or projects.
To that extent we will potentially reject a crate or transfer the ownership of a crate.
To that extent we will potentially reject a create or transfer the ownership of a crate.
We count on the goodwill of the contributors to help us conduct this moderation in a kind and courteous way. Do not submit a crate to the Alire index if you are not willing to comply with this policy.
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
# Release immutability
A release (identified by a unique semantic version) is protected against
changes by its integrity hashes. If errors are identified post-publication, a
release could be marked unavailable, or superseded by a new one (using the
appropriate major/minor/patch/build version changes), but not modified.
A release (identified by a unique semantic version) is protected against changes by its integrity hashes. If errors are identified post-publication, a release could be withdrawn, or superseded by a new one (using the appropriate major/minor/patch/build version changes), but not modified.
-56
View File
@@ -1,56 +0,0 @@
This document describes the manual process to review a PR for a release
submission to the Alire's community index.
## Purpose of the review process
- Ensure submitted releases build and resolve on at least some platforms.
- Keep crate names clear and unambiguous (see [POLICY.md](POLICY.md)).
- Protect users from broken, misleading, or malicious manifests.
- Help submitters land good releases, not gatekeep them.
## Checks for all releases
- [ ] Wait for CI checks to pass. Do not merge with failing tests unless a
justified reason is given in the PR comments.
- [ ] Help the submitter when an error is well known or the cause is readily
apparent.
- [ ] Missing dependencies are not a failure by themselves: verify that at
least some platforms resolve and build.
- [ ] Build failures caused by dependencies out of the control of the
submitter are not a reason to block the PR.
- [ ] Inspect the submitted manifest for anything untoward.
- [ ] For repeat releases, check the Diff workflow output to quickly spot the
important changes against the previous release.
- [ ] Tags are meaningful and descriptive.
- [ ] `gpr-set-externals` settings are appropriate (see Common pitfalls below).
- [ ] System library dependencies are declared and not left implicit. If a
needed external crate does not exist yet, request its external to be
added in the same PR. Examples:
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/li/libcurl/libcurl-external.toml
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/ma/make/make-external.toml
## Checks for new crates (first release)
- [ ] The crate name does not collide with a popular existing Ada/SPARK
project not yet indexed (see [POLICY.md](POLICY.md)). Do not let a
submission impersonate or shadow an established project.
- [ ] Inspect the upstream repository: confirm it is a real project with real
code, not a placeholder or squatting attempt, or otherwise deceitful.
## Common pitfalls
- **Test-only dependencies in the root crate.** Crates depending on e.g.
`gnattest` or `gnatprove` must not have them in the root crate; those are
only for testing the crate itself. Request moving them to a nested crate
and point the submitter to the catalog spec section on testing with pins:
https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md#using-pins-for-crate-testing
- **Use of `gpr-set-externals`.** Setting a GPR external value is:
- OK to configure the build for the current environment (OS, architecture).
- OK for crates that produce a binary and are not intended as dependencies.
- NOT OK to fix the build mode (devel/release) on a library crate; clients
must be able to set it themselves.
## Approving
- [ ] Once everything checks out, tag the @alire-project/crate-reviewers team
in a comment stating that the PR is OK to merge.
-36
View File
@@ -1,36 +0,0 @@
name = "a0b_armv7m"
description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
website = "https://github.com/godunko/a0b-armv7m"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["undefined", "none", "VFPv4", "VFPv5"], default="undefined"}
# This configuration varible is not used by the crate, and it is not clear now should, or should not be preserved.
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "bb8b0af2ed2c64f2381ad5c7953bfa2b88b0c4da"
url = "git+https://github.com/godunko/a0b-armv7m.git"
@@ -1,34 +0,0 @@
name = "a0b_atsam3x8e"
description = "ATSAM3X8E base and SVD package"
website = "https://github.com/godunko/a0b-atsam3x8e"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/atsam3x8e.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/ATSAM3X8E.svd"
[[depends-on]]
a0b_armv7m = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "4c368fe1c80bc3948b37adc0501cfc4dc4a3bdcc"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
-38
View File
@@ -1,38 +0,0 @@
name = "a0b_base"
description = "Fundamental types, GCC built-ins, and base packages for Ada projects"
website = "https://github.com/godunko/a0b-base"
version = "0.5.0"
long-description = """
The `a0b_base` crate provides the root package hierarchy and foundational components tailored for embedded, bare-metal, and low-level Ada applications.
Key features include:
* Foundational Types:
- `Integer_*` and `Unsigned_*` types of various sizes (1 to 64 bits) with shift and rotate operations.
- `Unsigned_*_Array` types and "Enumerable" modular types (2 to 8 bits).
* Low-Level Utilities:
- Big-endian formatted types (`A0B.Types.Big_Endian`) for low-level protocol specifications.
- Type declarations specifically designed for use with the SVD2Ada code generator.
* Compiler Bindings:
- Direct bindings to GCC built-ins (such as `bswap`, `clz`, `ffs`) in `A0B.Types.GCC_Builtins`.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[configuration.variables]
Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
[origin]
commit = "882bbc92ae5c38d43cd3012d2e37e23dfae078ab"
url = "git+https://github.com/godunko/a0b-base.git"
@@ -1,33 +0,0 @@
name = "a0b_sensirion"
version = "0.1.0"
website = "https://github.com/godunko/a0b-sensirion"
description = "A0B: Utilities for various Sensirion's sensors"
long-description = """
The a0b-sensirion crate provides essential low-level utilities for interfacing with Sensirion sensors, specifically focusing on the data integrity requirements of their communication protocols.
It offers specialized routines for CRC calculation and provides automated packet encoding and decoding logic that handles the insertion and deletion of CRC bytes.
By abstracting these boilerplate tasks, the crate ensures reliable data transmission and simplifies the implementation of drivers for any Sensirion hardware utilizing checksum-protected packets.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "sensirion", "sensor"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "0f120a3a998db83e1966aa70efe0ce94b38318d9"
url = "git+https://github.com/godunko/a0b-sensirion.git"
@@ -1,34 +0,0 @@
name = "a0b_stm32f401"
description = "STM32F401 base and SVD package"
website = "https://github.com/godunko/a0b-stm32f401"
version = "0.3.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32f401.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32F401.svd"
[[depends-on]]
a0b_armv7m="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "fb9d60a5c1300b84f913dc3722fa39aea4d59150"
url = "git+https://github.com/godunko/a0b-stm32f401.git"
@@ -1,34 +0,0 @@
name = "a0b_stm32g474"
description = "A0B: STM32G474 base support and SVD files"
version = "0.2.0"
website = "https://github.com/godunko/a0b-stm32g474"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"]
project-files = ["gnat/a0b_stm32g474.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32g474.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32G474.svd"
[[depends-on]]
a0b_stm32g4 ="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "f4731f4055973c43e3edd081743137c990e3d423"
url = "git+https://github.com/godunko/a0b-stm32g474.git"
-35
View File
@@ -1,35 +0,0 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = "*"
gnatcoll = "*"
vss = "*"
[origin]
commit = "39e79120e51c646cd330e77cc38f359b81ee6194"
url = "git+https://github.com/godunko/a0b-tools.git"
-42
View File
@@ -1,42 +0,0 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.2.0"
long-description = """
The primary tool in this crate is the `a0b-runtime` generator.
While GNAT provides several standard runtimes (such as `light`, `light-tasking`, and `embedded`), these can be difficult to customize for specific project requirements.
`a0b-tools` solves this by allowing developers to generate a tailored, project-specific runtime from a single configuration file.
It also enables the creation of runtimes for hardware platforms and MCUs that do not have prebuilt GNAT runtimes available, providing full control over startup code, linker scripts, and Ada library components.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = ">=15"
gnatcoll = "^25"
vss_text = "*"
vss_extra = "*"
[origin]
commit = "3ea7bd72f3de2f9f2664498c1d7a76b655a91095"
url = "git+https://github.com/godunko/a0b-tools.git"
@@ -1,34 +0,0 @@
name = "aarch64_baremetal_ada"
description = "AArch64 Baremetal Ada"
version = "1.0.0"
licenses = "Apache-2.0"
website = "https://github.com/jgrivera67/aarch64_bare_metal_ada"
tags = ["aarch64"]
authors = ["J. German Rivera"]
maintainers = ["J. German Rivera <jgrivera67@gmail.com>"]
maintainers-logins = ["jgrivera67"]
[[depends-on]]
gnat_aarch64_elf = "*"
gprbuild = "*" # needed by alire-index CI builds
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=yes"]
directory = "embedded_apps/aarch64_hello_ada"
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=no"]
directory = "embedded_apps/uart_boot_loader_server"
[[actions]]
type = "test"
command = ["alr", "build"]
directory = "host_apps/uart_boot_loader_client"
[origin]
commit = "c9dfeb0b44bc468276fd8da4ece67bb5a425761c"
url = "git+https://github.com/jgrivera67/aarch64_bare_metal_ada.git"
@@ -1,33 +0,0 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "26.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[configuration]
disabled = true
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
gnatcoll = "26.0.0"
libadalang = "26.0.0"
libadalang_tools = "26.0.0"
libgnatdoc = "26.0.0"
libgnatformat = "26.0.0"
liblal_refactor = "26.0.0"
prettier_ada = "26.0.0"
vss_text = "26.0.0"
vss_extra = "26.0.0"
spawn = "26.0.0"
xdiff = "26.0.0"
[origin]
url="https://github.com/AdaCore/ada_language_server/archive/v26.0.0/ada_language_server-26.0.0.zip"
hashes=['sha512:46c28e2cda46426189a2278fcac6f74f11a8eaad58e8a7d7fa6233a80168e07e9625aa4e9ad32fc288c1c37ebed45f1a12e9c6733aa6b6abc5912fe5a01a55dc']
@@ -1,24 +0,0 @@
name = "ada_sqlite3"
description = "Sqlite3 bindings for Ada with embedded SQLite engine"
version = "0.1.1"
authors = ["Garret Noble"]
maintainers = ["Garret Noble <garretnoble@gmail.com>"]
maintainers-logins = ["gtnoble"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/gtnoble/ada-sqlite3"
tags = ["sqlite", "database", "sql", "embedded"]
[build-switches]
"*".compile_checks = ["-gnatwa", "-gnatVa", "-gnatQ"]
"*".style_checks = []
"*".ada_version = "ada12"
"*".contracts = ["-gnata"]
"*".runtime_checks = ["-gnato"]
"*".debug_info = ["-g"]
"*".optimization = ["-O2"]
[origin]
commit = "2edbcebd7cd03757fb9e9c1801977283cf384500"
url = "git+https://github.com/gtnoble/ada-sqlite3.git"
-23
View File
@@ -1,23 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "2.1.0"
website = "adabots.net"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]]
utilada_curl = "^2.5.0"
[[depends-on]]
json = "^5.0.3"
[origin]
commit = "a16786ccff74a85e2bf8c3a5511b01e6fa13d3a3"
url = "git+https://github.com/TamaMcGlinn/adabots.git"
-83
View File
@@ -1,83 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Protected queue - with finish, wait for finish and abort support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^15.1"
aunit = "25.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:9723c4cbd36b390208aee3740bba11c3af47739ad8481b61b015bd02acd511bb",
"sha512:39b265ab90770b076856d7da8afc9ed3a776d224bf21444f5812cf35dc480345e84999e46eb12472d899a5f950b2cdec4114ecff44dbbde3d9247db199feadde",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.1.tgz"
-74
View File
@@ -1,74 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
gnat = "^15.1"
gprbuild = "^25.0"
# [[actions]]
# type = "test"
# command = ["alr", "run"]
# directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:82cf7321a2485a7d83fe4a070e9611b5417f1c2333e6e4c067f047ca152f86f4",
"sha512:71e6740f9f480325b4019950d79d3ed0042c564512015d04ba33acdee5927e03959c3e6eeac9020692df3f367bd4b86cbd0882fb9aa5c2bb2c8035e19c0447e1",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.2.tgz"
-67
View File
@@ -1,67 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:632f80664d28d9a84919e1c9787af7978469cbfe0d8f45d22d6b9370051cb429",
"sha512:78e67a9ad7f4927343afe0e281d6d1c4ec9f6b3baad5168a6a796ca4282183314dd919a9a28e54565a0e151de9a733dfcb75a036179d8ed6dc800be907bf8821",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.3.0.tgz"
-67
View File
@@ -1,67 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:24e84438002c6f4ed176692f2347415e1a422f29c73d9fea3df004c7db8e1f11",
"sha512:439d7bd39f351c82313d5b3223d7a6b65e49c5d7d8d034450ddc127e04681136d50541239a03a2a201fcc321721f7321da038f513574e3b5a90b0972bc73d700",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.0.0.tgz"
-62
View File
@@ -1,62 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6737d96693a295102c8f6c6f3c35c1379ecb0faff67b01f19df330625f4ddc5a",
"sha512:61286ca6c52e280791780226f7813161f22829ade08f9a88651a48c9ea4e59c31dcc4821e2190a198ee2deac2cdbd187b306ade4c2171e536f4c9ef49a83df06",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.0.1.tgz"
-62
View File
@@ -1,62 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:75293ae0e9c80dd0f428c4677d817eb4145f310a4fc83ce440649ee9e473f184",
"sha512:861e982747347dc2fd10d5aa287a95783cd2b9343cd011a0d8fa88d7e10543f3b18760506f40e9c7fc99f85692c44595de54d013b58184aa69b9ff7ccea19818",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.0.tgz"
-61
View File
@@ -1,61 +0,0 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:f164e66e7ab67aba80a4947feccd1012b1ab7d5a94584fd73884851e5daaca41",
"sha512:5ba56c74a14149e264b8dcc0c0b85a36d08adc929a464e2ca792bce5b675c562acbe18c01b7a9e515a05c0f4a821d71197117e49471351bef1b1da7f6dc9c008",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.2.tgz"
-102
View File
@@ -1,102 +0,0 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
[origin]
hashes = [
"sha256:4b06f31a213ba388117a0c31b6492ddebb2546966824c6e5a8c9b293877da813",
"sha512:abd9381fad4411b2a22224a7ff065ca04a6097f05fbe42401cc1b9a8653e09dfd0ca786818218666f24164c70b36776caea97b750b97d8af399256961ceb7413",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.0.0.tgz"
-109
View File
@@ -1,109 +0,0 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:ebfefd3e7f69834409b1f2215dcede0772feaad9f41c477c4fde55cf17eede26",
"sha512:db9a7cc4ffb7e773e074466fd65cd2520d9f9b6164fe5b016feaa6410e3a610363871297caf8bde90fa3cce9848daa0f44eec7c321cd5a5e02970bf9123241d5",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.0.1.tgz"
-109
View File
@@ -1,109 +0,0 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:ba1b4d8f92e4de8447de7a6bf16d17005fcdabf2717984a43d8c456c3f4b3b29",
"sha512:8e84182b0691de025bbee5e4ebeb35df1654f27b042b51d2b6cd3fb291b62b2d1102fdd76d0b02c912d63ce0ba8bf03b0f71e1a3329e5dc88456b0b1edf9e0c1",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.0.tgz"
-109
View File
@@ -1,109 +0,0 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
aunit = "^26.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:26ea0bad6222af3bed97456328d75ae292e37de7939e2f948b58ce1f613f10e7",
"sha512:0fa1159df8cbadba08eab8c474ac8d252d2f6513530d2030d321abda32fe71ee3fbd6fe28ed369e7c4e1070862e1133c8380191259e8af12d0274f7b04ca643f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.2.tgz"
@@ -1,61 +0,0 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat = "^15.1"
adacl = "^6.2.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:80208501ad831e5bcb7a042ef584b511e2079d2b38d4e3fb0a39da46247efda2",
"sha512:2e31b8b0eed505a85beb56eefdb469415779e12e754ce87d8664c67dad5b1280f27a401e7ae5a5f0b0a3b6d40dede8e1b93f241fa4abfdd31726ed99a94f2d39",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.1.tgz"
@@ -1,66 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:6c023b2821816a15aaf2fe106766c223364e094deb9d43534ddac148e5468610",
"sha512:eb94ed4e05d09f3cc6a8245be95eeb84b7725c38c5cfeaab860b560ef4fe89477946b2d993508488421af4a9eaa88d3f7208ab591f84188f2d16af28fa85412f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.2.tgz"
@@ -1,64 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:8ec7facdaa9dd77cf95a5fe959a26540998b0be5c49dfeb57cb6efed8174f1f7",
"sha512:5f4ae9bfc9473ce6a329354f612a7988f6bc2af83b54af38f70399dff97f592caecc705d8f72ec1537cc84adec6e139a358bb9461fbdcc835d8f9667f7ce7e60",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.3.0.tgz"
@@ -1,64 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:fa8bce5a25dbaf8589dff2523d57e2b39ea8e2bbcf8641ec80ddeaa564936905",
"sha512:18a4dbd59da585c9daf6a979b7ed8a9fe4cda2dfcbbb9a8102a2e8cef1e7f79b0870efbf7da7a101651e41a9276ec44b702f0c18670af2ae2df8e029fca3b219",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.0.0.tgz"
@@ -1,70 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:91b30d7d34c15362e8d61fa9ccff9cc8da2299fe9368a284480c8d9312ce0ed1",
"sha512:89f4e17e86113aa0b4e014cb68f6e60c53d92636e38402eeacbc44031f585c37c2277b45bfca64704142dff09160f6b17ea8517445b4633135639e8c201aa622",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.0.1.tgz"
@@ -1,70 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:82fb6e4564cda85581ca776ea7dc83b1b0cc94a3df6b7ac7c3718ee9f5195dc4",
"sha512:7a2a7c47e746a788b40c7b0b8975fb6d35f7afaf0c8fead027f5fac95b502a3f245764f679108f58d912320edc6a6c4dc100be8ee49a6b241a0786efc1f561b7",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.0.tgz"
@@ -1,70 +0,0 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6bb988d2cb432befb802f7f026b0381f5621b73339b270351f9cba169d1c9493",
"sha512:92a0af84f6133f80f1da80905bf6e73f4e91a2c9c8c6f4418d12a75f93a62be1b1d0946011bd0e425356314dfbc41a16bb7bb128abcc94b149ca122f39ce881e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.2.tgz"
@@ -1,77 +0,0 @@
name = "adacl_embedded"
description = "Ada Embedded Library"
long-description = """
## AdaCL Embedded - Lightweight Embedded Ada Library
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
strings, and wide strings are avoided or kept to an absolute minimum.
### Current Features
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
### Configuration Options
* `Variant`
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
* `tasking` - for runtimes with tasking support.
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
etc.pp).
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
completely.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
"""
version = "7.1.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[configuration.variables]
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:4feddadbc5e900b65ccfa3bed4a4becb9afb9cc89ac3d865e0ea0ecf9477eee6",
"sha512:e611feee8b969e7bf3ca61033a70660ae389f06264ed94027d5d12a55ded8f2e9f44088155740182e627431f12b66753745faba18016f431490ce64f6868e43b",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.1.tgz"
@@ -1,76 +0,0 @@
name = "adacl_embedded"
description = "Ada Embedded Library"
long-description = """## AdaCL Embedded - Lightweight Embedded Ada Library
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
strings, and wide strings are avoided or kept to an absolute minimum.
### Current Features
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
* **AdaCL.Embedded.Text_IO** - Extended Ada.Text_IO.
### Configuration Options
* `Variant`
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
* `tasking` - for runtimes with tasking support.
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
etc.pp).
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
completely.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[configuration.variables]
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:fe91db4f952655498fd733d3f4132d55f33e5286a296c1e9b9a62d03afa98d6c",
"sha512:a0fc7fe07d29e8e26d2a16f8664297d1359be2ea4a0ba6d9dd9944162dea1f6b220263133707a52e305a0c7026f4824ac5c6167a96e70946249f7412fdc16279",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.2.tgz"
@@ -1,58 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:50a9770f9202f0192049ce13870c5f3d11e01f3eab3c0085ebe5a500fad53fa1",
"sha512:49c74a4ebd46158a58672f7d3a2bf004a120d8a368bfc69041d35d8c03db3344e5c419ee36ba07f03f0e0f575313d3331bb604cf5d16e8bbe50316e0ef4bd72f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.2.tgz"
@@ -1,56 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:d1f82aba41f039402e75c68efe90c4e3def0eda6ffee1feda7c46ebbf29d2f1b",
"sha512:f865f1b142baabe82c3d178e27015d6671affa477348a38f19bc99c5a747e9de89d94e750f7125e2eec9536b0e994b5c9cd40294b61d875d0f321e8ad7c963c6",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.3.0.tgz"
@@ -1,56 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:3418a3cceef67322148028ac2196ce6aeb4d10d24f41a1d39bccb0a13c5e6834",
"sha512:e6732d51dc2ffcaae19f4687673f8fb176fe7f638045bfb225fca4f7fe85c7c08446439070e3b170c029dc7a6668cde7f8b61c9c8867459cd0f79ffbc15e9e77",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.0.0.tgz"
@@ -1,62 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:9309c3cb5b40b8a51a8891c21c4865584fd0de4cb59a51fbf8ea947b50a3dc98",
"sha512:4fd99be1dbb86996721bdc3ea8d89a426b32f5fb06a7976bf5c9b34320147f1374ce512e8739dea1854bed94cd5bcb18e3abf6cd62049b0e7a9d7100d52d44fd",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.0.1.tgz"
@@ -1,62 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:666d1d77d3c60d9de789c0e185fc14e2ed1d0637dfac8d3733d9baeb86cfe871",
"sha512:ed7e1d537edf6013a37126ae7973f2f6d483c73733362f8e49fe02af945864f55590d6439c2ca8435b809da0ecc613eaccd95e49e6a53fbe364bb8523965c993",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.0.tgz"
@@ -1,62 +0,0 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:33dc6d3df5198bfbeae063f6c1d239feb71a512485b29afe716475c3984b8bd9",
"sha512:52ce5fa534742a653a96ca0077555b6d64d9301affeee39d4d0637cf8fcfcb401714dbd9478a837a698d63f50a1a96315ad0a5b640e0a988140d9556f07618a0",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.2.tgz"
-66
View File
@@ -1,66 +0,0 @@
name = "adacl_sar"
description = "Ada Class Library - Search and Replace"
long-description = """A class library for Ada for those who like OO programming.
Search and Replace for text. This libary performs tranformations on text data
stored in a string vectors. The transformation instructions are also stored in vector
so multiple transformations can be performed in one go.
Each tranformations instructions is performed using a tagged type allowing the user to develop
abritrary complex operatations.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^15.1"
adacl = "^6.2.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:493deabe54c73f6e9e9a9be998a23f0739c7b953b6981f0ab07c3c65b4ffb69f",
"sha512:ee33bb2cc6a45b9ea82f0562345fdb3873461e3fe779122cc64f4cf670d5eb3e7733b0f9f76ac6bfcbc3f98aacc916038f7a457261272e127aa9f25d0fde94cb",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.2.1.tgz"
-57
View File
@@ -1,57 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:83f803a1430ee961173bb5d7059f17a4baa2a567bad935cba11445eaaf0715a8",
"sha512:09d3bcf8a15809a4101886d2ff45bca5073914bcb4e883952b3daf5a58eb78369a395e3e70351b1ef7e48631460b3ff382274c0da8d584059f786143db052336",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.2.2.tgz"
-55
View File
@@ -1,55 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:e62c9e2b5bbaa985e8efddc847d55929b7e2855e28a51156fe93a58b66096772",
"sha512:ab35ddc84829958991a5cfb29ed6e2a08b8ffb2be561494f2af3293cddc15b0305cae5393d6ce731f28957503577a77f59515e7d76347cb83c45a8a7ce6b2a60",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.3.0.tgz"
-55
View File
@@ -1,55 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:c9259a7505db8438d1717657b805a79c1a8aec64b795285f36799373aaf2598b",
"sha512:a2f9a4b0b997022f9f21276bea459bb0e610f4ab428719bbf0336e64590bb2f0e40f9fa4423465dca7ed947057dbef66c5456b5baf745b9861a8a62e25176836",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.0.0.tgz"
-61
View File
@@ -1,61 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6a589f6739d492ef98839544c8edd1e2b90013146773c1ffeee8af87b80672a7",
"sha512:d9a24d1a19af7bd05d42a54b6e359a2991ebe9d8a273a4842aa3cc6ce095050e7159656b400679f972fe87c36d689d672020f00409fad46ff9b20abc26cb0d91",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.0.1.tgz"
-61
View File
@@ -1,61 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:e166fae7c4f82734d550b5ff358c9cd1d765303ddebeb6d35e9dc9a36f3b7ae3",
"sha512:8bb50b515b36c4f9be8fea461cc58ce7058dd71a631f8007becff9e15d8466dc7a4cb9557334dc17c64e06667bd8a2f568ccc6029dee6278cdbae2b34f459c0e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.0.tgz"
-61
View File
@@ -1,61 +0,0 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:dff0c40c7c1685dc75bd20a80f21c4d07448d29d3a00f8fc219a828a1a45b122",
"sha512:df7f487cca52ba81f34c414be35a8c3bd7c0b007b245ecfa2c85c1108fc41c33e2e05b341334cc8bc5c779bcbbc6c47602824a9e061aad1dc5d541cefbcca7a6",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.2.tgz"
-26
View File
@@ -1,26 +0,0 @@
name = "adamodbus"
description = "SPARK-verified Ada 2022 Modbus library with SunSpec support and C API"
version = "1.0.1"
licenses = "MIT"
authors = ["Florian Fischer <florian.j.a.fischer@icloud.com>"]
maintainers = ["Florian Fischer <florian.j.a.fischer@icloud.com>"]
maintainers-logins = ["flottokarotto"]
website = "https://github.com/flottokarotto/AdaModbus"
tags = ["modbus", "embedded", "protocol", "serial", "tcp", "spark", "industrial", "sunspec", "energy", "solar"]
[gpr-externals]
ADAMODBUS_BUILD_MODE = ["debug", "release"]
[[depends-on]]
gnat = ">=12"
[[depends-on]]
aunit = "^26.0.0"
[origin]
url = "https://github.com/flottokarotto/AdaModbus/archive/refs/tags/v1.0.1.tar.gz"
hashes = [
"sha256:760faf5a96365d6f8917a658bfc045e31f0bed0d492f4da6e85c034bd14525d9",
"sha512:123714988d7db41c7431acb1c004171e5b96536a7aee0cd2e51eb7d8475b2e71b0d71edcdddc95351fda4e821cd3557a4a42917e2157860a5e777db87a363f53"
]
-35
View File
@@ -1,35 +0,0 @@
name = "adasat"
description = "Implementation of a DPLL-based SAT solver in Ada."
long-description = """
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
"""
version = "26.0.0"
website = "https://github.com/AdaCore/adasat"
authors = ["AdaCore"]
licenses = "Apache-2.0 WITH LLVM-exception"
maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"]
maintainers-logins = ["chouteau", "roldak", "AldanTanneo"]
tags = ["sat", "solver", "theories"]
[configuration]
disabled = true
[gpr-externals]
ADASAT_BUILD_MODE = ["dev", "prod", "prof"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/external ("ADASAT_BUILD_MODE", "dev")/external ("ADASAT_BUILD_MODE", "prod")/', "adasat.gpr"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/, "-flto");/);/', "adasat.gpr"]
[origin]
url="https://github.com/AdaCore/AdaSAT/archive/refs/tags/v26.0.0.zip"
hashes=['sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9']
@@ -1,38 +0,0 @@
description = "Middleware layer of the Ada Drivers Library project"
long-description = '''# adl_middleware
Middleware layer of the Ada Drivers Library project.
This crate is a snapshot of the `middleware` of [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "adl_middleware"
version = "0.4.0"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["adl_middleware.gpr"]
tags = ["embedded", "nostd", "fat", "bitmap"]
[[depends-on]]
hal = "^1.0.0"
[build-switches]
"*".style_checks = "no"
[configuration.variables]
Max_Mount_Points = {type = "integer", first = 1, default = 2}
Max_Mount_Name_Length = {type = "integer", first = 1, default = 128}
Max_Path_Length = {type = "integer", first = 1, default = 1024}
[origin]
commit = "aadd86ce7adff45862a329ee8252ad13ba6e0856"
url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
-62
View File
@@ -1,62 +0,0 @@
description = "Ada Database Objects (Core library)"
tags = ["database", "uml", "sql"]
name = "ado"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![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/), [SQLite](https://www.sqlite.org/) or
[SQLCipher](https://www.zetetic.net/sqlcipher/). 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.8.0"
utilada_xml = "^2.8.0"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
-41
View File
@@ -1,41 +0,0 @@
description = "Ada Database Objects (All drivers)"
tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
name = "ado_all"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_all.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This crate give access to the PostgreSQL, MySQL and SQLite drivers for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.5.0"
[configuration]
disabled = true
[[actions]]
type = "post-fetch"
command = ["sh", "./alire-setup.sh"]
[[actions]]
type = "pre-build"
command = ["sh", "./alire-setup.sh"]
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./drivers/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
-38
View File
@@ -1,38 +0,0 @@
description = "Ada Database Objects (Mysql)"
tags = ["database", "uml", "sql", "mysql", "mariadb"]
name = "ado_mysql"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_mysql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![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.5.0"
libmariadb = "*"
[configuration]
disabled = true
[[actions]]
type = "pre-build"
command = ["sh", "./alire-setup.sh"]
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./mysql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -1,34 +0,0 @@
description = "Ada Database Objects (PostgreSQL)"
tags = ["database", "uml", "sql", "postgresql"]
name = "ado_postgresql"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_postgresql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![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.5.0"
libpq = "*"
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./postgresql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
-41
View File
@@ -1,41 +0,0 @@
description = "Ada Database Objects (SQLite)"
tags = ["database", "uml", "sql", "sqlite"]
name = "ado_sqlite"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_sqlite.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the SQLite or SQLCipher driver for the Ada Database Objects library.
The choice between SQLite and SQLCipher is controlled by the `ADO_USE_SQLCIPHER` gpr external variable.
Use `-XADO_USE_SQLCIPHER=yes` if you want to use the SQLCipher support. The database encryption key
is configured by using a `pragma key`.
"""
[[depends-on]]
ado = "^2.5.0"
libsqlite3 = "any"
[gpr-externals]
ADO_USE_SQLCIPHER = ["yes", "no"]
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./sqlite/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -1,20 +0,0 @@
name = "aho_corasick"
description = "Aho-Corasick Implementation"
version = "0.2.0"
authors = ["docandrew"]
maintainers = ["docandrew <jonfandrew@fastmail.com>"]
maintainers-logins = ["docandrew"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = ""
tags = ["strings", "search", "matching", "intrusion", "aho-corasick"]
# project-files = ["aho_corasick.gpr", "sparklib.gpr"]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "e7132ae19b4ecc372ccff0a90a77582a9af7e3b3"
url = "git+https://github.com/docandrew/aho_corasick.git"
@@ -1,20 +0,0 @@
name = "aho_corasick"
description = "Aho-Corasick Implementation"
version = "0.3.0"
authors = ["docandrew"]
maintainers = ["docandrew <jonfandrew@fastmail.com>"]
maintainers-logins = ["docandrew"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = ""
tags = ["strings", "search", "matching", "intrusion", "aho-corasick"]
# project-files = ["aho_corasick.gpr", "sparklib.gpr"]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "fddeabadee10c6eb44bec7ea75d8e0e798237ed0"
url = "git+https://github.com/docandrew/aho_corasick.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aion"
description = "Structured Asynchronous Runtime for Ada"
version = "1.0.0"
licenses = "MIT"
authors = ["Mahesh Chandra Teja Garnepudi", "Kairais Tech Solutions Pvt. Ltd."]
maintainers = ["Kairais Tech Solutions Pvt. Ltd. <maheshchandrateja@gmail.com>"]
maintainers-logins = ["MaheshChandraTeja"]
tags = ["async", "runtime", "concurrency", "networking", "ada", "futures", "reactor", "observability"]
project-files = ["aion.gpr"]
website = "https://www.kairais.com"
long-description = """
Aion is a structured asynchronous runtime for Ada, built for reliable
networking, deterministic concurrency, cancellation-safe tasks, futures,
timers, channels, supervision, observability, and production-grade systems
software.
"""
[build-switches]
"*".ada_version = "Ada12"
development.runtime_checks = "Everything"
validation.runtime_checks = "Everything"
release.optimization = ["-O2"]
[origin]
commit = "9a6f2dd913294de6df8ed23292375320e7df0e98"
url = "git+https://github.com/MaheshChandraTeja/Aion.git"
-95
View File
@@ -1,95 +0,0 @@
description = "Ada Keystore Tool"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
# 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.4.2"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
tags = ["security", "storage", "nosql"]
website = "https://gitlab.com/stcarrez/ada-keystore"
[project-files.'case(os)']
linux = ["akt_fuse.gpr"]
macos = ["akt_nofuse.gpr"]
windows = ["akt_nofuse.gpr"]
'...' = ["akt_nofuse.gpr"]
[[actions]]
type = "post-fetch"
command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.4.2\"",
"src/akt-configs.gpb",
"src/akt-configs.ads"
]
[[depends-on]]
utilada = "^2.8.0"
keystoreada = "^1.4.0"
intl = "^1.0.1"
[depends-on.'case(os)'.linux]
ada_fuse = "*"
[gpr-externals]
KEYSTORE_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 = "849b47b9db6cd8e99dca9a77b846baedd81bb2d0"
subdir = "./akt/"
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
-28
View File
@@ -1,28 +0,0 @@
description = "ALI_Parse - parsing and processing GNAT's .ali files"
name = "ali_parse"
version = "1.0.0"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/ali_parse/"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch"]
project-files = ["ali_parse.gpr"]
tags = ["webview"]
executables = ["gnathtml"]
long-description = """
ALI_Parse is a parser for the .ali files generated by the GNAT Ada compiler.
ALI means Ada Library Information.
You find the .ali files in the same directories as the object files (.o) containing the machine code produced by GNAT.
Currently, ALI_Parse is focused at cross-references within a set of Ada source files.
Two command-line tools using the parser are provided:
* GNATHTML, which generates a set of Web pages from Ada sources
* ALI_Stats, which shows the list of entities, the list of cross-references, the count of references to each entity and the list of files.
ALI_Parse is pure Ada 2012 and doesn't depend on any other resource.
"""
[origin]
url = "https://sourceforge.net/projects/ali-parse/files/ali-parse-v1.0.zip"
hashes = ["sha512:64e768d9e4cdd08402d072be32a4ca3be0247c45c2bcb10bcc4dd0fa7bc3d2b2de2d1636cafc063c36ec43729f986ab6813ba6f9735172a135400863dd7f8cae"]
-13
View File
@@ -1,13 +0,0 @@
name = "amqp"
version = "0.3.1"
description = "AMQP 0-9-1 client library for Ada"
website = "https://github.com/geewiz/amqp_ada"
authors = ["Jochen Lillich <contact@geewiz.dev>"]
maintainers = ["Jochen Lillich <contact@geewiz.dev>"]
maintainers-logins = ["geewiz"]
licenses = "Apache-2.0"
tags = ["amqp", "messaging", "rabbitmq", "protocol"]
[origin]
commit = "985b2735cbe25c3c3dd0d82fd959f719f627aba3"
url = "git+https://github.com/geewiz/amqp_ada.git"
-38
View File
@@ -1,38 +0,0 @@
name = "anteforth"
description = "A Forth virtual machine"
version = "0.1.0"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["forth","vm","spark"]
executables = ["anteforth"]
[build-switches]
Development.Debug_Info = "Yes"
Development.Contracts = "Yes"
Development.Runtime_Checks = [
"-gnato", # Enable numeric overflow checking;
"-fstack-check", # Stack overflow checking
"-gnatVa", # All validity checks
]
Release.Runtime_Checks = "None"
# "*".Compile_Checks = "Errors"
"*".Ada_Version = "Ada2022"
"*".Style_Checks = [
"-gnaty-d", # Disable no DOS line terminators
"-gnatyM200", # Maximum line length
"-gnatyO", # Overriding subprograms explicitly marked as such]
]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "7fa8dfcf0eef211c7ed3067147d3338063bf066c"
url = "git+https://github.com/pyjarrett/anteforth.git"
-38
View File
@@ -1,38 +0,0 @@
name = "anteforth"
description = "A Forth virtual machine"
version = "0.1.1"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["forth","vm","spark"]
executables = ["anteforth"]
[build-switches]
Development.Debug_Info = "Yes"
Development.Contracts = "Yes"
Development.Runtime_Checks = [
"-gnato", # Enable numeric overflow checking;
"-fstack-check", # Stack overflow checking
"-gnatVa", # All validity checks
]
Release.Runtime_Checks = "None"
# "*".Compile_Checks = "Errors"
"*".Ada_Version = "Ada2022"
"*".Style_Checks = [
"-gnaty-d", # Disable no DOS line terminators
"-gnatyM200", # Maximum line length
"-gnatyO", # Overriding subprograms explicitly marked as such]
]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "6f6d3d289edb88d1ab361e0c4f5d2094491bb9e6"
url = "git+https://github.com/pyjarrett/anteforth.git"
-31
View File
@@ -1,31 +0,0 @@
name = "aor_jsona"
description = "Typed extraction from JSON payloads via path-based, indexed navigation"
version = "1.6.6"
authors = ["David Sauvage - AdaLabs Ltd"]
maintainers = ["David Sauvage - AdaLabs Ltd <david.sauvage@adalabs.com>"]
maintainers-logins = ["dsauvage"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
website = "https://gitlab.com/adalabs/aor_jsona"
tags = ["json","aor"]
project-files=["aor_jsona.gpr"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[[depends-on]]
gnatcoll = "^25.0.0"
aws = "^25.2.0"
[[actions]]
type = "test"
directory = "tests"
command = ["alr", "run"]
[origin]
commit = "b47690c034f6370ff57558d1b8b946e61181247d"
url = "git+https://gitlab.com/adalabs/aor_jsona.git"
-56
View File
@@ -1,56 +0,0 @@
description = "Portable package for producing dynamically PDF documents"
name = "apdf"
version = "9.0.0"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/ada-pdf-writer"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_project_tree.gpr"]
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
tags = ["pdf", "adobe", "acrobat"]
long-description = """
**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_delivery_m.png "Screenshot of a page produced by PDF_Out")
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_sowebio_m.jpg "Screenshot of a report produced by PDF_Out")
* Ideal for the dynamic production of reports, invoices, tickets, labels, delivery notes, charts, maps etc.
* Vector graphics
* Inclusion of JPEG images
* Object oriented
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Unconditionally portable code: OS-, CPU-, compiler- independent code
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions
* *Free*, open-source
The creation of a PDF file is as simple as this small procedure:
```ada
with PDF_Out;
procedure Small_Demo is
pdf : PDF_Out.PDF_Out_File;
begin
pdf.Create ("small.pdf");
pdf.Put_Line ("This is a very small demo for PDF_Out...");
pdf.Close;
end Small_Demo;
```
"""
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=13.0.1"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_009.zip"
hashes = ["sha512:d62bdc1365f387a761de8eca59fbcb1b4757dea39b214592e2c8951edec0dcf826efa6c2b6b581059bf16ce23ba9f1779a9fe0dc0c12d471494a78a907df86db"]
-20
View File
@@ -1,20 +0,0 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.1.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "bfdf0c97d3dc26b807d5d0c84e00f1bd2ee2195b"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
-20
View File
@@ -1,20 +0,0 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.2.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "2eca2bd969d3835ee12af74faeef8affcaff631c"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
-20
View File
@@ -1,20 +0,0 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.2.2"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "9a3e203c89ad145c41e4d4dc6c97578644605db2"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
-20
View File
@@ -1,20 +0,0 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.3.0"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/tree/master/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "f8d89b7e7fdeeeb2544b5716a4e2afee3a511d04"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
-20
View File
@@ -1,20 +0,0 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.4.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/tree/master/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.2.0"
[origin]
commit = "1e325c980699230765379fbdf0a57db1c14ddc44"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
@@ -1,85 +0,0 @@
name = "atari_atr_tools"
description = "Cross-platform tool for ATR disk images for Atari 8-bit systems"
long-description = """Atari ATR Tools is a versatile, cross-platform utility written in Ada 2022 for managing ATR disk image files used by Atari 8-bit emulators (e.g., Altirra, Atari800) and hardware add-ons like SIO2PC. Unlike most existing tools, which are Windows-only, this tool runs seamlessly on macOS, Linux, and Windows, making it ideal for retro computing enthusiasts across all major platforms.
Key features include:
**Header Analysis**: Display detailed metadata of ATR files, including sector
size, disk density, track count, and boot sector presence.
```sh
> atr_tools-main --print-header test-DD-DS-80.atr
File name : test-DD-DS-80.atr
Magic : 16#296#
Paragraphs : 46056
Sector size : 256
Flags : 2#1#
Bad Sectors : 0
Unused : 16#0#
Sectors : 2880
Bytes : 736896
Boot Sectors : true
Floppy disk double density, double sided, 80 track
```
**Floppy Image Creation**: Format and create ATR files for various disk
configurations (e.g., single-sided, double-density, 80 tracks).
```sh
> atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
File created : test-DD-SS-80.atr
Sector size : 256
Sector per track : 18
Tracks per side : 80
Sides per disk : 1
```
The tool includes a comprehensive test suite to ensure reliability across platforms and configurations. Source code and tests are available on SourceForge. Detailed GNATdoc documentation can be found at [6502 Tutorial](https://tutorial-6502.sourceforge.io/gnatdoc/atr_tools/index.html).
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
executables = ["atr_tools-main"]
website = "https://sourceforge.net/projects/tutorial-6502"
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:f83e01b4a70cb4ed38169c7aebd6eaa90a10f241d78b050bfaea55c3796c3e54",
"sha512:65ad2fe793d2fed8d1e12c2de7718ffcf997d602c5b0f4896af15197a24fe6f71359dc94d3c07f93e58e68f84cb5bc633062621ad682b0dca7271750792bc01e",
]
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.5.1.tgz"
@@ -1,87 +0,0 @@
name = "atari_exe_tools"
description = "Cross-platform tool for analysing and inspecting Atari 8-bit EXE files"
long-description = """Atari EXE Tools is a robust, cross-platform utility written in Ada 2022 for analysing Atari 8-bit executable (EXE) files, used in Atari 400/800 and XL/XE systems or emulators like Altirra and Atari800. Unlike most existing tools, which are typically Windows-only, this tool operates seamlessly on macOS, Linux, and Windows, making it an essential asset for retro computing enthusiasts and developers working across diverse platforms.
Key features include:
**Header Analysis**: Extract and display detailed metadata from EXE files,
including memory start/end addresses, segment lengths, and init/run vectors.
```sh
> exe_tools-main --print-header ./test/share/atari_check_exe_test/HELLO_C.EXE
File: ./test/share/atari_check_exe_test/HELLO_C.EXE
Magic: $FFFF; Start: $2E00; End: $2EF5; Length: 246
Magic: $0000; Start: $02E2; End: $02E3; Length: 2; Init: $2E47
Magic: $0000; Start: $2400; End: $28DE; Length: 1247
Magic: $0000; Start: $02E0; End: $02E1; Length: 2; Run: $2401
```
Data Dumping: Output hexadecimal data from EXE files for inspection, with ATASCII portions omitted to ensure compatibility with non-UTF-8 environments.
```sh
> exe_tools-main --print-data ./test/share/atari_check_exe_test/HELLO_A.EXE
File: ./test/share/atari_check_exe_test/HELLO_A.EXE
2400: 60 60 A2 00 A9 0B 9D 42 03 A9 3F 9D 44 03 A9 24
2410: 9D 45 03 A9 2E 9D 48 03 A9 00 9D 49 03 20 56 E4
2420: A2 00 A9 07 9D 42 03 A9 6D 9D 44 03 A9 24 9D 45
2430: 03 A9 01 9D 48 03 A9 00 9D 49 03 20 56 E4 60 48
2440: 65 6C 6C 6F 20 57 6F 72 6C 64 21 9B 28 75 73 69
2450: 6E 67 20 61 20 65 78 65 63 75 74 61 62 6C 65 20
2460: 69 6E 20 61 73 73 65 6D 62 6C 65 72 29 9B 00
02E0: 02 24
Run: $2402
```
The tool includes a comprehensive AUnit test suite to ensure reliability across
platforms and Atari 8-bit configurations. Source code and tests are available
on SourceForge. Detailed GNATdoc documentation can be found at 6502
Tutorial.
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
executables = ["exe_tools-main"]
website = "https://sourceforge.net/projects/tutorial-6502"
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Everything"
release.compile_checks = "Warnings"
release.contracts = "Yes"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Everything"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:d60e073111d639242eedebd3e11b18f781b9d600c12e3d04fbd4bf1dd3f7a9e6",
"sha512:c2700ec5d401dab2d48027d265d70ccd0985a1c735c6bba692352576c746d83b4195965850e03867de8827e06739e3e09b1375130f0e17db1d5e8cdf362889c5",
]
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_exe_tools-1.5.1.tgz"
-19
View File
@@ -1,19 +0,0 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "1.1.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m", "rp2040_spinlock"], default = "Intrinsic"}
RP2040_Spinlock_ID = {type = "Integer", first = 0, last = 31, default = 31 }
[origin]
commit = "5e6250a055565914cd614f38855b0cb14620b889"
url = "git+https://github.com/Fabien-Chouteau/atomic"
-20
View File
@@ -1,20 +0,0 @@
description = "Ada unit test framework"
name = "aunit"
version = "26.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"]
maintainers-logins = ["Fabien-Chouteau", "AldanTanneo"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[configuration]
disabled = true
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/AdaCore/aunit/archive/refs/tags/v26.0.0.zip"
hashes=['sha512:b882e96a4b2cbc2d0d3838e14f2c7b6e576d6d7ccf88fe3562b1fbca61a2ebfd4e8b3379dd5c3fb3140949cda69526c8696fe3b7a6c6748fe93f116213276b39']
-60
View File
@@ -1,60 +0,0 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "25.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["aws.gpr", "build/projects/aws_config.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
[gpr-externals]
TGT_DIR = ""
TARGET = ""
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".freebsd]
PRJ_TARGET = "freebsd"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
TGT_DIR = "../build"
TARGET = "build"
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch actions.
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p `gcc -dumpmachine`/setup/src"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "make setup ZLIB=false DEMOS=false LAL=false XMLADA=true SOCKET=openssl prefix=install_dir PRJ_BUILD=Release"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mv `gcc -dumpmachine`/ build/"]
[[depends-on]]
xmlada = "~25.0.0"
gnatcoll = "~25.0.0"
make = "*"
gnat = ">=12"
openssl = ">=1.1.0"
[origin]
url="https://github.com/AdaCore/aws/releases/download/v25.0.0/aws-25.0.0-with-templates-parser.zip"
hashes=['sha512:cf1dc186d2ca7545ae776332e3f03198e920e48dba974275b7c1161786a0af7de823cd2053aeda5ee31072f42db13494b69d51e9879298981fa2a2ae5c94aa38']
-60
View File
@@ -1,60 +0,0 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "25.2.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["aws.gpr", "build/projects/aws_config.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
[gpr-externals]
TGT_DIR = ""
TARGET = ""
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".freebsd]
PRJ_TARGET = "freebsd"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
TGT_DIR = "../build"
TARGET = "build"
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch actions.
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p `gcc -dumpmachine`/setup/src"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "make setup ZLIB=false DEMOS=false LAL=false XMLADA=true SOCKET=openssl prefix=install_dir PRJ_BUILD=Release"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mv `gcc -dumpmachine`/ build/"]
[[depends-on]]
xmlada = "~25.0.0"
gnatcoll = "~25.0.0"
make = "*"
gnat = ">=12"
openssl = ">=1.1.0"
[origin]
url="https://github.com/AdaCore/aws/releases/download/v25.2.0/aws-25.2.0-with-templates-parser.zip"
hashes=['sha512:bb26af84c502135c3ec1137c895d628e5f068810e3ad6c1cad6113256d44d764794ecfdcc12fa9efbdcfc3eaa4a971b56f35dae7c0bbe0f6d953cbaf45a40e10']
+4
View File
@@ -43,6 +43,10 @@ windows = true
[gpr-externals]
AZip_Build_Mode = ["Debug", "Fast", "Small"]
[gpr-set-externals]
AZip_Build_Mode = "Small"
Zip_Build_Mode = "Small"
[[depends-on]]
ini_files = ">=11.0.0"
[[depends-on]]
-61
View File
@@ -1,61 +0,0 @@
description = "Generate various types of bar codes (1D or 2D) on various media"
name = "bar_codes"
version = "6.0.0"
authors = ["Gautier de Montmollin"]
website = "https://ada-bar-codes.sourceforge.io/"
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["ada_bar_codes.gpr"]
tags = ["bar", "code", "barcode", "bar-code",
"datamatrix", "data-matrix",
"qr", "qrcode", "qr-code",
"code128", "msi", "ean13", "upca",
"pbm", "pdf", "png", "svg"]
executables = ["bar_codes_demo"]
long-description = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128, EAN-13, MSI, UPC-A
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* *Free*, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, (5.0, 5.0, 100.0, 100.0), "mm", "Hello"));
Close (svg);
end Small_Demo;
```
"""
[gpr-externals]
Build_Mode = ["Debug", "Fast"]
[origin]
url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_006.zip"
hashes = ["sha512:60a70c816297d0ab2124008da6f3aa79bbbbf891c25889a5a0c2fcb16e7eb9be1375f45a242ba14f3874a591271309a7f7ae0a069af299c9bd91f8f595e76739"]
-15
View File
@@ -1,15 +0,0 @@
name = "base32"
description = "Simple base32 codec"
version = "1.0.1"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
website = "https://github.com/JeremyGrosser/base32"
tags = ["base32", "encoder", "decoder", "codec"]
[origin]
commit = "b200c79cbef74500956066354710ee21f08076ce"
url = "git+https://github.com/JeremyGrosser/base32.git"
-24
View File
@@ -1,24 +0,0 @@
name = "bbs_lisp"
description = "Embedable tiny lisp interpreter"
version = "0.2.2"
long-description = """
This is the core of a simple tiny lisp that is intended to be embedded in
other applications. It can be extended with new commands specific to
the application.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Ada-Lisp"
tags = ["lisp", "embedded"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "ca9c70842fb4999b269233e862c4b05525f053b6"
url = "git+https://github.com/BrentSeidel/Ada-Lisp.git"
-23
View File
@@ -1,23 +0,0 @@
name = "bbs_simcpu"
description = "CPU Simulator for multiple CPUs"
version = "0.3.3"
long-description="""
This contains simulators for the 6502, 8080/8085/Z80 and 680000/68008 processors.
More will probably be added with time.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Sim-CPU"
tags = ["cpu-simulator", "6502", "i8080", "i8085", "z80", "m68000"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "182249e5ae587e7a69cdaf9ae0770fe86d5ef255"
url = "git+https://github.com/BrentSeidel/Sim-CPU.git"
-23
View File
@@ -1,23 +0,0 @@
name = "bbs_simcpu"
description = "CPU Simulator for multiple CPUs"
version = "0.4.0"
long-description="""
This contains simulators for the 6502, 8080/8085/Z80 and 680000/68008 processors.
More will probably be added with time.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Sim-CPU"
tags = ["cpu-simulator", "6502", "i8080", "i8085", "z80", "m68000"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "00914dbc5d392f9c4dcac0aaa40aafdf7a3f3bdf"
url = "git+https://github.com/BrentSeidel/Sim-CPU.git"
-56
View File
@@ -1,56 +0,0 @@
name = "bbt"
description = "Black box test runner"
version = "0.2.0"
authors = ["Lionel Draghi"]
maintainers = ["Lionel Draghi <lionel.draghi@free.fr>"]
maintainers-logins = ["LionelDraghi"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/LionelDraghi/bbt"
tags = ["test", "testing", "gherkin", "markdown", "tdd", "bdd"]
executables = ["bbt"]
[configuration]
output_dir = "src/Alire_config"
generate_C = false
[[depends-on]]
# markdown = "^24.0.0"
[[depends-on]]
ansiada = "^1.0.0"
gnat="^14"
# [[test]]
# command = ["make", "build", "check"]
# [[test]]
# id = "examples"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/examples/"]
# [[test]]
# id = "features"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/features/"]
# [[test]]
# id = "non_reg"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "non_reg_tests/"]
# [[test]]
# id = "unit_testing"
# directory = "tests/file_utilities_tests/"
# runner = "alire"
# command = ["./test_file_utilities", "-q"]
# [[actions]]
# type = "post-build"
# command = ["echo", 'run "alr test" to check bbt build']
[origin]
commit = "e0ba91e6719e4727179bca4a5cfaa425a4d7b25c"
url = "git+https://github.com/LionelDraghi/bbt"
-56
View File
@@ -1,56 +0,0 @@
name = "bbt"
description = "Black box test runner"
version = "0.2.1"
authors = ["Lionel Draghi"]
maintainers = ["Lionel Draghi <lionel.draghi@free.fr>"]
maintainers-logins = ["LionelDraghi"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/LionelDraghi/bbt"
tags = ["test", "testing", "gherkin", "markdown", "tdd", "bdd"]
executables = ["bbt"]
[configuration]
output_dir = "src/Alire_config"
generate_C = false
[[depends-on]]
# markdown = "^24.0.0"
[[depends-on]]
ansiada = "^1.0.0"
gnat="^14"
# [[test]]
# command = ["make", "build", "check"]
# [[test]]
# id = "examples"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/examples/"]
# [[test]]
# id = "features"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/features/"]
# [[test]]
# id = "non_reg"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "non_reg_tests/"]
# [[test]]
# id = "unit_testing"
# directory = "tests/file_utilities_tests/"
# runner = "alire"
# command = ["./test_file_utilities", "-q"]
# [[actions]]
# type = "post-build"
# command = ["echo", 'run "alr test" to check bbt build']
[origin]
commit = "826f44b35eda9140ffb78b406e6f19a5129b346e"
url = "git+https://github.com/LionelDraghi/bbt"
-62
View File
@@ -1,62 +0,0 @@
description = "Ada API for the GNU Binutils BFD library"
name = "bfdada"
version = "1.3.1"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["bfdada.gpr"]
tags = ["object", "binary", "elf", "symbols", "disassembler"]
website = "https://gitlab.com/stcarrez/ada-bfd"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/summary)
The Ada-BFD is a library which provides Ada API for GNU Binutils BFD
library. It works on any version of GNU Binutils (starting at 2.15).
The recommended version for GNU Binutils is at least the 2.42.
The Ada-BFD library allows to:
* list and scan the ELF sections of an executable or object file,
* get the content of the ELF sections,
* get access to the symbol table,
* use the BFD disassembler
# Documentation
* [BFD Documentation](http://sourceware.org/binutils/docs/bfd/index.html)
* [Reading a program symbol table with Ada BFD](https://blog.vacs.fr/vacs/blogs/post.html?post=2012/11/03/Reading-a-program-symbol-table-with-Ada-Bfd)
"""
[gpr-externals]
BFDADA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
BFDADA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[available.'case(os)']
linux = true
windows = false
macos = false
'...' = false
[[depends-on]]
gnat = ">=13"
[[actions]]
type = "post-fetch"
command = ["sh", "configure"]
[[actions]]
type = "post-fetch"
command = ["make", "static"]
[configuration]
disabled = true
[origin]
commit = "e532f03dbf30904f7a733b460a7300fc0e9d644c"
url = "git+https://github.com/stcarrez/ada-bfd.git"
-50
View File
@@ -1,50 +0,0 @@
name = "bigints"
description = "Experimental SPARK Constant Time Big Integer library"
version = "0.2.0"
authors = ["César SAGAERT"]
maintainers = ["César SAGAERT <sagaert@adacore.com>"]
maintainers-logins = ["AldanTanneo"]
licenses = "MIT"
website = "https://github.com/AldanTanneo/bigints"
tags = ["bigint", "cryptography", "constant-time", "spark", "ada2022"]
long-description = """# SPARK Constant Time Big Integer library
Implementation of a constant time big integer library, inspired by [crypto-bigint](https://github.com/RustCrypto/crypto-bigint).
All functions are implemented in constant time, except those with an explicit `_Vartime` suffix. Overloaded operators are also constant time.
> \u26A0\uFE0F The constant time choice primitives like `Ct_Eq`, `Ct_Gt`, `Cond_Select` and `CSwap` rely on best-effort optimisation barriers.
## Usage
The implementations are generic over the size of the integer:
```ada
package U256 is new Bigints.Uint (256);
package U1024 is new Bigints.Uint (1024);
```
There is also a generic package to deal with modular integers (over a prime field):
```ada
P : U256.Uint := ... -- a big prime, like 2**255 - 19
package GF_P is new Bigints.Modular (U256, P);
```
It is up to the user of the library to ensure the chosen modulus is effectively prime. Otherwise, operations like field inversion become invalid (as it relies on Fermat's little theorem).
## Formal proof
The preinstantations in the library (packages `U256s` and `F25519`), as well as the constant time primitives and basic limb primitives, are formally checked using GNATprove.
"""
[build-switches]
"*".ada_version = "Ada2022"
development.optimization = ["-O3"]
release.runtime_checks = "none"
[origin]
commit = "414589c10e5dec87aebf9cfe8fda675a047d45b1"
url = "git+https://github.com/AldanTanneo/bigints.git"
@@ -1,69 +0,0 @@
name = "blinkenlights"
description = "Project to blink LEDs in interesting patterns"
version = "0.3.0"
long-description = """
This is a complex project involving 3D printing and soldering as well as
software. Alr will take care of the software dependencies for you, but
you will have to read the README and documentation to find the other parts.
This project is intended to replicate the look and feel of older computers
with the switches and lights. It uses the simulators from bbs_simcpu to
drive the LEDs and act on the switches. Using the Intel 8080 simulator,
I was actually able to toggle a bootstrap program in using the panel and
get it to boot CP/M. A boot loader (boot.ihx) is included. CP/M is not
included. There are places on the web where you can find a disassembled
CP/M 2.2. Then combine it with the BIOS from bbs_simcpu and add it to a
disk image using the loadcpm tool. If you use the Motorola 68000 simulator,
it will load and run a simple multitasking OS. The example simulator can
be used to flash the lights in a variaty of ways.
There is a lamp test program in the lamp-test directory that may be useful
for debugging the hardware.
Note that since each cycle of the simulator involves multiple I2C bus
transactions to read switches and set LEDs, any CPU simulation will run
rather slowly. The intention of this project is more for display than
simulator usage.
There is also a web server that can be used to select the CPU variant.
This is most useful with the example simulator to select the light pattern.
This project runs on a Raspberry Pi 2 (or later). It will build on most
Unix or Unix-like systems, but unless the hardware interface matches the
Raspberry Pi, it won't run. You are welcome to try porting it to other
systems, if you like.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Pi-Mainframe"
tags = ["embedded", "simulation", "i8080", "m68000", "hardware"]
executables = ["blinkenlights"]
[available."case(os)"]
"windows" = false
"..." = true
[[depends-on]]
bbs = "~0.1.0"
[[depends-on]]
bbs_embed_common = "~0.2.0"
[[depends-on]]
bbs_embed_linux = "~0.2.0"
[[depends-on]]
bbs_webif = "~0.1.0"
[[depends-on]]
bbs_simcpu = "~0.4.0"
[origin]
commit = "5c98f5a45c22f556ca24a6dcffae8b0b5bc69c22"
url = "git+https://github.com/BrentSeidel/Pi-Mainframe.git"
-19
View File
@@ -1,19 +0,0 @@
name = "braillart"
description = "Use Braille patterns as a dot-matrix printer"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
licenses = "LGPL-3.0-or-later"
website = "https://github.com/mosteo/braillart"
tags = ["braille", "art", "ascii", "unicode"]
# To be pre-3.0 compatible
# [test]
# runner = "alire"
[origin]
commit = "8b93b1d8652062429b173cb1a6509112d1d41f5b"
url = "git+https://github.com/mosteo/braillart.git"
-18
View File
@@ -1,18 +0,0 @@
name = "c_strings"
description = "Manage Ada <-> C string conversions conveniently"
version = "1.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = ""
tags = ["string", "conversion", "c"]
[configuration]
disabled = true
[origin]
commit = "13e65b8815cb9b1737af53ba3e27222072b6c767"
url = "git+https://github.com/mosteo/cstrings.git"

Some files were not shown because too many files have changed in this diff Show More