Compare commits
468 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 082c6389f8 | |||
| 44804126d1 | |||
| c5f00e30f0 | |||
| 87774f91b5 | |||
| 00dee37783 | |||
| 503f31c781 | |||
| 7657470512 | |||
| 56ef597bf3 | |||
| 01ec5f4179 | |||
| 9c9348816c | |||
| 4e91b54059 | |||
| 4d5f8f874a | |||
| cbf2f2bcd8 | |||
| 4206a1952e | |||
| 758416bbaa | |||
| 02c29bc8c2 | |||
| 9b4518a887 | |||
| 9bcd58a47f | |||
| 7b00e4aec5 | |||
| 654a46010d | |||
| 2ab5e4b1ee | |||
| 75495c5ab9 | |||
| 0a0d12e3df | |||
| 56db249554 | |||
| 5c5dc09421 | |||
| 2fab99f8bc | |||
| ee0a84c953 | |||
| 24b4b9e634 | |||
| 44490572d8 | |||
| 6b51ea3230 | |||
| 8081044fa8 | |||
| a3da892532 | |||
| e61b85281c | |||
| a5980b01bf | |||
| 80675a19fc | |||
| 643edfa8cc | |||
| dfa368841b | |||
| 643e322450 | |||
| daf45e0366 | |||
| d15311eea6 | |||
| 725b057bdf | |||
| b448e40119 | |||
| 933d025346 | |||
| c58770b061 | |||
| 005469c580 | |||
| 70ada14c0a | |||
| 36b33a3fff | |||
| 321fda5e78 | |||
| e81f5c55da | |||
| 85a3691b34 | |||
| 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 |
@@ -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
|
||||
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
ALR_VERSION: 2.1.1
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -31,8 +31,10 @@ 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:
|
||||
@@ -54,20 +56,20 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
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
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||
branch: master
|
||||
|
||||
- name: Test crate (${{matrix.tag}})
|
||||
uses: mosteo-actions/docker-run@v1
|
||||
uses: mosteo-actions/docker-run@v2
|
||||
with:
|
||||
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
|
||||
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
|
||||
@@ -30,9 +30,10 @@ 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:
|
||||
@@ -53,7 +54,7 @@ jobs:
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
|
||||
@@ -6,7 +6,7 @@ name: Build Crate (Alire toolchain)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
ALR_VERSION: 2.1.1
|
||||
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
|
||||
|
||||
on:
|
||||
@@ -27,9 +27,10 @@ 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:
|
||||
@@ -52,14 +53,14 @@ jobs:
|
||||
# By default, this also sets up the newest indexed native toolchain
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
# By default, this also sets up the newest indexed native toolchain
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
|
||||
@@ -9,7 +9,7 @@ name: Build Crate (MacPorts)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
ALR_VERSION: 2.1.1
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -29,8 +29,8 @@ 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
|
||||
@@ -50,7 +50,7 @@ jobs:
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up stable `alr`
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
|
||||
@@ -0,0 +1,15 @@
|
||||
name: Check Author
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
check:
|
||||
uses: ./.github/workflows/check-with-script.yml
|
||||
with:
|
||||
name: Author
|
||||
script: check-author.sh
|
||||
script_arg: ${{github.event.pull_request.user.login}}
|
||||
setup_alr: true
|
||||
@@ -0,0 +1,14 @@
|
||||
name: Check Crate Name
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
check:
|
||||
uses: ./.github/workflows/check-with-script.yml
|
||||
with:
|
||||
name: Crate Name
|
||||
script: check-crate-name.sh
|
||||
script_arg: ${{github.event.pull_request.title}}
|
||||
@@ -1,7 +1,7 @@
|
||||
name: Check Index
|
||||
|
||||
env:
|
||||
ALR_VERSION: 2.0.2
|
||||
ALR_VERSION: 2.1.1
|
||||
|
||||
on: pull_request
|
||||
|
||||
@@ -13,13 +13,13 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v4
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
branch: master
|
||||
|
||||
|
||||
@@ -0,0 +1,16 @@
|
||||
name: Check Schema
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
check:
|
||||
uses: ./.github/workflows/check-with-script.yml
|
||||
with:
|
||||
name: Schema
|
||||
script: check-schema.sh
|
||||
script_arg: alire/schemas/manifest-schema.yaml
|
||||
setup_python: true
|
||||
fetch_schema: true
|
||||
@@ -0,0 +1,85 @@
|
||||
name: Check With Script
|
||||
|
||||
on:
|
||||
workflow_call:
|
||||
inputs:
|
||||
name:
|
||||
description: Display name for the check job
|
||||
required: true
|
||||
type: string
|
||||
script:
|
||||
description: Script filename under alire-index-checks/scripts/
|
||||
required: true
|
||||
type: string
|
||||
script_arg:
|
||||
description: Single argument passed to the script
|
||||
required: true
|
||||
type: string
|
||||
setup_alr:
|
||||
description: Whether to install alr before running the script
|
||||
required: false
|
||||
type: boolean
|
||||
default: false
|
||||
setup_python:
|
||||
description: Whether to set up Python and install requirements.txt
|
||||
required: false
|
||||
type: boolean
|
||||
default: false
|
||||
fetch_schema:
|
||||
description: Whether to clone the Alire repo (manifest JSON Schema)
|
||||
required: false
|
||||
type: boolean
|
||||
default: false
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.1.1
|
||||
SCHEMA_REPO: https://github.com/alire-project/alire
|
||||
|
||||
jobs:
|
||||
check:
|
||||
name: ${{inputs.name}}
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore,
|
||||
# we need the full history or else grafted partial branches confuse
|
||||
# the changed files detectors.
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: inputs.setup_alr
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
- name: Set up Python
|
||||
if: inputs.setup_python
|
||||
uses: actions/setup-python@v5
|
||||
with:
|
||||
python-version: '3.12'
|
||||
|
||||
- name: Install Python dependencies
|
||||
if: inputs.setup_python
|
||||
run: pip install -r ${{env.CHECKS_REPO}}/requirements.txt
|
||||
shell: bash
|
||||
|
||||
- name: Fetch manifest schema
|
||||
if: inputs.fetch_schema
|
||||
run: git clone --depth 1 "$SCHEMA_REPO" alire
|
||||
shell: bash
|
||||
|
||||
- name: Run check
|
||||
run: >
|
||||
${{env.CHECKS_REPO}}/scripts/${{inputs.script}}
|
||||
"${{inputs.script_arg}}"
|
||||
shell: bash
|
||||
@@ -8,7 +8,7 @@ name: Diff release
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.2
|
||||
ALR_VERSION: 2.1.1
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -39,14 +39,14 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@latest
|
||||
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
|
||||
uses: alire-project/setup-alire@latest
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
branch: master
|
||||
|
||||
@@ -6,12 +6,15 @@ Because Alire comes late in the history of the Ada and SPARK languages we will n
|
||||
- Respect the ownership of projects: Owner and maintainers of a project deserve to be credited for their work.
|
||||
- Avoid user confusion on the name of crates: Crate names should be clear with regards to the project they contain. For instance, do not try to impersonate existing crates or projects.
|
||||
|
||||
To that extent we will potentially reject a create or transfer the ownership of a crate.
|
||||
To that extent we will potentially reject a crate or transfer the ownership of a crate.
|
||||
|
||||
We count on the goodwill of the contributors to help us conduct this moderation in a kind and courteous way. Do not submit a crate to the Alire index if you are not willing to comply with this policy.
|
||||
|
||||
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
|
||||
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
|
||||
|
||||
# Release immutability
|
||||
|
||||
A release (identified by a unique semantic version) is protected against changes by its integrity hashes. If errors are identified post-publication, a release could be withdrawn, or superseded by a new one (using the appropriate major/minor/patch/build version changes), but not modified.
|
||||
A release (identified by a unique semantic version) is protected against
|
||||
changes by its integrity hashes. If errors are identified post-publication, a
|
||||
release could be marked unavailable, or superseded by a new one (using the
|
||||
appropriate major/minor/patch/build version changes), but not modified.
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
This document describes the manual process to review a PR for a release
|
||||
submission to the Alire's community index.
|
||||
|
||||
## Purpose of the review process
|
||||
|
||||
- Ensure submitted releases build and resolve on at least some platforms.
|
||||
- Keep crate names clear and unambiguous (see [POLICY.md](POLICY.md)).
|
||||
- Protect users from broken, misleading, or malicious manifests.
|
||||
- Help submitters land good releases, not gatekeep them.
|
||||
|
||||
## Checks for all releases
|
||||
|
||||
- [ ] Wait for CI checks to pass. Do not merge with failing tests unless a
|
||||
justified reason is given in the PR comments.
|
||||
- [ ] Help the submitter when an error is well known or the cause is readily
|
||||
apparent.
|
||||
- [ ] Missing dependencies are not a failure by themselves: verify that at
|
||||
least some platforms resolve and build.
|
||||
- [ ] Build failures caused by dependencies out of the control of the
|
||||
submitter are not a reason to block the PR.
|
||||
- [ ] Inspect the submitted manifest for anything untoward.
|
||||
- [ ] For repeat releases, check the Diff workflow output to quickly spot the
|
||||
important changes against the previous release.
|
||||
- [ ] Tags are meaningful and descriptive.
|
||||
- [ ] `gpr-set-externals` settings are appropriate (see Common pitfalls below).
|
||||
- [ ] System library dependencies are declared and not left implicit. If a
|
||||
needed external crate does not exist yet, request its external to be
|
||||
added in the same PR. Examples:
|
||||
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/li/libcurl/libcurl-external.toml
|
||||
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/ma/make/make-external.toml
|
||||
|
||||
## Checks for new crates (first release)
|
||||
|
||||
- [ ] The crate name does not collide with a popular existing Ada/SPARK
|
||||
project not yet indexed (see [POLICY.md](POLICY.md)). Do not let a
|
||||
submission impersonate or shadow an established project.
|
||||
- [ ] Inspect the upstream repository: confirm it is a real project with real
|
||||
code, not a placeholder or squatting attempt, or otherwise deceitful.
|
||||
|
||||
## Common pitfalls
|
||||
|
||||
- **Test-only dependencies in the root crate.** Crates depending on e.g.
|
||||
`gnattest` or `gnatprove` must not have them in the root crate; those are
|
||||
only for testing the crate itself. Request moving them to a nested crate
|
||||
and point the submitter to the catalog spec section on testing with pins:
|
||||
https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md#using-pins-for-crate-testing
|
||||
- **Use of `gpr-set-externals`.** Setting a GPR external value is:
|
||||
- OK to configure the build for the current environment (OS, architecture).
|
||||
- OK for crates that produce a binary and are not intended as dependencies.
|
||||
- NOT OK to fix the build mode (devel/release) on a library crate; clients
|
||||
must be able to set it themselves.
|
||||
|
||||
## Approving
|
||||
|
||||
- [ ] Once everything checks out, tag the @alire-project/crate-reviewers team
|
||||
in a comment stating that the PR is OK to merge.
|
||||
@@ -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,61 @@
|
||||
name = "adacl"
|
||||
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
|
||||
long-description = """A versatile Ada 2022 class library for robust application development.
|
||||
|
||||
Features:
|
||||
- Getopt: Command-line argument parser with wide character support
|
||||
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
|
||||
- Calendar: Time and date utilities with wide character support
|
||||
- Tracing: Diagnostic trace utility with wide character support
|
||||
- Protected Queue: Supports finish, wait, and abort operations
|
||||
- Smart Pointers:
|
||||
- Reference-counted pointers
|
||||
- Unique pointers (C++-style)
|
||||
- Shared pointers (C++-style)
|
||||
|
||||
Related crates:
|
||||
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
|
||||
- EAStrings: Encoding-aware string utilities
|
||||
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
|
||||
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
|
||||
|
||||
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
|
||||
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
|
||||
"""
|
||||
version = "7.1.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:f164e66e7ab67aba80a4947feccd1012b1ab7d5a94584fd73884851e5daaca41",
|
||||
"sha512:5ba56c74a14149e264b8dcc0c0b85a36d08adc929a464e2ca792bce5b675c562acbe18c01b7a9e515a05c0f4a821d71197117e49471351bef1b1da7f6dc9c008",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.2.tgz"
|
||||
@@ -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,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.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl_aunit/"
|
||||
tags = ["library", "aunit", "assert", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
adacl = "^7.1"
|
||||
aunit = "^26.0.0"
|
||||
|
||||
# [[pins]]
|
||||
# adacl = { path = "../adacl" }
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:26ea0bad6222af3bed97456328d75ae292e37de7939e2f948b58ce1f613f10e7",
|
||||
"sha512:0fa1159df8cbadba08eab8c474ac8d252d2f6513530d2030d321abda32fe71ee3fbd6fe28ed369e7c4e1070862e1133c8380191259e8af12d0274f7b04ca643f",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.2.tgz"
|
||||
|
||||
@@ -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,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.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik", "rombobeorn"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "strings", "i18n", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
adacl = "^7.1"
|
||||
|
||||
# [[pins]]
|
||||
# adacl = { path = "../adacl" }
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:6bb988d2cb432befb802f7f026b0381f5621b73339b270351f9cba169d1c9493",
|
||||
"sha512:92a0af84f6133f80f1da80905bf6e73f4e91a2c9c8c6f4418d12a75f93a62be1b1d0946011bd0e425356314dfbc41a16bb7bb128abcc94b149ca122f39ce881e",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.2.tgz"
|
||||
|
||||
@@ -0,0 +1,77 @@
|
||||
name = "adacl_embedded"
|
||||
description = "Ada Embedded Library"
|
||||
long-description = """
|
||||
|
||||
## AdaCL Embedded - Lightweight Embedded Ada Library
|
||||
|
||||
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
|
||||
|
||||
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
|
||||
strings, and wide strings are avoided or kept to an absolute minimum.
|
||||
|
||||
### Current Features
|
||||
|
||||
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
|
||||
|
||||
### Configuration Options
|
||||
|
||||
* `Variant`
|
||||
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
|
||||
* `tasking` - for runtimes with tasking support.
|
||||
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
|
||||
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
|
||||
|
||||
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
|
||||
etc.pp).
|
||||
|
||||
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
|
||||
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
|
||||
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
|
||||
completely.
|
||||
|
||||
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
|
||||
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
|
||||
"""
|
||||
version = "7.1.1"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[configuration.variables]
|
||||
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
|
||||
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
|
||||
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
|
||||
|
||||
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:4feddadbc5e900b65ccfa3bed4a4becb9afb9cc89ac3d865e0ea0ecf9477eee6",
|
||||
"sha512:e611feee8b969e7bf3ca61033a70660ae389f06264ed94027d5d12a55ded8f2e9f44088155740182e627431f12b66753745faba18016f431490ce64f6868e43b",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.1.tgz"
|
||||
|
||||
@@ -0,0 +1,76 @@
|
||||
name = "adacl_embedded"
|
||||
description = "Ada Embedded Library"
|
||||
long-description = """## AdaCL Embedded - Lightweight Embedded Ada Library
|
||||
|
||||
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
|
||||
|
||||
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
|
||||
strings, and wide strings are avoided or kept to an absolute minimum.
|
||||
|
||||
### Current Features
|
||||
|
||||
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
|
||||
* **AdaCL.Embedded.Text_IO** - Extended Ada.Text_IO.
|
||||
|
||||
### Configuration Options
|
||||
|
||||
* `Variant`
|
||||
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
|
||||
* `tasking` - for runtimes with tasking support.
|
||||
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
|
||||
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
|
||||
|
||||
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
|
||||
etc.pp).
|
||||
|
||||
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
|
||||
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
|
||||
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
|
||||
completely.
|
||||
|
||||
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
|
||||
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
|
||||
"""
|
||||
version = "7.1.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[configuration.variables]
|
||||
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
|
||||
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
|
||||
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
|
||||
|
||||
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:fe91db4f952655498fd733d3f4132d55f33e5286a296c1e9b9a62d03afa98d6c",
|
||||
"sha512:a0fc7fe07d29e8e26d2a16f8664297d1359be2ea4a0ba6d9dd9944162dea1f6b220263133707a52e305a0c7026f4824ac5c6167a96e70946249f7412fdc16279",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.2.tgz"
|
||||
|
||||
@@ -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,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.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
adacl = "^7.1"
|
||||
|
||||
# [[pins]]
|
||||
# adacl = { path = "../adacl" }
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:33dc6d3df5198bfbeae063f6c1d239feb71a512485b29afe716475c3984b8bd9",
|
||||
"sha512:52ce5fa534742a653a96ca0077555b6d64d9301affeee39d4d0637cf8fcfcb401714dbd9478a837a698d63f50a1a96315ad0a5b640e0a988140d9556f07618a0",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.2.tgz"
|
||||
|
||||
@@ -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,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.2"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "strings", "search", "replace", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
"*".ada_version = "Ada2022"
|
||||
"*".source_encoding = "UTF_8"
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.debug_info = "Yes"
|
||||
development.optimization = "Debug"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.debug_info = "No"
|
||||
release.optimization = "Performance"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.debug_info = "Yes"
|
||||
validation.optimization = "Debug"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
adacl = "^7.1"
|
||||
|
||||
# [[pins]]
|
||||
# adacl = { path = "../adacl" }
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:dff0c40c7c1685dc75bd20a80f21c4d07448d29d3a00f8fc219a828a1a45b122",
|
||||
"sha512:df7f487cca52ba81f34c414be35a8c3bd7c0b007b245ecfa2c85c1108fc41c33e2e05b341334cc8bc5c779bcbbc6c47602824a9e061aad1dc5d541cefbcca7a6",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.2.tgz"
|
||||
|
||||
@@ -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"
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user