Compare commits
422 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 41424df44d | |||
| 2e187a6e2c | |||
| 23a2d783a2 | |||
| 17f2b68db5 | |||
| fd4a04f9e9 | |||
| 41908ea266 | |||
| 4137ced849 | |||
| 01c0e3c2fa | |||
| b602ef0b9c | |||
| 51656c38a2 | |||
| 9d6957c8c5 | |||
| 54bfc0961e | |||
| 95be73882b | |||
| e5dade16e1 | |||
| ccc1c917f4 | |||
| d691a27028 | |||
| 8c00c9caad | |||
| 0099dd91eb | |||
| ac5111d136 | |||
| 4ba1bd04f3 | |||
| efe50551b5 | |||
| 3f6a0856e9 | |||
| 155321e60f | |||
| b3948f0b36 | |||
| 75537c14bb | |||
| f02e58e864 | |||
| 4e2d9d262e | |||
| de5ba6186d | |||
| a6762c98e7 | |||
| d227e36248 | |||
| b7111626c5 | |||
| aeed2f34b1 | |||
| dc89797378 | |||
| 601e0e2604 | |||
| fbaee67fc7 | |||
| 981ec864e5 | |||
| 7dca3fe0ce | |||
| 4115555bab | |||
| 0c186dbbb1 | |||
| 5e368ffe1c | |||
| 9bdbbbc9ec | |||
| f1b7e7e579 | |||
| e551c9ed23 | |||
| 114f9939ae | |||
| b20c7e5b1e | |||
| 1284c5494b | |||
| 299e0216cc | |||
| 83ea866704 | |||
| 757423a167 | |||
| 4234fd149e | |||
| 5f493217ee | |||
| 044905f905 | |||
| 903b9e4280 | |||
| 484eff6048 | |||
| 883cc887ff | |||
| ca5cffb14e | |||
| bf9d563255 | |||
| 1941ece544 | |||
| 22c7f28502 | |||
| bf2c6631f3 | |||
| b4f820d2e7 | |||
| e28e8f7082 | |||
| a47d43631b | |||
| 592051a8a9 | |||
| ce048ea860 | |||
| a2426744d4 | |||
| 7294ded59c | |||
| 05c2203817 | |||
| ff5ab43798 | |||
| a71949f1e0 | |||
| 10edee2777 | |||
| 55285b380f | |||
| af4caf546f | |||
| 11f7c777c7 | |||
| 58612928d0 | |||
| 6da312685e | |||
| a0c6ed59e4 | |||
| b96ce865f5 | |||
| 427126ff72 | |||
| d1179f45dd | |||
| 4c33bd09e7 | |||
| 4452f650c5 | |||
| 5c72c3939d | |||
| a7bfb5606d | |||
| f21c4462de | |||
| b93e81490b | |||
| 865af3719b | |||
| 9844b46c16 | |||
| 80ab53733a | |||
| d8024dd5ec | |||
| 15f859efcc | |||
| 4688d7b529 | |||
| 85f9e9b747 | |||
| ae21ac0835 | |||
| bb511c068c | |||
| 0706451672 | |||
| 53af522c1c | |||
| f630886348 | |||
| c8bcc4c59c | |||
| 1695fe746e | |||
| ca5024a4c4 | |||
| 8efac084dd | |||
| a6ae4b839b | |||
| 2377a86634 | |||
| 8bd7df579c | |||
| dd891bf990 | |||
| 17acde9c4f | |||
| 7ca077c07d | |||
| 0881fcde73 | |||
| 57f5e531f6 | |||
| 383df773c9 | |||
| 7c6fe4d5d6 | |||
| 5ce254b61f | |||
| 81783f62be | |||
| 7922fdc775 | |||
| 618fd736c1 | |||
| 3d3eca02ae | |||
| 707c71e053 | |||
| 9dd280537c | |||
| ccca4d4811 | |||
| 6b9498ad15 | |||
| 9ecbbfb0f9 | |||
| 3b5d80d479 | |||
| 5b86183c9c | |||
| 1dc251f606 | |||
| 3fb01dd344 | |||
| 30f7667c93 | |||
| 4c8faa17cf | |||
| 1974c71f48 | |||
| ac62c85b86 | |||
| dc8ed3e87b | |||
| dd6da9b52f | |||
| 9f8b8a20f3 | |||
| aaa8a075a4 | |||
| 0143d7896d | |||
| fc51d4332e | |||
| 2080bd80bd | |||
| 22bad9a73d | |||
| 5bd4e0f6d1 | |||
| 596eba6779 | |||
| 5cf4b5aeca | |||
| 7fdd807649 | |||
| cfef32529c | |||
| 8dc87e8c14 | |||
| b3ef3a037f | |||
| 5ab91e7530 | |||
| 500f7c7a99 | |||
| 6146c84d72 | |||
| f823ba20bb | |||
| 4fa3e6acde | |||
| 670898f1fb | |||
| 1097de8421 | |||
| 791cade5fc | |||
| 2df10ce7a3 | |||
| e16941f0b7 | |||
| 9d8faf76e1 | |||
| 6fa5de7a24 | |||
| ce3ac33e21 | |||
| 605bfba2e3 | |||
| dd62206b06 | |||
| e7aa045a49 | |||
| 86cbd60a83 | |||
| beb1b1d0f2 | |||
| a3be2992f0 | |||
| 8e0c2e0d5d | |||
| 099b689b85 | |||
| 748c28b448 | |||
| f2efdfbbf0 | |||
| e6f920b3d4 | |||
| 1b3837365d | |||
| 74e67abf7e | |||
| bcfc08188c | |||
| 2cd9c0e7cc | |||
| 254eeb8371 | |||
| 73216b781b | |||
| 27fe4eba3d | |||
| b2f2405634 | |||
| db054156a1 | |||
| b2c3e781ac | |||
| 85cc5776e0 | |||
| e82631172b | |||
| e325bc9cbc | |||
| be1f4ef28a | |||
| 8fc191540e | |||
| bacc3b1c01 | |||
| 40b28db280 | |||
| 1ed6bd8b6d | |||
| 73780a273b | |||
| 957a722f0e | |||
| 81e3a59aed | |||
| d6e713e042 | |||
| d5f1b6821e | |||
| 60f8db7ff7 | |||
| 6a715f5469 | |||
| 6ac1d4906c | |||
| 2a901bb2aa | |||
| c685b55fee | |||
| c16ddefd48 | |||
| a026227ba1 | |||
| 01f5d82ca8 | |||
| aff4db1475 | |||
| 9a4304fe57 | |||
| e855dd0694 | |||
| 311edf0a0c | |||
| 8a3e29b946 | |||
| 0ff5c158d7 | |||
| 4585a58ae2 | |||
| f8d7893814 | |||
| a02e4d5452 | |||
| f04cafedd2 | |||
| 19b38f7442 | |||
| 12d513dec9 | |||
| 02b90b60c5 | |||
| e28f6e133d | |||
| 8eb7339f95 | |||
| 21b81153f8 | |||
| 3e737c68b6 | |||
| 9e22b90f56 | |||
| 051b355dc8 | |||
| a6eefc30aa | |||
| a30918c354 | |||
| a4cfbcf84d | |||
| 1008f663b3 | |||
| 7d615731bc | |||
| ac40224287 | |||
| 730ae081f7 | |||
| dfd1f27427 | |||
| 31897cd95e | |||
| 949fff4643 | |||
| f99459eabf | |||
| 7235a072a6 | |||
| 5414c7fe70 | |||
| ac45ff6eae | |||
| f73e0a6616 | |||
| 0def4493ec | |||
| 24078a2ee5 | |||
| 033b97fd02 | |||
| 8c8ace4636 | |||
| 08d6952703 | |||
| 20ba4ccb29 | |||
| 154e634cab | |||
| 4e05e7bb6e | |||
| 7f63e2860d | |||
| 3ef44734e7 | |||
| 960e46ecbb | |||
| da1297f0f3 | |||
| 5b539d4709 | |||
| 3dca16681a | |||
| de5e1ed31f | |||
| b9a8e6881a | |||
| 19d84e4ac2 | |||
| 46785feeaf | |||
| 6a5e476b84 | |||
| aaec2661bc | |||
| 7cbff84671 | |||
| 3740b7a9ff | |||
| 3819f0a115 | |||
| b3f809ce5a | |||
| 4f996275a3 | |||
| 09af94fe7c | |||
| 0d4a65dcbc | |||
| 592288c1dd | |||
| cf06d80462 | |||
| 557a3993d5 | |||
| d1d89e011f | |||
| a1b4a11b9e | |||
| e04a5aa5e5 | |||
| 78251f0314 | |||
| 14c4bb724c | |||
| c940fc7f4f | |||
| eb79e02d78 | |||
| 4928a06ad7 | |||
| d8e8ef4a78 | |||
| 1eec7251c4 | |||
| f5b0b013ac | |||
| 937ec6fc11 | |||
| f1fce01456 | |||
| ae4dffcc68 | |||
| 196bd1acb5 | |||
| a77a528f0e | |||
| b918472d2b | |||
| 29f279d6be | |||
| b7615e306d | |||
| 1db0da2a04 | |||
| 35f35af79c | |||
| a0714582b3 | |||
| 5ff2ffd7de | |||
| 49984d991b | |||
| 37be358fbb | |||
| 75775802f8 | |||
| 00100d8cc9 | |||
| e81de508c6 | |||
| 397cde3bb8 | |||
| c80aff8ad2 | |||
| 5349579242 | |||
| 985f6ab4e4 | |||
| 2a7ad6bb1b | |||
| 054883a6c2 | |||
| 518f6098bb | |||
| 95d036a2bc | |||
| 327f9e4b5c | |||
| 98a2afcf3c | |||
| c6d837792a | |||
| e6075834a4 | |||
| 6b84be367d | |||
| 36ab479361 | |||
| f5b1032b44 | |||
| 7eec13a20e | |||
| 287477d776 | |||
| 46a267d910 | |||
| e9a32ac0b7 | |||
| 6ef50d04e8 | |||
| e10e2a9143 | |||
| e3aa24c9ba | |||
| b2330b0763 | |||
| d94c7315a8 | |||
| bddf973569 | |||
| 4a8b1a15df | |||
| c7a5a12ef8 | |||
| 0b57114dc1 | |||
| 2062388b51 | |||
| 2b4b143114 | |||
| 3bd531756d | |||
| 48a2db4bb3 | |||
| 685a35281f | |||
| 804e09f7ed | |||
| 30f7807a13 | |||
| ab63e4666c | |||
| 13b1b77df5 | |||
| 66c9e35ca1 | |||
| 57dbf89b7b | |||
| 73f200fe78 | |||
| a3ee004f51 | |||
| 6878dd6574 | |||
| 8003443de6 | |||
| 3c5fc76bc7 | |||
| bb0d83af96 | |||
| 76a596465f | |||
| 8c9386bf72 | |||
| 291d4d188d | |||
| f2e952dd15 | |||
| d3c88b9342 | |||
| 712693425a | |||
| ec367fbc7e | |||
| b4cc7a12b4 | |||
| b5d210926f | |||
| c43ad20f92 | |||
| 04acd65f54 | |||
| 466b72416f | |||
| 6a9d17f16a | |||
| c8f57b57d7 | |||
| 854b03995f | |||
| c48440571a | |||
| 809638fab8 | |||
| 74d1123e71 | |||
| 058796a060 | |||
| 788a339fb6 | |||
| cee8642ff4 | |||
| 760589d0f5 | |||
| 4a1c733e48 | |||
| f2e64c68f6 | |||
| cc54f7d7b8 | |||
| 4a179fb192 | |||
| 01882d364f | |||
| 6cbbed3355 | |||
| 3eded0f0c9 | |||
| d7adee2e49 | |||
| af404ac311 | |||
| b139c19fec | |||
| 6f0fdb9c82 | |||
| dca3dcec8d | |||
| e4d6cb565a | |||
| 8d6f6ebf3f | |||
| 666499b1a4 | |||
| be09852362 | |||
| 4143a206c6 | |||
| ca2af566ef | |||
| ddf53ebf28 | |||
| 6e30481441 | |||
| 61e11c26d7 | |||
| 23dc88d03f | |||
| 03e874cab9 | |||
| 29acf17424 | |||
| 7bed3b4c76 | |||
| 294ffee8fe | |||
| 64f02e3f71 | |||
| c9f06b649b | |||
| a7f16ee3f2 | |||
| d1fe9756c8 | |||
| f189c45bd9 | |||
| 1e7da33757 | |||
| 0a27d940a7 | |||
| 484b9f5750 | |||
| d8ba20bb3c | |||
| 1adfe2f5a3 | |||
| a0238311d8 | |||
| 79865e170e | |||
| 88a5127f02 | |||
| 6e1a5478ab | |||
| d909e034ca | |||
| cb781bac60 | |||
| 3e6330ebea | |||
| 56c4af3696 | |||
| d7d141b9bb | |||
| d30fd0d423 | |||
| 44c5359265 | |||
| 16ca8bd140 | |||
| 18855ad0f9 | |||
| 32b8f4738d | |||
| d719460ede | |||
| 3a5e2b0ede | |||
| b68a04c708 | |||
| 6e97d9a9fd | |||
| 8acd01a323 | |||
| 4fd42debf7 | |||
| 99574543a1 | |||
| abf9379bfc | |||
| 01af5456b2 | |||
| 328033d37d | |||
| d1755d52f2 | |||
| 2caa409572 | |||
| 5e491add2b |
@@ -0,0 +1,31 @@
|
||||
name: Check out index repos
|
||||
description: >
|
||||
Check out alire-index with full history (needed by diff detectors
|
||||
and check-author; grafted partial branches cause confusion), and
|
||||
alire-index-checks checked out at the PR base branch.
|
||||
Also exports CHECKS_REPO for use in subsequent run steps.
|
||||
|
||||
inputs:
|
||||
checks_repo:
|
||||
description: Name of the checks repository.
|
||||
required: false
|
||||
default: alire-index-checks
|
||||
|
||||
runs:
|
||||
using: composite
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: alire-project/${{ inputs.checks_repo }}
|
||||
ref: ${{ github.base_ref }}
|
||||
path: ${{ inputs.checks_repo }}
|
||||
|
||||
- name: Export CHECKS_REPO
|
||||
shell: bash
|
||||
run: echo "CHECKS_REPO=${{ inputs.checks_repo }}" >> "$GITHUB_ENV"
|
||||
@@ -0,0 +1,45 @@
|
||||
name: Set up alr
|
||||
description: >
|
||||
Install alr, stable or devel, based on the PR target branch.
|
||||
The stable version is provided here as the single authoritative source.
|
||||
|
||||
inputs:
|
||||
version:
|
||||
description: Stable alr version to install; update here to bump.
|
||||
required: false
|
||||
default: '2.1.0'
|
||||
toolchain:
|
||||
description: >
|
||||
Passed verbatim to setup-alire's toolchain input
|
||||
(e.g. --disable-assistant). Omit to use the action default.
|
||||
required: false
|
||||
default: ''
|
||||
|
||||
runs:
|
||||
using: composite
|
||||
steps:
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-') && inputs.toolchain == ''
|
||||
uses: alire-project/setup-alire@v5
|
||||
with:
|
||||
version: ${{ inputs.version }}
|
||||
|
||||
- name: Set up stable `alr` (custom toolchain)
|
||||
if: contains(github.base_ref, 'stable-') && inputs.toolchain != ''
|
||||
uses: alire-project/setup-alire@v5
|
||||
with:
|
||||
version: ${{ inputs.version }}
|
||||
toolchain: ${{ inputs.toolchain }}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-') && inputs.toolchain == ''
|
||||
uses: alire-project/setup-alire@v5
|
||||
with:
|
||||
branch: master
|
||||
|
||||
- name: Set up devel `alr` (custom toolchain)
|
||||
if: contains(github.base_ref, 'devel-') && inputs.toolchain != ''
|
||||
uses: alire-project/setup-alire@v5
|
||||
with:
|
||||
branch: master
|
||||
toolchain: ${{ inputs.toolchain }}
|
||||
@@ -1,35 +0,0 @@
|
||||
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
|
||||
@@ -4,16 +4,19 @@ name: Build Crate (Distro toolchain)
|
||||
# Build the crate on the platforms with a supported package manager
|
||||
# and using the distro-supplied GNAT compiler (with Alire's FSF fallback).
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
pull-requests: write
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
@@ -31,40 +34,21 @@ 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:
|
||||
- name: Check out alire-index
|
||||
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 (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
- name: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v4
|
||||
- name: Set up `alr`
|
||||
uses: ./.github/actions/setup-alr
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
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@v4
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||
branch: master
|
||||
# External distro toolchain is used; skip Alire's own
|
||||
toolchain: --disable-assistant
|
||||
|
||||
- name: Test crate (${{matrix.tag}})
|
||||
uses: mosteo-actions/docker-run@v1
|
||||
|
||||
@@ -2,14 +2,11 @@
|
||||
|
||||
# When the same index version is used by various stable and devel `alr`
|
||||
# versions, we want to make sure all of them understand the index properly.
|
||||
# Besides, there are
|
||||
|
||||
name: Build Crate (alr dev)
|
||||
# Build the crate with a native toolchain from Alire
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
|
||||
|
||||
on:
|
||||
@@ -17,6 +14,14 @@ on:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
pull-requests: write
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
@@ -30,34 +35,22 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
- macos-15-intel # amd64
|
||||
- macos-latest # arm64
|
||||
- ubuntu-latest
|
||||
- ubuntu-24.04-arm
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
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 (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
|
||||
- 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: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
- name: Set up devel `alr`
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@v5
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: ${{env.PACMAN}} --noconfirm -S tar
|
||||
|
||||
|
||||
@@ -4,9 +4,6 @@ name: Build Crate (Alire toolchain)
|
||||
# Build the crate with a native toolchain from Alire
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
|
||||
|
||||
on:
|
||||
@@ -14,6 +11,14 @@ on:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
pull-requests: write
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
@@ -27,43 +32,21 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
- macos-15-intel # amd64
|
||||
- macos-latest # arm64
|
||||
- ubuntu-latest
|
||||
- ubuntu-24.04-arm
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
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 (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
|
||||
- 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: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
# 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@v4
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
- name: Set up `alr`
|
||||
uses: ./.github/actions/setup-alr
|
||||
|
||||
# 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@v4
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: ${{env.PACMAN}} --noconfirm -S tar
|
||||
|
||||
|
||||
@@ -6,16 +6,19 @@
|
||||
name: Build Crate (MacPorts)
|
||||
# Build the crate with a native toolchain from Alire
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
pull-requests: write
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
@@ -29,30 +32,15 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
- macos-15-intel # amd64
|
||||
- macos-latest # arm64
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
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 (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
- name: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
- 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
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
- name: Set up `alr`
|
||||
uses: ./.github/actions/setup-alr
|
||||
|
||||
- name: Disable Homebrew
|
||||
run: rm -f $(which brew)
|
||||
|
||||
@@ -0,0 +1,21 @@
|
||||
name: Check Author
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
jobs:
|
||||
check:
|
||||
uses: ./.github/workflows/check-with-script.yml
|
||||
with:
|
||||
script: check-author.sh
|
||||
script_arg: ${{github.event.pull_request.user.login}}
|
||||
setup_alr: true
|
||||
@@ -0,0 +1,20 @@
|
||||
name: Check Crate Name
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
jobs:
|
||||
check:
|
||||
uses: ./.github/workflows/check-with-script.yml
|
||||
with:
|
||||
script: check-crate-name.sh
|
||||
script_arg: ${{github.event.pull_request.title}}
|
||||
@@ -1,35 +1,34 @@
|
||||
name: Check Index
|
||||
|
||||
env:
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on: pull_request
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
build:
|
||||
check:
|
||||
runs-on: ubuntu-latest
|
||||
permissions:
|
||||
contents: read
|
||||
steps:
|
||||
- uses: actions/checkout@v4
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
- name: Set up `alr`
|
||||
uses: ./.github/actions/setup-alr
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
branch: master
|
||||
- name: List current index
|
||||
run: alr index --list
|
||||
|
||||
- run: alr index --list
|
||||
|
||||
- run: alr index --add=. --name=local_index
|
||||
- name: Add local index
|
||||
run: alr index --add=. --name=local_index
|
||||
|
||||
# Check index contents for unknown config variables
|
||||
- run: alr index --check
|
||||
- name: Check index
|
||||
run: alr index --check
|
||||
|
||||
- run: alr index --update-all
|
||||
- name: Update index
|
||||
run: alr index --update-all
|
||||
|
||||
- run: alr search --crates
|
||||
- name: List crates
|
||||
run: alr search --crates
|
||||
|
||||
@@ -0,0 +1,37 @@
|
||||
name: Check With Script
|
||||
|
||||
on:
|
||||
workflow_call:
|
||||
inputs:
|
||||
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
|
||||
|
||||
jobs:
|
||||
check:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
- name: Set up `alr`
|
||||
if: inputs.setup_alr
|
||||
uses: ./.github/actions/setup-alr
|
||||
|
||||
- name: Run check
|
||||
run: >
|
||||
${{env.CHECKS_REPO}}/scripts/${{inputs.script}}
|
||||
"$SCRIPT_ARG"
|
||||
shell: bash
|
||||
env:
|
||||
SCRIPT_ARG: ${{inputs.script_arg}}
|
||||
@@ -12,7 +12,7 @@ jobs:
|
||||
steps:
|
||||
- uses: actions/stale@v7
|
||||
with:
|
||||
debug-only : false # Set to true to work in dry-run mode
|
||||
debug-only: false # Set to true to work in dry-run mode
|
||||
stale-pr-message: 'This PR is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.'
|
||||
close-pr-message: 'This PR was closed because it has been stalled for 90 days with no activity.'
|
||||
days-before-stale: 60
|
||||
|
||||
@@ -5,16 +5,18 @@
|
||||
|
||||
name: Diff release
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
jobs:
|
||||
|
||||
DIFF:
|
||||
@@ -22,34 +24,13 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
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 detector
|
||||
- name: Check out repos
|
||||
uses: ./.github/actions/checkout-repos
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v4
|
||||
- name: Set up `alr`
|
||||
uses: ./.github/actions/setup-alr
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
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@v4
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
branch: master
|
||||
toolchain: --disable-assistant # No compiler needed
|
||||
|
||||
- name: <<DIFF RELEASES>>
|
||||
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
||||
|
||||
@@ -0,0 +1,36 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,33 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,35 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,42 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,33 @@
|
||||
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']
|
||||
@@ -0,0 +1,24 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,83 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,74 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,67 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,67 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,102 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,109 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,109 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,61 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,66 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,64 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,64 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,70 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,70 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,54 @@
|
||||
name = "adacl_regexp"
|
||||
description = "Ada Class Library - Regular Expressions"
|
||||
long-description = """A class library for Ada for those who like OO programming.
|
||||
|
||||
Regular expression for String, Wide_String and Wide_Wide_Strings using a
|
||||
generic implementation that could be used for any array of descreete elements.
|
||||
|
||||
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", "wide-strings", "search", "regexp", "unicode", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
gnat_native = "^14.2"
|
||||
adacl = "6.2.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:d25d08b193d4e5f93b2c67c39dd54dfaccc24eb4a0bdb92466a5e8a3d40d4721",
|
||||
"sha512:427e5ab1c579b63b822d81e55a3e25c0a3106a9406d3981e5cf19ffeb83854632e2b7b6418cdc39ad258ef0e064be2b925a348282fedb6c39c2e53129749458d",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.1.tgz"
|
||||
|
||||
@@ -0,0 +1,58 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,66 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,57 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,55 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,55 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,61 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,61 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,26 @@
|
||||
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"
|
||||
]
|
||||
@@ -0,0 +1,35 @@
|
||||
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']
|
||||
@@ -0,0 +1,38 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](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.
|
||||
|
||||

|
||||
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,41 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,41 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,27 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,95 @@
|
||||
description = "Ada Keystore Tool"
|
||||
long-description = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
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"]
|
||||
@@ -0,0 +1,13 @@
|
||||
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"
|
||||
@@ -0,0 +1,38 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
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.
|
||||
|
||||

|
||||

|
||||
|
||||
* 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"]
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,85 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,87 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
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']
|
||||
@@ -0,0 +1,60 @@
|
||||
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']
|
||||
@@ -0,0 +1,60 @@
|
||||
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']
|
||||
@@ -43,10 +43,6 @@ 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]]
|
||||
|
||||
@@ -0,0 +1,61 @@
|
||||
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 = """
|
||||
<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>
|
||||
<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>
|
||||
<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"]
|
||||
@@ -0,0 +1,15 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,24 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,62 @@
|
||||
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 = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-bfd/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-bfd/xunits)
|
||||
[](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"
|
||||
|
||||
@@ -0,0 +1,50 @@
|
||||
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"
|
||||
@@ -0,0 +1,69 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
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"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "cbor_ada"
|
||||
description = "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification"
|
||||
version = "0.1.1"
|
||||
|
||||
authors = ["Baris Erdem"]
|
||||
maintainers = ["Baris Erdem <baris@erdem.dev>"]
|
||||
maintainers-logins = ["b-erdem"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/b-erdem/cbor_ada"
|
||||
tags = ["cbor", "rfc8949", "serialization", "spark", "embedded", "iot", "verified"]
|
||||
|
||||
long-description = """
|
||||
SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are
|
||||
100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).
|
||||
No heap allocation, pragma Pure, suitable for embedded and safety-critical
|
||||
systems. Full RFC 8949 well-formedness validation including shortest-form
|
||||
checking, configurable nesting depth, string length limits, and UTF-8
|
||||
validation (enabled by default).
|
||||
"""
|
||||
|
||||
[origin]
|
||||
commit = "4e578607a67722c80c8f2e605e1aef52dbbc1fb5"
|
||||
url = "git+https://github.com/b-erdem/cbor_ada.git"
|
||||
@@ -0,0 +1,24 @@
|
||||
name = "cbor_ada"
|
||||
description = "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Baris Erdem"]
|
||||
maintainers = ["Baris Erdem <baris@erdem.dev>"]
|
||||
maintainers-logins = ["b-erdem"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/b-erdem/cbor_ada"
|
||||
tags = ["cbor", "rfc8949", "serialization", "spark", "embedded", "iot", "verified"]
|
||||
|
||||
long-description = """
|
||||
SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are
|
||||
100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).
|
||||
No heap allocation, pragma Pure, suitable for embedded and safety-critical
|
||||
systems. Uses System.Storage_Elements for constrained runtime compatibility.
|
||||
Full RFC 8949 well-formedness validation including shortest-form checking,
|
||||
configurable nesting depth, string length limits, and UTF-8 validation
|
||||
(enabled by default).
|
||||
"""
|
||||
|
||||
[origin]
|
||||
commit = "4149ef32aab364688f78fcbf85743b66b477fa3f"
|
||||
url = "git+https://github.com/b-erdem/cbor_ada.git"
|
||||
@@ -0,0 +1,43 @@
|
||||
name = "cbsg"
|
||||
description = "Corporate Bullshit Generator"
|
||||
version = "0.0.2"
|
||||
|
||||
authors = ["Gautier de Montmollin"]
|
||||
maintainers = ["gdemont@hotmail.com", "Frédéric Praca <frederic.praca@free.fr>"]
|
||||
maintainers-logins = ["zertovitch", "FredPraca"]
|
||||
|
||||
project-files = ["delirium.gpr"]
|
||||
executables = ["produce_corporate_bullshit"]
|
||||
|
||||
tags = [ "text", "console"]
|
||||
|
||||
long-description = """
|
||||
# The Corporate Bullshit Generator
|
||||
### *When Artificial Intelligence meets Business Intelligence*
|
||||
|
||||
## Description
|
||||
|
||||
The Corporate Bullshit Generator is a high-performance random text generator
|
||||
that is focused on corporate language. It is able to produce, per second,
|
||||
1000 full A4 pages of inspired and inspirational sentences like "Our turn-key branding strategy
|
||||
drives corporate, scalable, wide-ranging and profit-oriented idiosyncratic incentives."
|
||||
|
||||
## Features
|
||||
|
||||
* 1700+ smart-sounding nouns, adjectives, adverbs, constructs
|
||||
* context-sensitive
|
||||
* includes a random boss title generator (e.g.: General President of Facilities
|
||||
Management, Executive Co-Head of Business Planning)
|
||||
* the Delirium random English grammar framework can be used for various text generators
|
||||
|
||||
### License
|
||||
|
||||
The Corporate Bullshit Generator is free, open-source and released under the MIT license.
|
||||
"""
|
||||
|
||||
licenses = "MIT"
|
||||
website = "https://github.com/zertovitch/cbsg"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/cbsg/files/cbsg_270.zip"
|
||||
hashes = ["sha512:1fbdce5a02ac531f039586dc1b56aeae8b2e26bc2a096772faf1c8720ac8935f838385bdec1620f7333075d8475f7b5a49fd4b470ae6555387c6d5d091ae3b6a"]
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "ccsds_ada"
|
||||
description = "CCSDS protocol suite with SPARK formal verification"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Baris Erdem"]
|
||||
maintainers = ["Baris Erdem <baris@erdem.dev>"]
|
||||
maintainers-logins = ["b-erdem"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/b-erdem/ccsds_ada"
|
||||
tags = ["ccsds", "space", "telemetry", "telecommand", "spark", "embedded", "satellite", "verified", "cfdp", "aos"]
|
||||
|
||||
long-description = """
|
||||
SPARK-proved CCSDS protocol suite for Ada 2022. Implements Space Packet
|
||||
Protocol (133.0-B-1), Time Code Formats (301.0-B-4 CUC/CDS), AOS Transfer
|
||||
Frame (732.0-B-4) with FECF, Encapsulation Packet (133.1-B-3), CFDP PDU
|
||||
(727.0-B-5) with optional CRC, SLE identifiers (132.0-B-3), and the
|
||||
CRC-16-CCITT-FALSE primitive used by AOS and CFDP. 100% formally verified
|
||||
at SPARK Level 2 (440 proof obligations, 0 unproved). No heap allocation,
|
||||
pragma Pure, suitable for embedded flight software and safety-critical
|
||||
ground systems.
|
||||
"""
|
||||
|
||||
[origin]
|
||||
commit = "7632ca9aa6f83c695b5b0fa2d420bf13a2ba8297"
|
||||
url = "git+https://github.com/b-erdem/ccsds_ada.git"
|
||||
@@ -0,0 +1,16 @@
|
||||
name = "chests"
|
||||
description = "Chests are bounded containers"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/JeremyGrosser/chests"
|
||||
tags = ["containers", "bounded", "nostd", "embedded"]
|
||||
|
||||
[origin]
|
||||
commit = "742eabfff2d3bff353a0dac6f32d3d2cbe9c835e"
|
||||
url = "git+https://github.com/JeremyGrosser/chests.git"
|
||||
|
||||
@@ -0,0 +1,24 @@
|
||||
name = "coap_client"
|
||||
description = "Client program for the CoAP-SPARK library."
|
||||
version = "0.10.0"
|
||||
|
||||
authors = ["Manuel Gomez"]
|
||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
||||
maintainers-logins = ["mgrojo"]
|
||||
licenses = "Apache-2.0 OR GPL-2.0-or-later"
|
||||
website = "https://github.com/mgrojo/coap_spark"
|
||||
tags = ["coap", "spark", "client", "iot", "protocol"]
|
||||
|
||||
executables = ["coap_client"]
|
||||
|
||||
[[depends-on]]
|
||||
coap_spark = "~0.10.0"
|
||||
|
||||
[build-switches]
|
||||
"*".Style_Checks = ["-gnatyC"]
|
||||
"*".Ada_Version = "Ada2022"
|
||||
|
||||
[origin]
|
||||
url = "git+https://github.com/mgrojo/coap_spark.git"
|
||||
commit = "31eb05decafd9dc328b8242f8e4bd9364a20fe39"
|
||||
subdir = "client"
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user