Compare commits
336 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 2b2839f708 | |||
| 69010859dc | |||
| f814b958e2 | |||
| bb7585ddda | |||
| 4f64614eb3 | |||
| ac20b62f9e | |||
| f36bc5af75 | |||
| a8128d283f | |||
| 9f01db7254 | |||
| a64430a5f3 | |||
| 8388ad821a | |||
| f5be0a955e | |||
| 269d430e56 | |||
| 2a4ffcf908 | |||
| dd9aa3920e | |||
| 9854d04ace | |||
| 4382e3975d | |||
| e8b35582b6 | |||
| c93dba0fb8 | |||
| 61a2950658 | |||
| feeae757a0 | |||
| d147a28d4a | |||
| a5eb413268 | |||
| 4598462d84 | |||
| 940f4ecc39 | |||
| 6b5097c786 | |||
| 3885428382 | |||
| ecb271dc26 | |||
| f2f5f0e4b6 | |||
| e72b9e827c | |||
| 9c193c68f3 | |||
| 21c5b0b6b6 | |||
| a86b4c5737 | |||
| 281a381cb2 | |||
| da03fdae82 | |||
| 0622fb73b1 | |||
| 0c75bc684e | |||
| da61176622 | |||
| 0a4c29efbf | |||
| 3ce75f7fb9 | |||
| b5dee00972 | |||
| e0ceb7ff8f | |||
| 07b796a45d | |||
| b68e2575fd | |||
| cd88251591 | |||
| 599971b365 | |||
| 72662c6c92 | |||
| 5e0f3a1347 | |||
| 381cfc73d5 | |||
| 610a0bfdce | |||
| 60f6535644 | |||
| 75633ec8d0 | |||
| b56a896cbb | |||
| 4f8c0eef0c | |||
| 63c20398f9 | |||
| 8543d4b80f | |||
| a4c4737be9 | |||
| 962cc3ffe2 | |||
| 353ed76208 | |||
| 9af8246a51 | |||
| 246f9cc579 | |||
| 5240b44af4 | |||
| 48aeddfa1d | |||
| c494f02410 | |||
| 500f7aeb2d | |||
| 4083dd3946 | |||
| a1698a6058 | |||
| 2a6da9fcd6 | |||
| 22532ec1dc | |||
| 158277ffc4 | |||
| 3121f5f0a5 | |||
| ef3b5d7144 | |||
| 9b90db886c | |||
| 0f725534cb | |||
| b844c7eb5b | |||
| 9ddfcb0eb5 | |||
| 4666d43eec | |||
| 9e4fae2257 | |||
| 93fcace7a1 | |||
| 3c6250ba70 | |||
| 247b15d5a7 | |||
| 4bf6f42f5e | |||
| e62acbc232 | |||
| 636cf630ed | |||
| da5ce66c66 | |||
| 1eaa3ccd37 | |||
| 7f804a7ced | |||
| 3a18f35176 | |||
| 20c932a9ff | |||
| ed51ecfc91 | |||
| 819094aff1 | |||
| 2dbe82aef1 | |||
| c82742f0b4 | |||
| e089ba2d9f | |||
| d5d625360d | |||
| b1749589aa | |||
| ea55670354 | |||
| 95cae17374 | |||
| 00fe8d8374 | |||
| fd38638ab1 | |||
| 0a33634bab | |||
| c1a87fdfdb | |||
| 91887edaaa | |||
| 663e841019 | |||
| beb2fee55d | |||
| 12dc697bd7 | |||
| caf07b30da | |||
| 72c1479f77 | |||
| 4c2f0f45e6 | |||
| b8099b563b | |||
| 6c082e190b | |||
| fbe1937c94 | |||
| b057e96306 | |||
| d0291b7b08 | |||
| f1f58076a2 | |||
| 4480059748 | |||
| e7bf3c39d2 | |||
| 0aeabc43c4 | |||
| 22ef15dc39 | |||
| 8f5c665ba8 | |||
| e798fd364c | |||
| 258e1ef7ea | |||
| a1b4222834 | |||
| 97276933e3 | |||
| b6b799e53f | |||
| ff7139ffa8 | |||
| 7152589f1d | |||
| ba24c9317e | |||
| fa6a47f4a6 | |||
| 431db06cda | |||
| a2c07d3e50 | |||
| d5740d72a4 | |||
| 36731eefdf | |||
| 759744836b | |||
| 4fd83c2410 | |||
| 1658ca57b6 | |||
| c9c3a64972 | |||
| 95d64e7571 | |||
| e1547e2dca | |||
| 31f5f22820 | |||
| e9c2c9645b | |||
| 34db57237f | |||
| 28e6205602 | |||
| 17240b21d9 | |||
| c3c757a9e6 | |||
| 7f599cf29f | |||
| dbef9649bd | |||
| 6f1f4f113c | |||
| 48f9df3812 | |||
| 432d66ac9e | |||
| 79c99991b8 | |||
| 0823c50440 | |||
| 4ab4f4f95f | |||
| 3e420f4661 | |||
| 7b8cf03a31 | |||
| 9f9cedda5b | |||
| ccfa443ac2 | |||
| 23706caac0 | |||
| 569b47daf8 | |||
| b2d9757b4d | |||
| d75d864189 | |||
| 9faa27dc88 | |||
| 50ea41709f | |||
| 5bb73f167f | |||
| 8a2260b0b5 | |||
| 4cde8d3827 | |||
| b63cec013a | |||
| 91b7eb3f0f | |||
| 8598b12239 | |||
| b34999dfd3 | |||
| 3877e20574 | |||
| 6d12c0e249 | |||
| dd00c5c350 | |||
| 337aef75e0 | |||
| f93397e02d | |||
| c9516f2bf6 | |||
| 40e7b68bf8 | |||
| 14c82f52e7 | |||
| a4fefa721f | |||
| f683b9960a | |||
| 52b3f1f7ec | |||
| d48fd0bada | |||
| 3e415ae755 | |||
| 8edd297301 | |||
| 99ea02eaf1 | |||
| 66cf4f77ef | |||
| f97d16484f | |||
| 3bf967ce20 | |||
| 2d3c9c4535 | |||
| a65d9247ab | |||
| 7770d51081 | |||
| 1184c6a509 | |||
| 82980b2f70 | |||
| 50e68d24c8 | |||
| 14280259c4 | |||
| eeb8fa95cf | |||
| 2d813ef507 | |||
| 094bc572e3 | |||
| 37c161e3d6 | |||
| bfc7300190 | |||
| eaa810c86d | |||
| a802799027 | |||
| 8f76ecb714 | |||
| b905298e3f | |||
| 6795b93ce3 | |||
| 7ea3418af6 | |||
| 8fa2461d60 | |||
| ac5833212f | |||
| 09ca77095d | |||
| 0f5b1dc197 | |||
| fb7f72b539 | |||
| fab3867e37 | |||
| 0d250b73f2 | |||
| beb0e4c002 | |||
| 8b23428584 | |||
| d493e5cddd | |||
| 536c5e469e | |||
| 7e01f696fe | |||
| faedd5aebd | |||
| 4ed4b7caf8 | |||
| afa6d2a4a2 | |||
| b2fdbad4f6 | |||
| 285cf8b76c | |||
| c365cc71ab | |||
| 4a51b92a60 | |||
| 10faa8e6c7 | |||
| 804902151d | |||
| 94fceca9ae | |||
| 22ffe9848d | |||
| ae05369437 | |||
| 137bec496c | |||
| 9f42fb3bf2 | |||
| 06e9413a67 | |||
| 1ce56fa081 | |||
| 6b330d1da8 | |||
| b732ea1de7 | |||
| 449d098945 | |||
| 4ebf22e5de | |||
| e93847f894 | |||
| 167a1695c5 | |||
| d24c436e2a | |||
| 1e864e2f8e | |||
| 283ab30514 | |||
| 3d5bec347e | |||
| 648a68f475 | |||
| 460dbc02a0 | |||
| 12cf519e60 | |||
| 819f525655 | |||
| 73af745604 | |||
| b3e5d99b9e | |||
| 7aba0a2e1d | |||
| 5e2605c849 | |||
| a44ad09e82 | |||
| b981536288 | |||
| fdca9ff9b0 | |||
| 49bd412d4c | |||
| 9e9456d0c2 | |||
| 1e92fe5427 | |||
| ec3e2dc600 | |||
| d1f00c4858 | |||
| 5ba57e26c4 | |||
| d14e4dfae1 | |||
| b4ad4912a8 | |||
| a10438527c | |||
| 1f8dcc0f5d | |||
| 87800faf39 | |||
| e62029087c | |||
| 1d5fdbc80d | |||
| 889bfd2980 | |||
| cb52b8e5de | |||
| c5dc8f8dbb | |||
| 4e59137891 | |||
| 447bc45b2c | |||
| f164916864 | |||
| bab0eb9396 | |||
| 1bce6a6869 | |||
| adbe36e11f | |||
| df35174042 | |||
| 3f4cdbb1b0 | |||
| c92240a75b | |||
| d3d4574dfc | |||
| b4af61c08f | |||
| 24adb21fb1 | |||
| 6faf741025 | |||
| 078c6465d0 | |||
| 32d9394055 | |||
| dea04f4628 | |||
| 5df50fe82f | |||
| 94620664c3 | |||
| 0806dda750 | |||
| c4bfab465d | |||
| 23c5a5d45d | |||
| e5ad4c06d0 | |||
| f8893d9989 | |||
| a1c0ae141a | |||
| 8b5022a01d | |||
| 0989323482 | |||
| 737b6ebb0d | |||
| 6e908e6179 | |||
| b1609e1c71 | |||
| ed1056a235 | |||
| c3715cb533 | |||
| 22bb3119fd | |||
| b74a1ca8fb | |||
| a56b3a9644 | |||
| 419866d4f3 | |||
| 978bd4916f | |||
| 7d01104b71 | |||
| be8abdacf7 | |||
| 359937b59b | |||
| 9876169397 | |||
| 18942521ba | |||
| db485dfa0b | |||
| 4f891e0e0d | |||
| 2b083b29c1 | |||
| e255cb600a | |||
| cd81313940 | |||
| 37a7dec195 | |||
| f11370fbfe | |||
| 5c5e25ca1a | |||
| 7f0a45f50c | |||
| 84e84f51c3 | |||
| 3e12b72791 | |||
| 9f9cca2930 | |||
| b3b1c60ec8 | |||
| 7e1d48b3de | |||
| 6867b5859a | |||
| ad7a04a39b | |||
| d8bc46391b | |||
| 8239a7d09b | |||
| 4a079c5448 | |||
| b23008ea09 | |||
| 4f27bbb74c | |||
| 10fc204d1b | |||
| 16bef8c5ba | |||
| 1e90d3b33c |
@@ -13,7 +13,7 @@ jobs:
|
||||
check:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v3
|
||||
- uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -21,14 +21,14 @@ jobs:
|
||||
# changed files detectors.
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
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@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
|
||||
- name: Test authorship
|
||||
run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
|
||||
|
||||
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.1
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -18,6 +18,8 @@ jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.tag }}
|
||||
env:
|
||||
JOB_NAME: ${{ matrix.tag }}
|
||||
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
@@ -29,11 +31,13 @@ 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
|
||||
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
|
||||
# TODO: diagnose and reinstate problems with tar/compiler installation
|
||||
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -42,7 +46,7 @@ jobs:
|
||||
# check-author action).
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
@@ -50,14 +54,14 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||
branch: master
|
||||
@@ -67,4 +71,9 @@ jobs:
|
||||
with:
|
||||
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
|
||||
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
|
||||
params: >
|
||||
-v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
|
||||
-v ${{ github.event_path}}:/etc/event.json
|
||||
-e GITHUB_EVENT_PATH=/etc/event.json
|
||||
-e GITHUB_REPOSITORY=${{ github.repository }}
|
||||
-e GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
@@ -21,6 +21,8 @@ jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.os }}
|
||||
env:
|
||||
JOB_NAME: ${{ matrix.os }}
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
@@ -28,13 +30,14 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-12
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
- ubuntu-latest
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -43,14 +46,14 @@ jobs:
|
||||
# check-author action).
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
path: ${{env.CHECKS_REPO}}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
@@ -61,3 +64,7 @@ jobs:
|
||||
- name: Test crate
|
||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
env:
|
||||
GITHUB_EVENT_PATH: ${{ github.event_path }}
|
||||
GITHUB_REPOSITORY: ${{ github.repository }}
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
|
||||
|
||||
@@ -6,7 +6,7 @@ name: Build Crate (Alire toolchain)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.1
|
||||
ALR_VERSION: 2.0.2
|
||||
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
|
||||
|
||||
on:
|
||||
@@ -18,6 +18,8 @@ jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.os }}
|
||||
env:
|
||||
JOB_NAME: ${{ matrix.os }}
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
@@ -25,13 +27,14 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-12
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
- ubuntu-latest
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -40,7 +43,7 @@ jobs:
|
||||
# check-author action).
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
@@ -49,14 +52,14 @@ jobs:
|
||||
# By default, this also sets up the newest indexed native toolchain
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
# By default, this also sets up the newest indexed native toolchain
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
branch: 'master'
|
||||
|
||||
@@ -67,3 +70,7 @@ jobs:
|
||||
- name: Test crate
|
||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
env:
|
||||
GITHUB_EVENT_PATH: ${{ github.event_path }}
|
||||
GITHUB_REPOSITORY: ${{ github.repository }}
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
|
||||
|
||||
@@ -9,7 +9,7 @@ name: Build Crate (MacPorts)
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.1
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -20,6 +20,8 @@ jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.os }}
|
||||
env:
|
||||
JOB_NAME: ${{ matrix.os }}
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
@@ -27,11 +29,12 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os:
|
||||
- macos-12
|
||||
- macos-13 # amd64
|
||||
- macos-latest # arm64
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -40,14 +43,14 @@ jobs:
|
||||
# check-author action).
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
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@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
@@ -58,6 +61,14 @@ jobs:
|
||||
- name: Install Ports
|
||||
uses: melusina-org/setup-macports@v1
|
||||
|
||||
- name: Prefer Quartz to X11 for MacPorts
|
||||
shell: bash
|
||||
run: echo '-x11 +no_x11 +quartz' >> /opt/local/etc/macports/variants.conf
|
||||
|
||||
- name: Test crate
|
||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
env:
|
||||
GITHUB_EVENT_PATH: ${{ github.event_path }}
|
||||
GITHUB_REPOSITORY: ${{ github.repository }}
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to apply labels/comment
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
name: Check Index
|
||||
|
||||
env:
|
||||
ALR_VERSION: 2.0.1
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on: pull_request
|
||||
|
||||
@@ -9,17 +9,17 @@ jobs:
|
||||
build:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@master
|
||||
- uses: actions/checkout@v4
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
version: ${{env.ALR_VERSION}}
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
branch: master
|
||||
|
||||
|
||||
@@ -8,7 +8,7 @@ name: Diff release
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
ALR_VERSION: 2.0.1
|
||||
ALR_VERSION: 2.0.2
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
@@ -23,7 +23,7 @@ jobs:
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
@@ -31,7 +31,7 @@ jobs:
|
||||
# changed files detector
|
||||
|
||||
- name: Check out alire-index-checks
|
||||
uses: actions/checkout@v3
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||
ref: ${{github.base_ref}}
|
||||
@@ -46,7 +46,7 @@ jobs:
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v3
|
||||
uses: alire-project/setup-alire@v4
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
branch: master
|
||||
|
||||
@@ -0,0 +1,34 @@
|
||||
name = "a0b_armv7m"
|
||||
description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
|
||||
version = "0.1.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]
|
||||
generate_ada = false
|
||||
generate_gpr = true
|
||||
generate_c = false
|
||||
|
||||
[configuration.variables]
|
||||
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
|
||||
|
||||
[[depends-on]]
|
||||
gnat_arm_elf = "*"
|
||||
a0b_base = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "8727264e0e3b4c87440ff900d82a557dfa216cf4"
|
||||
url = "git+https://github.com/godunko/a0b-armv7m.git"
|
||||
|
||||
@@ -0,0 +1,35 @@
|
||||
name = "a0b_armv7m"
|
||||
description = "A0B: ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
|
||||
version = "0.2.0"
|
||||
website = "https://github.com/godunko/a0b-base"
|
||||
|
||||
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]
|
||||
generate_ada = false
|
||||
generate_gpr = true
|
||||
generate_c = false
|
||||
|
||||
[configuration.variables]
|
||||
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
gnat_arm_elf = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "50acd6d03b9bbd6604692098189712a34130340c"
|
||||
url = "git+https://github.com/godunko/a0b-armv7m.git"
|
||||
|
||||
@@ -0,0 +1,35 @@
|
||||
name = "a0b_armv7m"
|
||||
description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
|
||||
website = "https://github.com/godunko/a0b-base"
|
||||
version = "0.3.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]
|
||||
generate_ada = false
|
||||
generate_gpr = true
|
||||
generate_c = false
|
||||
|
||||
[configuration.variables]
|
||||
FPU_Extension = {type = "Enum", values = ["none", "VFPv4", "VFPv5"]}
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
gnat_arm_elf = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "cf4e40c75068127c315b808565022be3891112c1"
|
||||
url = "git+https://github.com/godunko/a0b-armv7m.git"
|
||||
|
||||
@@ -0,0 +1,33 @@
|
||||
name = "a0b_armv7m_systick_clock"
|
||||
description = "A0B Monotonic Clock by ARMv7M SysTick"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "time", "armv7m"]
|
||||
|
||||
project-files = ["gnat/a0b_time_platform.gpr"]
|
||||
|
||||
provides = ["a0b_time_platform=0.1.0"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_armv7m = "*"
|
||||
|
||||
[[forbids]]
|
||||
a0b_armv7m_systick_clock_timer = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "46417dbd3107df4c9512763f49510d8373541a48"
|
||||
url = "git+https://github.com/godunko/a0b-armv7m-systick_clock.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "a0b_armv7m_systick_clock_timer"
|
||||
description = "A0B Monotonic Clock and Timer by ARMv7M SysTick"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "time", "timer", "systick"]
|
||||
|
||||
project-files = ["gnat/a0b_time_platform.gpr", "gnat/a0b_timer_platform.gpr"]
|
||||
|
||||
provides = ["a0b_time_platform=0.1.0", "a0b_timer_platform=0.1.0"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_armv7m = "*"
|
||||
|
||||
[origin]
|
||||
commit = "825079c39f3674ca94e2fc5b015f0b8c5afda6c3"
|
||||
url = "git+https://github.com/godunko/a0b-armv7m-systick_clock_timer.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "a0b_atsam3x8e"
|
||||
description = "A0B ATSAM3X8E MCU Support"
|
||||
version = "0.1.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
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
gnat_arm_elf = "*"
|
||||
|
||||
[origin]
|
||||
commit = "31363204286f8f5f5215a021c6a86ebd87ba6056"
|
||||
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_atsam3x8e"
|
||||
description = "A0B ATSAM3X8E MCU Support"
|
||||
version = "0.2.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
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m = "*"
|
||||
gnat_arm_elf = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "994df7d551caa73512a431ea785f3b68d11d899e"
|
||||
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_atsam3x8e"
|
||||
description = "A0B ATSAM3X8E 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", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
|
||||
|
||||
project-files = ["gnat/a0b_atsam3x8e.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "87c93b97c09284d4d6973b23ca1d1d793730209a"
|
||||
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_atsam3x8e_gpio"
|
||||
description = "A0B ATSAM3X8E GPIO/EXTI"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "gpio", "atsam3x8e", "sam3x8e", "arduino", "due"]
|
||||
|
||||
project-files = ["gnat/a0b_atsam3x8e_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_gpio = "*"
|
||||
a0b_exti = "*"
|
||||
a0b_atsam3x8e = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "331318aec82244e5419f6b9407d9a478db754fad"
|
||||
url = "git+https://github.com/godunko/a0b-atsam3x8e-gpio.git"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "a0b_atsam3x8e_tc5_timer"
|
||||
description = "A0B ATSAM3X8E High Resulotion Timer on top of TC5"
|
||||
version = "0.1.0"
|
||||
provides = ["a0b_timer_platform=0.1.0"]
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "timer", "atsam3x8e", "sam3x8e", "arduino", "due"]
|
||||
|
||||
project-files = ["gnat/a0b_timer_platform.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_atsam3x8e = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "a57a8417673016dbfbe3e62b0e454fbc046d8c0b"
|
||||
url = "git+https://github.com/godunko/a0b-atsam3x8e-tc5_timer.git"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "a0b_atsam3x8e_twi_i2c"
|
||||
description = "A0B ATSAM3X8E TWI I2C Driver"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["embedded", "i2c", "atsam3x8e", "twi", "arduino", "due"]
|
||||
|
||||
project-files = ["gnat/a0b_atsam3x8e_twi_i2c.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_i2c = "*"
|
||||
a0b_atsam3x8e_gpio = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "22ca4e5226de9a2a3019354aa84f20ab2403eae6"
|
||||
url = "git+https://github.com/godunko/a0b-atsam32x8e-twi-i2c.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "a0b_base"
|
||||
description = "A0B: Base components"
|
||||
version = "0.1.0"
|
||||
|
||||
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]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "ae3e56f0be698970859a91eaa88855595b2f777e"
|
||||
url = "git+https://github.com/godunko/a0b-base.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "a0b_base"
|
||||
description = "A0B: Base components"
|
||||
version = "0.2.0"
|
||||
|
||||
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]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "b8702bfc8b1a4f3b708343072ecbc9da21b89eff"
|
||||
url = "git+https://github.com/godunko/a0b-base.git"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
name = "a0b_base"
|
||||
description = "A0B: Base components"
|
||||
version = "0.3.0"
|
||||
website = "https://github.com/godunko/a0b-base"
|
||||
|
||||
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]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "1270711d1968f3313095079fe5c5bde168a6ebf1"
|
||||
url = "git+https://github.com/godunko/a0b-base.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "a0b_base"
|
||||
description = "A0B: Base components"
|
||||
website = "https://github.com/godunko/a0b-base"
|
||||
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", "types", "builtins"]
|
||||
|
||||
project-files=["gnat/a0b_base.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_gpr = true
|
||||
generate_c = false
|
||||
|
||||
[configuration.variables]
|
||||
Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
|
||||
|
||||
[origin]
|
||||
commit = "a7acf07031a63eb9d31d51f2bf28dab0799ab5c5"
|
||||
url = "git+https://github.com/godunko/a0b-base.git"
|
||||
|
||||
@@ -0,0 +1,22 @@
|
||||
name = "a0b_callbacks"
|
||||
description = "A0B Callbacks"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["embedded", "callbacks"]
|
||||
|
||||
project-files = ["gnat/a0b_callbacks.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
|
||||
[origin]
|
||||
commit = "2087a3c368cee421e966b621f6e6b7534077a814"
|
||||
url = "git+https://github.com/godunko/a0b-callbacks.git"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "a0b_callbacks"
|
||||
description = "A0B Callbacks"
|
||||
website = "https://github.com/godunko/a0b-callbacks"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "callbacks"]
|
||||
|
||||
project-files = ["gnat/a0b_callbacks.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
|
||||
[origin]
|
||||
commit = "aaca17d9134068f1d8e3ca2cda771a45d5577d14"
|
||||
url = "git+https://github.com/godunko/a0b-callbacks.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_exti"
|
||||
description = "A0B: EXTI API"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "exti"]
|
||||
|
||||
project-files = ["gnat/a0b_exti.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_callbacks = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "6090acf5a03d4b9dfc2bf7c9ccf4840e364d95d1"
|
||||
url = "git+https://github.com/godunko/a0b-exti.git"
|
||||
|
||||
@@ -0,0 +1,29 @@
|
||||
name = "a0b_gpio"
|
||||
description = "A0B GIOP API"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["embedded", "gpio"]
|
||||
|
||||
project-files = ["gnat/a0b_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "011067c7f5fae261ec4b30e015b324b895e2948b"
|
||||
url = "git+https://github.com/godunko/a0b-gpio.git"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "a0b_i2c"
|
||||
description = "A0B I2C API"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "i2c"]
|
||||
|
||||
project-files = ["gnat/a0b_i2c.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_callbacks = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "67a3e9f5443bdaf500ce46beab1414c73ea4ed8e"
|
||||
url = "git+https://github.com/godunko/a0b-i2c.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f2_generic_exti"
|
||||
description = "A0B: STM32F2+ Generic EXTI"
|
||||
version = "0.1.0"
|
||||
|
||||
website = "https://github.com/godunko/a0b-stm32f2-generic_exti"
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "stm32", "exti"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32f2_generic_exti.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_exti = "*"
|
||||
a0b_stm32f2_generic_gpio = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "462715064e668a486d4ee4b09819f6f33709941b"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f2-generic_exti.git"
|
||||
|
||||
@@ -0,0 +1,29 @@
|
||||
name = "a0b_stm32f2_generic_gpio"
|
||||
description = "A0B: STM32F2+ Generic GPIO"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "stm32", "gpio"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32f2_generic_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_gpio = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "8f38aacb92d84b69bcc702b740bad5eeb366631b"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f2-generic_gpio.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f401"
|
||||
description = "A0B: STM32F401 base and SVD package"
|
||||
version = "0.1.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
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m="*"
|
||||
a0b_base = "*"
|
||||
gnat_arm_elf="*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "c9b0dbbe547baf12d2d06f483dbf4d64c6485ff3"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_stm32f401"
|
||||
description = "A0B: STM32F401 base and SVD package"
|
||||
version = "0.2.0"
|
||||
website = "https://github.com/godunko/a0b-stm32f401"
|
||||
|
||||
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
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m="*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "290ce149a071aed877007bd7f6127556dd0e3da0"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f401_dma"
|
||||
description = "A0B: STM32F401 DMA"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "dma", "stm32", "stm32f4", "stm32f401"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32f401_dma.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_callbacks = "*"
|
||||
a0b_stm32f401 = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "12b38cb33dfd7646c152091a82c1173c3ffa0442"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401-dma.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f401_gpio"
|
||||
description = "A0B: STM32F401 GPIO/EXTI"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "stm32", "stm32f401", "gpio", "exti"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32f401_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_exti = "*"
|
||||
a0b_gpio = "*"
|
||||
a0b_stm32f401 = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "ebe3a94278642ecd18ae693a0517bf70ac28d76e"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401-gpio.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f401_i2c"
|
||||
description = "A0B: STM32F401 I2C"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "i2c", "stm32", "stm32f4", "stm32f401"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32f401_i2c.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_i2c = "*"
|
||||
a0b_stm32f401_dma = "*"
|
||||
a0b_stm32f401_gpio = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "1974923691493f57c9bdde889866c82cc01b5a5c"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401-i2c.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32f401_tim11_timer"
|
||||
description = "A0B: Timer based on STM32F401 TIM11"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "timer", "stm32", "stm32f4", "stm32f401"]
|
||||
|
||||
project-files = ["gnat/a0b_timer_platform.gpr"]
|
||||
provides = ["a0b_timer_platform=0.1.0"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_stm32f401 = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "ba04b148d16743bbf6b1f18e5c0586fa7cca2d9e"
|
||||
url = "git+https://github.com/godunko/a0b-stm32f401-tim11_timer.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_stm32g4"
|
||||
description = "A0B: STM32G4 base support"
|
||||
version = "0.1.0"
|
||||
|
||||
website = "https://github.com/godunko/a0b-stm32g4"
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "stm32", "stm32g4"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32g4.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m="*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "b78590b950a83ffaef2626d112dbf6979b99c80d"
|
||||
url = "git+https://github.com/godunko/a0b-stm32g4.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_stm32g474"
|
||||
description = "A0B: STM32G474 base support and SVD files"
|
||||
version = "0.1.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
|
||||
|
||||
[[depends-on]]
|
||||
a0b_stm32g4 ="*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "b5a23766903099f974120678719a8ba09355863f"
|
||||
url = "git+https://github.com/godunko/a0b-stm32g474.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32g474_gpio"
|
||||
description = "A0B: STM32G474 GPIO/EXTI"
|
||||
version = "0.1.0"
|
||||
|
||||
website = "https://github.com/godunko/a0b-stm32g474-gpio"
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "gpio", "exti", "stm32", "stm32g4", "stm32g474"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32g474_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_stm32g4_gpio = "*"
|
||||
a0b_stm32g474 = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "00017fb2e5b7904d8603017eb347b747df4acda4"
|
||||
url = "git+https://github.com/godunko/a0b-stm32g474-gpio.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "a0b_stm32g4_gpio"
|
||||
description = "A0B: STM32G4 GPIO"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "stm32", "stm32g4", "gpio", "exti"]
|
||||
|
||||
project-files = ["gnat/a0b_stm32g4_gpio.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_stm32f2_generic_exti = "*"
|
||||
a0b_stm32g4 = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "2bc15160646b448fd070310dfd2110419ed86a73"
|
||||
url = "git+https://github.com/godunko/a0b-stm32g4-gpio.git"
|
||||
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "a0b_stm32h723"
|
||||
description = "STM32H723 base and SVD package"
|
||||
website = "https://github.com/godunko/a0b-stm32h723"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
|
||||
project-files=["gnat/a0b_stm32h723.gpr"]
|
||||
|
||||
tags = ["a0b", "embedded", "svd", "stm32", "stm32h7", "stm32h723"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_armv7m = "*"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "fa53524f934264edaed2ec5482ccb0bc8c8e83ab"
|
||||
url = "git+https://github.com/godunko/a0b-stm32h723.git"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "a0b_time"
|
||||
description = "A0B Monotonic Time"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "time"]
|
||||
|
||||
project-files = ["gnat/a0b_time.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_time_platform = "0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "83e4276026a6a9e099920fc4ef6ec09a876c75ea"
|
||||
url = "git+https://github.com/godunko/a0b-time.git"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "a0b_time"
|
||||
description = "A0B Monotonic Time"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "time"]
|
||||
|
||||
project-files = ["gnat/a0b_time.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_time_platform = "0.1.0"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "selftest"
|
||||
command = ["alr", "build"]
|
||||
|
||||
[origin]
|
||||
commit = "fe82dcefa0416c4dce8d0b7ce71f9b04419d2fb5"
|
||||
url = "git+https://github.com/godunko/a0b-time.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "a0b_timer"
|
||||
description = "A0B Timer"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
tags = ["a0b", "embedded", "timer"]
|
||||
|
||||
project-files = ["gnat/a0b_timer.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
a0b_base = "*"
|
||||
a0b_callbacks = "*"
|
||||
a0b_time = "*"
|
||||
a0b_timer_platform = "0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "8fb913ab0f7a5d25ef511b7be96e3e909b5d2447"
|
||||
url = "git+https://github.com/godunko/a0b-timer.git"
|
||||
|
||||
@@ -0,0 +1,36 @@
|
||||
name = "aaa"
|
||||
version = "0.3.0"
|
||||
description = "Alex's Ada Assortment (of miscellaneous utilities)"
|
||||
|
||||
long-description = """
|
||||
Alex's Ada Assortment of Utilities
|
||||
|
||||
- Text formatting (paragraphs, tables).
|
||||
- Indefinite containers.
|
||||
- Enumeration validity/conversions of string images.
|
||||
- On-demand stack backtraces.
|
||||
- String containers and utilities.
|
||||
- Simple subprocess spawning.
|
||||
- Write-through minimal cache for objects stored in files
|
||||
"""
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
tags = ["miscellanea", "utility"]
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
directory = "tests"
|
||||
command = ["alr", "build"]
|
||||
|
||||
# [test]
|
||||
# runner = "alire"
|
||||
|
||||
[origin]
|
||||
commit = "7bfebd18eb1c9a7eb283ec1a8a05009449239c88"
|
||||
subdir = "./aaa_base/"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "aaa_texts"
|
||||
description = "Utilities to deal with enriched human texts (ANSI, Unicode)"
|
||||
version = "0.3.0"
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
tags = ["unicode", "ansi", "console", "terminal", "tables"]
|
||||
|
||||
[[depends-on]]
|
||||
aaa = "~0.3.0"
|
||||
ansiada = "^1.1.0"
|
||||
lml = "~0.1.0"
|
||||
umwi = "~0.1.0"
|
||||
|
||||
# [test]
|
||||
# runner = "alire"
|
||||
|
||||
[origin]
|
||||
commit = "7bfebd18eb1c9a7eb283ec1a8a05009449239c88"
|
||||
subdir = "./aaa_texts/"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "ada_caser"
|
||||
description = "Applies casing rules to Ada source code."
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Simon Wright"]
|
||||
maintainers = ["Simon Wright <simon@pushface.org>"]
|
||||
maintainers-logins = ["simonjwright"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/simonjwright/ada_caser"
|
||||
tags = ["ada", "source", "editor", "casing"]
|
||||
|
||||
executables = ["ada_caser"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "^25.0.0"
|
||||
libadalang = "^25.0.0"
|
||||
langkit_support = "^25.0.0"
|
||||
vss = "^25.0.0"
|
||||
|
||||
# exsytrawo decodes stack traces for macos.
|
||||
[depends-on.'case(os)'.macos]
|
||||
exsytrawo = "^1.2.0"
|
||||
|
||||
[origin]
|
||||
commit = "ca30fd1328e91e9c07bbfa85265174c9ca9936ed"
|
||||
url = "git+https://github.com/simonjwright/ada_caser.git"
|
||||
|
||||
@@ -0,0 +1,24 @@
|
||||
name = "ada_gui"
|
||||
description = "An Ada-oriented GUI"
|
||||
version = "20240224"
|
||||
|
||||
authors = ["Jeff Carter"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/bracke/Ada_GUI"
|
||||
tags = ["gui","widgets","html"]
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = "No"
|
||||
|
||||
[[depends-on]] # Avoid bug in GNAT 13
|
||||
gnat = "<13.0 | >=13.3"
|
||||
|
||||
[[depends-on]]
|
||||
simple_components = "^4.68.0"
|
||||
|
||||
[origin]
|
||||
commit = "eaae4ffcf5b622d33b9e47c08cd174903b1cadab"
|
||||
url = "git+https://github.com/bracke/Ada_GUI.git"
|
||||
|
||||
@@ -0,0 +1,59 @@
|
||||
name = "ada_gui"
|
||||
description = "An Ada-oriented GUI"
|
||||
version = "20240224.0.1"
|
||||
|
||||
authors = ["Jeff Carter"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/bracke/Ada_GUI"
|
||||
tags = ["gui","widgets","html"]
|
||||
|
||||
long-description = """
|
||||
# Ada_GUI
|
||||
An Ada-oriented GUI
|
||||
|
||||
Traditionally, GUIs have been implemented by the client registering callback operations, then giving up its thread of control to the GUI. This is a hack to address the inherent parallelism of a GUI in sequential languages. It results in code that is unnecessarily difficult to understand.
|
||||
|
||||
In a concurrent language like Ada, a better design for a GUI is for the GUI to have its own task, so it doesn't require that its client give up a thread of control. GUI events are communicated to the client through a protected queue of events. The client software can be written in the clearest way possible, unconstrained by the GUI.
|
||||
|
||||
Ada_GUI is such a GUI.
|
||||
|
||||
The purpose of Ada_GUI is to provide the specification, in hopes that multiple implementations will be created. Note that some of the comments in the specification are specific to the sample implementation, and should be removed or modified for other implementations. Especially interesting would be an implementation that is not GNAT specific.
|
||||
|
||||
## Sample Implementation
|
||||
|
||||
A sample implementation of Ada_GUI is supplied, derived from Gnoga, but simplified, reorganized, and converted to put events on a protected queue rather than call callbacks. The name Gnoga has been retained for the name of the implementation hierarchy, located at Ada_GUI.Gnoga, in recognition. Those parts of Kazakov's Simple Components used by the implementation are provided as well, with some minor modifications. If you have your own version of the Simple Components, you may use it instead: Delete all Ada source files that do not begin with ada_gui.
|
||||
|
||||
The sample implementation is reasonably full-featured and useful. The implementation is more responsive than the former proof-of-concept directly on full Gnoga.
|
||||
|
||||
The Test directory contains boot.html, boot.js, and jquery.min.js. These files must be available to every Ada-GUI program. It also contains favicon.ico, an icon of Ada.
|
||||
|
||||
Show_All creates at least one of each widget. Visibility, playing audio, and responding to key-press events is demonstrated. Changing this program is the easiest way to experiment with the sample implementation. The audio file glass.ogg and image file rgb.jpg are used by Show_All.
|
||||
|
||||
Luhn_Gen calculates Luhn checksum digits. Enter the first 15 digits of your credit-card number and it will generate the 16th.
|
||||
|
||||
Random_Int is a Gnoga program that has been revised to use Ada GUI instead. It will generate random integers in a desired range.
|
||||
|
||||
## Installation of the Sample Implementation
|
||||
|
||||
Gnoga and the Simple Components require a recent GNAT compiler, so Ada_GUI cannot be compiled with another compiler. The file gnat.adc is needed to compile the Simple Components extensions to GNAT.Sockets. The use of gnatmake is recommended, as gprbuild is for mixed-language or complicated builds, which this is not. After compiling, it is recommended that you write-protect the .ali files. Typically, you can use a command such as
|
||||
|
||||
gnatmake -m -j0 -gnat12 -gnatan -gnato2 -O2 -fstack-check Test/show_all.adb
|
||||
|
||||
If you keep the Ada-GUI source files in a single directory, including the Simple Components source files, and have the compiler put the object and .ali files in that directory, then you need only add -I/path/to/Ada_GUI/ to your program's gnatmake command to use Ada_GUI.
|
||||
"""
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = "No"
|
||||
|
||||
[[depends-on]] # Avoid bug in GNAT 13
|
||||
gnat = "<13.0 | >=13.3"
|
||||
|
||||
[[depends-on]]
|
||||
simple_components = "^4.68.0"
|
||||
|
||||
[origin]
|
||||
commit = "dc57a5593e7a1105458d23dfaf40aa4b13bf01d7"
|
||||
url = "git+https://github.com/bracke/Ada_GUI.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
|
||||
name = "ada_language_server"
|
||||
version = "24.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 = "24.0.0"
|
||||
libadalang = "24.0.0"
|
||||
libadalang_tools = "24.0.0"
|
||||
libgnatdoc = "24.0.0"
|
||||
liblal_refactor = "24.0.0"
|
||||
vss = "24.0.0"
|
||||
spawn = "24.0.1"
|
||||
|
||||
[origin]
|
||||
archive-name = "ada_language_server-24.0.0.tar.gz"
|
||||
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v24.0.0.tar.gz"
|
||||
hashes = ["sha512:a8b6ee7c6cf4f50589400478809a7e6a8bf12650698a7dea0880029ad882ce8ff2389c4b744b43ed31aef8cd975dc8975e77a991d9900b1842690f29fe45b714"]
|
||||
@@ -0,0 +1,32 @@
|
||||
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
|
||||
name = "ada_language_server"
|
||||
version = "25.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 = "25.0.0"
|
||||
libadalang = "25.0.0"
|
||||
libadalang_tools = "25.0.0"
|
||||
libgnatdoc = "25.0.0"
|
||||
libgnatformat = "25.0.0"
|
||||
liblal_refactor = "25.0.0"
|
||||
prettier_ada = "25.0.0"
|
||||
vss = "25.0.0"
|
||||
spawn = "25.0.0"
|
||||
|
||||
[origin]
|
||||
archive-name = "ada_language_server-25.0.0.tar.gz"
|
||||
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v25.0.0.tar.gz"
|
||||
hashes = ["sha512:72b68d6be46b8b9b6572f71b5c46ed6c53c218a0d40fb4531300a1014e62512ed19f86352dafaa86f83960d3d3c6c5d10d96e939674546cd94e782451cad89c9"]
|
||||
@@ -0,0 +1,107 @@
|
||||
description = "TOML parser for Ada"
|
||||
name = "ada_toml"
|
||||
version = "0.5.0"
|
||||
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
licenses = "BSD-3-Clause"
|
||||
maintainers = ["pmderodat@kawie.fr"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
project-files = ["ada_toml.gpr"]
|
||||
long-description = """
|
||||
ada-toml: TOML parser for Ada
|
||||
=============================
|
||||
|
||||
`ada-toml` is a pure Ada library for parsing and creating
|
||||
[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
|
||||
[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
|
||||
|
||||
|
||||
Quick tutorial
|
||||
--------------
|
||||
|
||||
All basic types and subprograms are in the `TOML` package. All "nodes" in a
|
||||
TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
|
||||
values make up a tree, this type has reference semantics. This means that
|
||||
modifying a TOML node does not modify the corresponding `TOML_Value` value
|
||||
itself, but rather the TOML value that is referenced.
|
||||
|
||||
Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
|
||||
|
||||
```ada
|
||||
declare
|
||||
Result : constant TOML.Read_Result :=
|
||||
TOML.File_IO.Load_File ("config.toml");
|
||||
begin
|
||||
if Result.Success then
|
||||
Ada.Text_IO.Put_Line ("config.toml loaded with success!");
|
||||
else
|
||||
Ada.Text_IO.Put_Line ("error while loading config.toml:");
|
||||
Ada.Text_IO.Put_Line
|
||||
(Ada.Strings.Unbounded.To_String (Result.Message));
|
||||
end if;
|
||||
end;
|
||||
```
|
||||
|
||||
Each TOML value has kind, defining which data it contains (a boolean, an
|
||||
integer, a string, a table, ...). To each kind, one or several primitives are
|
||||
associated to let one process the underlying data:
|
||||
|
||||
```ada
|
||||
case Result.Kind is
|
||||
when TOML.TOML_Boolean =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
|
||||
|
||||
when TOML.TOML_Integer =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
|
||||
|
||||
when TOML.TOML_String =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
|
||||
|
||||
when TOML.TOML_Array =>
|
||||
Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
|
||||
|
||||
when others =>
|
||||
null;
|
||||
end case;
|
||||
```
|
||||
|
||||
There are also primitives to build TOML values:
|
||||
|
||||
```ada
|
||||
declare
|
||||
Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
|
||||
Int : constant TOML.TOML_Value := TOML.Create_Integer (10);
|
||||
Str : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
|
||||
|
||||
Table : constant TOML.TOML_Value := TOML.Create_Table;
|
||||
begin
|
||||
Table.Set ("bool_field", Bool);
|
||||
Table.Set ("int_field", Int);
|
||||
Table.Set ("str_field", Str);
|
||||
end;
|
||||
```
|
||||
|
||||
And finally one can turn a tree of TOML nodes back in text form:
|
||||
|
||||
```ada
|
||||
Ada.Text_IO.Put_Line ("TOML document:");
|
||||
Ada.Text_IO.Put_Line (Table.Dump_As_String);
|
||||
```
|
||||
|
||||
|
||||
Contributing
|
||||
------------
|
||||
|
||||
The development of `ada-toml` happens on
|
||||
[GitHub](https://github.com/pmderodat/ada-toml). Everyone is welcome to
|
||||
contribute to this project: please read our [contribution
|
||||
rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
|
||||
you consider doing so.
|
||||
"""
|
||||
|
||||
[gpr-externals]
|
||||
ADA_TOML_BUILD_MODE = ["dev", "prod"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/pmderodat/ada-toml/archive/v0.5.tar.gz"
|
||||
hashes = ["sha512:33dcb0dddc8023fb3e7893d8c0790e6e30fbb007456dcc327ac0e2b64c20a4d67852c905f176d5e9ab62b5754f571e5d53b82f27d5f86e962ddb6b37949a5410"]
|
||||
@@ -0,0 +1,22 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "1.9.0"
|
||||
|
||||
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 = "14ac73038354fe6aaa5aaa1bf53cceac4d49eefd"
|
||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "2.0.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 = "bcc39bed3978c8f39624c7a0b3dbbbed005097bd"
|
||||
url = "git+https://github.com/TamaMcGlinn/adabots.git"
|
||||
|
||||
@@ -0,0 +1,65 @@
|
||||
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
|
||||
* String utilities
|
||||
* Trace utility
|
||||
* 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 float types
|
||||
* generic for vector types
|
||||
|
||||
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 = "5.16.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]
|
||||
development.runtime_checks = "Overflow"
|
||||
release.runtime_checks = "Default"
|
||||
validation.runtime_checks = "Everything"
|
||||
development.contracts = "Yes"
|
||||
release.contracts = "No"
|
||||
validation.contracts = "Yes"
|
||||
|
||||
[[depends-on]]
|
||||
gnat_native = "^14.2"
|
||||
|
||||
[[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:efafbf03188c21a23d5342a636c987e043502475492e5f3d6f8a283e30513878",
|
||||
"sha512:283e24530899218bcc73aa0cd11e6139972ddd958784529019a4c7886b36711f71ebce0ae37f58a823ca321db30a20b50754e578207de77f8ae7e707d3a0b928",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.0.tgz"
|
||||
|
||||
@@ -0,0 +1,65 @@
|
||||
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
|
||||
* String utilities
|
||||
* Trace utility
|
||||
* 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 float types
|
||||
* generic for vector types
|
||||
|
||||
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 = "5.16.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]
|
||||
development.runtime_checks = "Overflow"
|
||||
release.runtime_checks = "Default"
|
||||
validation.runtime_checks = "Everything"
|
||||
development.contracts = "Yes"
|
||||
release.contracts = "No"
|
||||
validation.contracts = "Yes"
|
||||
|
||||
[[depends-on]]
|
||||
gnat_native = "^14.2"
|
||||
|
||||
[[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:5d12aabe67b78c7dee0d9066e4be8175cb8c0a919b80a0a71be512eb7ebdd73e",
|
||||
"sha512:44da40822cfa63e8d62999ae3881a5c474ca820fb7a184383ddbc81a32eb87fc3ec8b89f6a2d5ea06324205c793d56b51f4370c6a62387c99f3cc3aeb9985f6e",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.16.1.tgz"
|
||||
|
||||
@@ -0,0 +1,73 @@
|
||||
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.
|
||||
* Trace utility - with wide character 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.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]
|
||||
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"
|
||||
aunit = "24.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:efd190e25b6b60d460ff4b5553f0eb96037d8065fad20fd1066806e2eaafeeda",
|
||||
"sha512:a0735f2e5823bdbbdb930026730027fa89fe777bdd1201016e5b8400210af8575f5f4266459904c1e597bdf5cd8158f7747adfa99154d8e6bd2ca7d17e6ac911",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.0.0.tgz"
|
||||
|
||||
@@ -0,0 +1,74 @@
|
||||
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.
|
||||
* 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.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]
|
||||
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"
|
||||
aunit = "24.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:474019fd958355a9abe6a9e2e251f34e0200ab4027168961ff6b756527caa260",
|
||||
"sha512:c421608dff00950fc644fae709ba7004f27eed5106cdc17a2eb17527e093debec76c351df1ba10e527c6c1b6234e6390e39aaddda1bfc723589c02ff8080e6b4",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.0.tgz"
|
||||
|
||||
@@ -0,0 +1,74 @@
|
||||
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.
|
||||
* 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.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", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "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"
|
||||
aunit = "24.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:9615232cee3b51857fb505b6d82dc225199f33b7993a6b021c03c514bd0bbdc6",
|
||||
"sha512:3b9e4effd9a4b66c017b884b9225f12c756a3ce67cbb5cac8daf9aeec59b29c2867a5cbc1fd4d8b327685074d098ce80d7057602db79970ee6ab69c3041f887a",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.1.1.tgz"
|
||||
|
||||
@@ -0,0 +1,75 @@
|
||||
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.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]
|
||||
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"
|
||||
aunit = "24.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:77fc9a8cc2eedb4cced8551fe7e22ab5b265dcdbc951116ad8b917430e721e42",
|
||||
"sha512:b99a6d5b8fd8c0628a8b4d553df2e33d8bb5019a92c79335ffacbf721c29d8eb2fc8ba3a326f06b09027c8fb0e0f762b21fb142d2ff1506f7306f1c57c3dfe41",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.0.tgz"
|
||||
|
||||
@@ -0,0 +1,53 @@
|
||||
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.1.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]
|
||||
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.1.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:e075ab39076f6524137a8f18966672990bbeaeed3c2d606d0224fea4d4e88b03",
|
||||
"sha512:2d21e698922f3204ee5285b47bf4fbf604fe46d176879204ad29f32304595e08b4540444bf1725cd83b091bbfea124c556c9064e5cc50c8833bc4ce7aa6b5f6e",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.1.1.tgz"
|
||||
|
||||
@@ -0,0 +1,53 @@
|
||||
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.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]
|
||||
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.1.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:7d32d817834417050cae64aefc8a3f394004ff47bf47469b46d3519dd111e569",
|
||||
"sha512:7ed506c843374878d4a38d0a43639db498d6ee65f3e59025b1b12baa26376d3cbb27135550efbf2301bcf341384bd3d4f560ff395b4906daf9b1ba874330db59",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.0.tgz"
|
||||
|
||||
@@ -0,0 +1,54 @@
|
||||
name = "adacl_regexp"
|
||||
description = "Ada Class Library - Regular Expressions"
|
||||
long-description = """A class library for Ada for those who like OO programming.
|
||||
|
||||
Regular expression for String, Wide_String and Wide_Wide_Strings using a
|
||||
generic implementation that could be used for any array of descreete elements.
|
||||
|
||||
Development versions available with:
|
||||
|
||||
```sh
|
||||
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
|
||||
```
|
||||
|
||||
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
|
||||
"""
|
||||
version = "6.2.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]
|
||||
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:338a86dab6cfe6a49c7b3fffa1af040a9afd7903ce6e7d2f95165e7ee8d9e395",
|
||||
"sha512:771faabd888f90bcea85209c87613c1081a3f10fb0a7f4fff37dbece4c76a991084c1fb00b47d87b5a9c2dae06e5e5a5140f5b5431b182ed7f977505f9e63644",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.0.tgz"
|
||||
|
||||
@@ -0,0 +1,54 @@
|
||||
name = "adacl_regexp"
|
||||
description = "Ada Class Library - Regular Expressions"
|
||||
long-description = """A class library for Ada for those who like OO programming.
|
||||
|
||||
Regular expression for String, Wide_String and Wide_Wide_Strings using a
|
||||
generic implementation that could be used for any array of descreete elements.
|
||||
|
||||
Development versions available with:
|
||||
|
||||
```sh
|
||||
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
|
||||
```
|
||||
|
||||
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
|
||||
"""
|
||||
version = "6.2.1"
|
||||
licenses = "GPL-3.0-or-later"
|
||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
||||
maintainers-logins = ["krischik"]
|
||||
website = "https://sourceforge.net/projects/adacl/"
|
||||
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
|
||||
|
||||
[build-switches]
|
||||
development.compile_checks = "Warnings"
|
||||
development.contracts = "Yes"
|
||||
development.runtime_checks = "Overflow"
|
||||
release.compile_checks = "Warnings"
|
||||
release.contracts = "No"
|
||||
release.runtime_checks = "Default"
|
||||
validation.compile_checks = "Warnings"
|
||||
validation.contracts = "Yes"
|
||||
validation.runtime_checks = "Everything"
|
||||
|
||||
[[depends-on]]
|
||||
gnat_native = "^14.2"
|
||||
adacl = "6.2.0"
|
||||
|
||||
[[actions]]
|
||||
type = "test"
|
||||
command = ["alr", "run"]
|
||||
directory = "test"
|
||||
|
||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
||||
# vim: set spell spelllang=en_gb :
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:d25d08b193d4e5f93b2c67c39dd54dfaccc24eb4a0bdb92466a5e8a3d40d4721",
|
||||
"sha512:427e5ab1c579b63b822d81e55a3e25c0a3106a9406d3981e5cf19ffeb83854632e2b7b6418cdc39ad258ef0e064be2b925a348282fedb6c39c2e53129749458d",
|
||||
]
|
||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.1.tgz"
|
||||
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "adagl_gtk3"
|
||||
description = "OpenGL/Gtk3 binding"
|
||||
version = "0.0.1"
|
||||
|
||||
authors = ["Vadim Godunko"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
|
||||
maintainers-logins = ["godunko"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
website = "https://github.com/godunko/adagl"
|
||||
tags = ["opengl", "gtk"]
|
||||
|
||||
project-files = ["../gnat/adagl_gtk3.gpr"]
|
||||
|
||||
[configuration]
|
||||
generate_ada = false
|
||||
generate_c = false
|
||||
generate_gpr = true
|
||||
|
||||
[[depends-on]]
|
||||
gnat = ">=14" # VSS 25.0.0 limits compiler to be >=11, but only 14 support necessary language features
|
||||
gtkada = "*"
|
||||
vss = "*"
|
||||
|
||||
[origin]
|
||||
commit = "4faa8fd31ab0614269e10b40a9c82cebb3d14b0f"
|
||||
subdir = "./adagl_gtk3/"
|
||||
url = "git+https://github.com/godunko/adagl.git"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
name = "adare_dilithium5"
|
||||
description = "Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind."
|
||||
version = "0.2.3"
|
||||
|
||||
authors = ["Daniel Norte de Moraes"]
|
||||
maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
|
||||
maintainers-logins = ["danieagle"]
|
||||
|
||||
long-description = """
|
||||
Dilithium is a digital signature scheme that is strongly secure under
|
||||
chosen message attacks based on the hardness of lattice problems
|
||||
over module lattices. The security notion means that an adversary
|
||||
having access to a signing oracle cannot produce a signature of a
|
||||
message whose signature he hasn't yet seen, nor produce a different
|
||||
signature of a message that he already saw signed. Dilithium is one
|
||||
of the candidate algorithms submitted to the
|
||||
NIST post-quantum cryptography project.
|
||||
|
||||
Adare_Dilithium5 is a Ada 2012 bind to Dilithium5 C.
|
||||
|
||||
(C version at https://github.com/PQClean/PQClean)
|
||||
|
||||
How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
|
||||
|
||||
"""
|
||||
|
||||
licenses = "Unlicense"
|
||||
tags = ["signature", "pqc"]
|
||||
website = ""
|
||||
|
||||
[build-switches]
|
||||
"*".Ada_Version = "Ada12"
|
||||
"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
|
||||
|
||||
[origin]
|
||||
commit = "48a77cb59ddc827ce785553e4a5307b31389ffa4"
|
||||
url = "git+https://github.com/danieagle/adare_dilithium5.git"
|
||||
|
||||
@@ -0,0 +1,36 @@
|
||||
name = "adare_hqc256"
|
||||
description = "Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind."
|
||||
version = "0.2.3"
|
||||
|
||||
authors = ["Daniel Norte de Moraes"]
|
||||
maintainers = ["Daniel Norte de Moraes <danieagle@zohomail.com>"]
|
||||
maintainers-logins = ["danieagle"]
|
||||
|
||||
long-description = """
|
||||
HQC (Hamming Quasi-Cyclic) is a code-based public key encryption scheme
|
||||
designed to provide security against attacks by
|
||||
both classical and quantum computers. HQC has been submitted
|
||||
to the NIST's Post-Quantum Cryptography Standardization Project.
|
||||
|
||||
Adare_HQC256 is a Ada 2012 bind to HQC-256 C.
|
||||
|
||||
Adare_HQC256 has a 512 bits Shared Secret size.
|
||||
|
||||
(C version at https://github.com/PQClean/PQClean)
|
||||
|
||||
How a Bonus all Ada packages in this lib is "Ada Pure"! :-)
|
||||
|
||||
"""
|
||||
|
||||
licenses = "Unlicense"
|
||||
tags = ["kem", "pqc", "ss512bits"]
|
||||
website = ""
|
||||
|
||||
[build-switches]
|
||||
"*".Ada_Version = "Ada12"
|
||||
"*".Style_checks = ["-gnaty2abCefhiklnprstmM135"]
|
||||
|
||||
[origin]
|
||||
commit = "bbba67491702dff110606508f1832140f049381f"
|
||||
url = "git+https://github.com/danieagle/adare_hqc256.git"
|
||||
|
||||
@@ -0,0 +1,24 @@
|
||||
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 = "25.0.0"
|
||||
website = "https://github.com/AdaCore/adasat"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["chouteau", "roldak"]
|
||||
tags = ["sat", "solver", "theories"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
url="https://github.com/adacore/AdaSAT/archive/v25.0.0/AdaSAT-25.0.0.zip"
|
||||
hashes=['sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258']
|
||||
@@ -0,0 +1,61 @@
|
||||
description = "Ada Database Objects (Core library)"
|
||||
tags = ["database", "uml", "sql"]
|
||||
name = "ado"
|
||||
version = "2.4.1"
|
||||
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/) and [SQLite](https://www.sqlite.org/). The ORM helps your
|
||||
application by providing a mapping of your database tables directly in the target programming
|
||||
language: Ada05 in our case. The development process is the following:
|
||||
|
||||
* You design your database model either using a UML tool or by writing a YAML or XML description,
|
||||
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
|
||||
* You generate the SQL database tables by using the same tool,
|
||||
* You write your application on top of the generated code that gives you direct and simplified access to your database.
|
||||
|
||||

|
||||
|
||||
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.6.0"
|
||||
utilada_xml = "^2.6.0"
|
||||
|
||||
[gpr-externals]
|
||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
|
||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
||||
|
||||
@@ -0,0 +1,42 @@
|
||||
description = "Ada Database Objects (Mysql)"
|
||||
tags = ["database", "uml", "sql", "mysql", "mariadb"]
|
||||
name = "ado_mysql"
|
||||
version = "2.4.1"
|
||||
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.4.0"
|
||||
libmariadb = "*"
|
||||
|
||||
[gpr-externals]
|
||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[actions]]
|
||||
type = "pre-build"
|
||||
command = ["sh", "./alire-setup.sh"]
|
||||
|
||||
|
||||
[origin]
|
||||
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
|
||||
subdir = "./mysql/"
|
||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
description = "Ada Database Objects (PostgreSQL)"
|
||||
tags = ["database", "uml", "sql", "postgresql"]
|
||||
name = "ado_postgresql"
|
||||
version = "2.4.1"
|
||||
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.4.0"
|
||||
libpq = "*"
|
||||
|
||||
[gpr-externals]
|
||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
|
||||
[origin]
|
||||
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
|
||||
subdir = "./postgresql/"
|
||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
||||
|
||||
@@ -0,0 +1,38 @@
|
||||
description = "Ada Database Objects (SQLite)"
|
||||
tags = ["database", "uml", "sql", "sqlite"]
|
||||
name = "ado_sqlite"
|
||||
version = "2.4.1"
|
||||
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 driver for the Ada Database Objects library.
|
||||
|
||||
"""
|
||||
|
||||
[[depends-on]]
|
||||
ado = "^2.4.0"
|
||||
libsqlite3 = "any"
|
||||
|
||||
[gpr-externals]
|
||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
|
||||
[origin]
|
||||
commit = "cf105198c23027ddf7d8111bf8094155c43a7709"
|
||||
subdir = "./sqlite/"
|
||||
url = "git+https://gitlab.com/stcarrez/ada-ado.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.1"
|
||||
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.1\"",
|
||||
"src/akt-configs.gpb",
|
||||
"src/akt-configs.ads"
|
||||
]
|
||||
|
||||
[[depends-on]]
|
||||
utilada = "^2.6.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 = "1b5f25019cb41dbd897ddc4bd95b493fca7cc565"
|
||||
subdir = "./akt/"
|
||||
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
|
||||
|
||||
@@ -0,0 +1,57 @@
|
||||
name = "alr2appimage"
|
||||
description = "Tool to create an AppImage executable from an Alire crate"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/mgrojo/alr2appimage"
|
||||
long-description = """
|
||||
There are two prerequisites for your project to work with this tool:
|
||||
- It has to be an Alire crate with an `executables` field. Its first value
|
||||
has to be the main application program. Otherwise, the executable program
|
||||
can be specified on the command line.
|
||||
- It must be installable using Alire, including all the needed resources.
|
||||
|
||||
`alr2appimage` will use the following command for installing it (this requires Alire 2.0):
|
||||
```shell
|
||||
alr install
|
||||
```
|
||||
Or it will run `gprinstall` inside `alr exec`, if the former fails (Alire 1.x).
|
||||
|
||||
If you simply run the tool inside an Alire crate, it will read the
|
||||
metadata from your `alire.toml` file and create a default AppImage
|
||||
from it.
|
||||
|
||||
NOTE: `alr2appimage` is an independent project; it is not
|
||||
affiliated to, nor supported by, the Alire or AppImage projects.
|
||||
|
||||
"""
|
||||
licenses = "GPL-3.0-only"
|
||||
|
||||
tags = ["utility", "appimage", "alire", "linux", "packaging"]
|
||||
|
||||
authors = ["Manuel Gomez"]
|
||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
||||
maintainers-logins = ["mgrojo"]
|
||||
|
||||
executables = ["alr2appimage"]
|
||||
[[depends-on]]
|
||||
ada_toml = "^0.3.0"
|
||||
|
||||
[[depends-on]]
|
||||
spoon = "^1.0.1"
|
||||
|
||||
[[depends-on]]
|
||||
parse_args = "~0.9.0"
|
||||
|
||||
[[depends-on]]
|
||||
resources = "~0.1.0"
|
||||
|
||||
[available.'case(os)']
|
||||
'linux' = true
|
||||
'...' = false
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = ["-gnaty3abBCrfklM99nptx"]
|
||||
|
||||
[origin]
|
||||
commit = "19b5459f5b5553d6b861746eacd19e434fb0e146"
|
||||
url = "git+https://github.com/mgrojo/alr2appimage"
|
||||
|
||||
@@ -0,0 +1,15 @@
|
||||
name = "ansiada"
|
||||
description = "ANSI escape sequences"
|
||||
version = "1.1.0"
|
||||
|
||||
licenses = "MIT"
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
tags = ["ansi", "terminal", "escape"]
|
||||
|
||||
[origin]
|
||||
commit = "405f110b571d0a9abba465aa6b933d2a7a7634bf"
|
||||
url = "git+https://github.com/mosteo/ansi-ada.git"
|
||||
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "aoa_22"
|
||||
description = "Advent of Ada 22 Solutions"
|
||||
version = "20220720"
|
||||
|
||||
authors = ["Jeff Carter"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/bracke/AoA_22"
|
||||
tags = ["adventofada", "2022"]
|
||||
|
||||
executables = ["aoa_22","day01_2","day02_2","day03_2","day04_2","day05_2","day06_2","day08_2","day09_2","day10_2","day11_2","day14_2","day01_1","day02_1","day03_1","day04_1","day05_1","day06_1","day08_1","day09_1","day10_1","day11_1","day14_1","day15_1"]
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = "No"
|
||||
"*".ada_version = "Ada12"
|
||||
|
||||
[[depends-on]] # Avoid bug in GNAT 13
|
||||
gnat = "<13.0 | >=13.3"
|
||||
|
||||
[[depends-on]]
|
||||
pragmarc = "^20240323.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "6d9ebd7195e134dbece445ca7eecd1c66fdc1775"
|
||||
url = "git+https://github.com/bracke/AoA_22.git"
|
||||
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "aoa_23"
|
||||
description = "Some Advent of Ada 2023 solutions"
|
||||
version = "20230119"
|
||||
|
||||
authors = ["Jeff Carter"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/bracke/AoA_23"
|
||||
tags = ["2023"]
|
||||
|
||||
executables = ["aoa_01_1","aoa_02_2","aoa_04_1","aoa_06_1","aoa_07_1","aoa_09_1","aoa_10_1","aoa_11_2","aoa_13_1","aoa_15_1","aoa_16_1","aoa_19_1","aoa_23_1","aoa_02_1","aoa_03_1","aoa_05_1","aoa_06_2","aoa_08_1","aoa_09_2","aoa_11_1","aoa_12_1","aoa_14_1","aoa_15_2","aoa_18_1","aoa_20_1","aoa_23"]
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = "No"
|
||||
"*".ada_version = "Ada12"
|
||||
|
||||
[[depends-on]] # Avoid bug in GNAT 13
|
||||
gnat = "<13.0 | >=13.3"
|
||||
|
||||
[[depends-on]]
|
||||
pragmarc = "^20240323.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "38d1c7e521a9abb8c3f4269f689e00f35fe81362"
|
||||
url = "git+https://github.com/bracke/AoA_23.git"
|
||||
|
||||
@@ -0,0 +1,55 @@
|
||||
description = "Portable package for producing dynamically PDF documents"
|
||||
name = "apdf"
|
||||
version = "7.0.0"
|
||||
authors = ["Gautier de Montmollin"]
|
||||
website = "https://apdf.sourceforge.io/"
|
||||
licenses = "MIT"
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
||||
project-files = ["pdf_out_gnat_w_gid.gpr"]
|
||||
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
|
||||
tags = ["pdf", "adobe"]
|
||||
|
||||
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, charts, maps etc.
|
||||
* Vector graphics
|
||||
* Inclusion of JPEG images
|
||||
* Object oriented
|
||||
* 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 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 = ">=9.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/apdf/files/apdf_007.zip"
|
||||
hashes = ["sha512:11c5d525f3e77d88f673dc8921af4304f33188c0ca54c3ab3da3013212d48027019f31b935933aeaad8d40ead76a3711f8ed491810e63f546e1f550e15cfb7ea"]
|
||||
@@ -0,0 +1,55 @@
|
||||
description = "Portable package for producing dynamically PDF documents"
|
||||
name = "apdf"
|
||||
version = "8.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_w_gid.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_008.zip"
|
||||
hashes = ["sha512:7dddb047dc67854f9c0879715704f66dda3ea19c31bf4f81f5de91b72a9367720d3f170131ea61e380acffc5a2f0d3bcb0d2bf31ffb8376173be293514851d1c"]
|
||||
@@ -0,0 +1,91 @@
|
||||
description = "Advanced Resource Embedder"
|
||||
name = "are"
|
||||
version = "1.5.0"
|
||||
authors = ["Stephane.Carrez@gmail.com"]
|
||||
licenses = "Apache-2.0"
|
||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers-logins = ["stcarrez"]
|
||||
project-files = ["are_tool.gpr"]
|
||||
tags = ["resource", "embedder", "generator"]
|
||||
website = "https://gitlab.com/stcarrez/resource-embedder"
|
||||
executables = ["are"]
|
||||
long-description = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
|
||||
|
||||
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
|
||||
files that contain the original files.
|
||||
|
||||
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
|
||||
|
||||
```
|
||||
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
|
||||
```
|
||||
|
||||
Complex resource integrations are best described with and XML and are generated with:
|
||||
|
||||
```
|
||||
are --lang=Ada -o src --rule=package.xml --name-access .
|
||||
```
|
||||
|
||||
For Ada, it generates the following package declaration with the `Get_Content` function
|
||||
that gives access to the files. The Ada body contains the content of each embedded file.
|
||||
|
||||
```Ada
|
||||
package Config is
|
||||
function Get_Content (Name : in String)
|
||||
return access constant String;
|
||||
end Config;
|
||||
```
|
||||
|
||||
"""
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
windows = true
|
||||
macos = true
|
||||
'...' = false
|
||||
|
||||
[[depends-on]]
|
||||
xmlada = "~23.0.0"
|
||||
utilada = "^2.6.0"
|
||||
elada = "^1.8.6"
|
||||
|
||||
[gpr-externals]
|
||||
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
|
||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
||||
|
||||
[gpr-set-externals]
|
||||
ARE_BUILD = "distrib"
|
||||
ARE_SWITCH = "HAS_CALLBACK"
|
||||
|
||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
|
||||
UTIL_OS = "linux32"
|
||||
|
||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
|
||||
UTIL_OS = "linux64"
|
||||
|
||||
[gpr-set-externals."case(os)".macos]
|
||||
UTIL_OS = "macos64"
|
||||
|
||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
|
||||
UTIL_OS = "win32"
|
||||
|
||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
|
||||
UTIL_OS = "win64"
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
||||
|
||||
[origin]
|
||||
commit = "492468e6cc293a393949ac800ce0ba76d6e899b0"
|
||||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
|
||||
|
||||
@@ -0,0 +1,91 @@
|
||||
description = "Advanced Resource Embedder"
|
||||
name = "are"
|
||||
version = "1.5.1"
|
||||
authors = ["Stephane.Carrez@gmail.com"]
|
||||
licenses = "Apache-2.0"
|
||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers-logins = ["stcarrez"]
|
||||
project-files = ["are_tool.gpr"]
|
||||
tags = ["resource", "embedder", "generator"]
|
||||
website = "https://gitlab.com/stcarrez/resource-embedder"
|
||||
executables = ["are"]
|
||||
long-description = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
||||
[](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
|
||||
|
||||
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
|
||||
files that contain the original files.
|
||||
|
||||
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
|
||||
|
||||
```
|
||||
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
|
||||
```
|
||||
|
||||
Complex resource integrations are best described with and XML and are generated with:
|
||||
|
||||
```
|
||||
are --lang=Ada -o src --rule=package.xml --name-access .
|
||||
```
|
||||
|
||||
For Ada, it generates the following package declaration with the `Get_Content` function
|
||||
that gives access to the files. The Ada body contains the content of each embedded file.
|
||||
|
||||
```Ada
|
||||
package Config is
|
||||
function Get_Content (Name : in String)
|
||||
return access constant String;
|
||||
end Config;
|
||||
```
|
||||
|
||||
"""
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
windows = true
|
||||
macos = true
|
||||
'...' = false
|
||||
|
||||
[[depends-on]]
|
||||
xmlada = "^23.0.0"
|
||||
utilada = "^2.6.0"
|
||||
elada = "^1.8.6"
|
||||
|
||||
[gpr-externals]
|
||||
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
|
||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
||||
|
||||
[gpr-set-externals]
|
||||
ARE_BUILD = "distrib"
|
||||
ARE_SWITCH = "HAS_CALLBACK"
|
||||
|
||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
|
||||
UTIL_OS = "linux32"
|
||||
|
||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
|
||||
UTIL_OS = "linux64"
|
||||
|
||||
[gpr-set-externals."case(os)".macos]
|
||||
UTIL_OS = "macos64"
|
||||
|
||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
|
||||
UTIL_OS = "win32"
|
||||
|
||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
|
||||
UTIL_OS = "win64"
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
||||
|
||||
[origin]
|
||||
commit = "a029ed06a8227b51b79253c1cb49b26d83c7c262"
|
||||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
|
||||
|
||||
@@ -0,0 +1,39 @@
|
||||
name = "asfml"
|
||||
description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
|
||||
version = "2.6.1"
|
||||
long-description = """
|
||||
[](https://www.sfml-dev.org)
|
||||
/badge.svg)
|
||||
[](https://gitter.im/ada-lang/Lobby)
|
||||
[](https://github.com/ohenley/awesome-ada)
|
||||
|
||||
ASFML is an Ada semi-thick binding to the
|
||||
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
|
||||
portable defined types which eliminates the inclusion of Ada interface
|
||||
libraries, but most of the functions are directly imported.
|
||||
|
||||
# Documentation
|
||||
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
|
||||
|
||||
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
|
||||
with some changes and additions for ease of use.
|
||||
|
||||
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
|
||||
|
||||
"""
|
||||
|
||||
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
|
||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
||||
maintainers-logins = ["mgrojo"]
|
||||
|
||||
licenses = "custom-zlib-acknowledgement"
|
||||
website = "https://mgrojo.github.io/ASFML/"
|
||||
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
|
||||
|
||||
[[depends-on]]
|
||||
libcsfml = "^2.6.1"
|
||||
|
||||
[origin]
|
||||
commit = "52ca4a2bb983b73af2e6e1251c9c82ece94499e2"
|
||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "atomic"
|
||||
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
|
||||
version = "1.0.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 = "de36e4a83a15f8b158c0d390a343c5da80499894"
|
||||
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
description = "Ada unit test framework"
|
||||
name = "aunit"
|
||||
version = "25.0.0"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
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/v25.0.0/aunit-25.0.0.zip"
|
||||
hashes=['sha512:3882c581a7a9d3c592cae44f683bb4c4d341135359ca8895d2f6c9eff8a083f9147b9d0f8f7201ed677f32ac67bea47477529d839731b56f07bbcce68c514191']
|
||||
@@ -0,0 +1,90 @@
|
||||
description = "Ada Web Application"
|
||||
name = "awa"
|
||||
version = "2.5.0"
|
||||
tags = ["web", "users", "jobs", "wiki", "framework", "storage", "blog"]
|
||||
website = "https://gitlab.com/stcarrez/ada-awa"
|
||||
|
||||
licenses = "Apache-2.0"
|
||||
authors = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers-logins = ["stcarrez"]
|
||||
long-description = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
|
||||
[](https://ada-util.readthedocs.io/en/latest/?badge=latest)
|
||||
|
||||
Ada Web Application is a framework to build a Web Application in Ada 2012.
|
||||
The framework provides several ready to use and extendable modules that are common
|
||||
to many web application. This includes the login, authentication, users, permissions,
|
||||
managing comments, tags, votes, documents, images. It provides a complete blog,
|
||||
question and answers and a wiki module.
|
||||
|
||||
AWA simplifies the Web Application development by taking care of user management with
|
||||
Google+, Facebook authentication and by providing the foundations on top of which you
|
||||
can construct your own application. AWA provides a powerful permission management
|
||||
that gives flexibility to applications to grant access and protect your user's resources.
|
||||
|
||||

|
||||
|
||||
# Documentation
|
||||
|
||||
The Ada Web Application programmer's guide describes how to setup the framework,
|
||||
how you can setup and design your first web application with it,
|
||||
and it provides detailed description of AWA components:
|
||||
|
||||
* [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
|
||||
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
|
||||
* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
|
||||
* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
|
||||
|
||||
"""
|
||||
|
||||
project-files = [
|
||||
".alire/awa_blogs.gpr", ".alire/awa.gpr", ".alire/awa_settings.gpr", ".alire/awa_wikis.gpr",
|
||||
".alire/awa_changelogs.gpr", ".alire/awa_images.gpr", ".alire/awa_setup.gpr", ".alire/awa_workspaces.gpr",
|
||||
".alire/awa_comments.gpr", ".alire/awa_jobs.gpr", ".alire/awa_storages.gpr",
|
||||
".alire/awa_counters.gpr", ".alire/awa_mail.gpr", ".alire/awa_tags.gpr",
|
||||
".alire/awa_countries.gpr", ".alire/awa_questions.gpr", ".alire/awa_votes.gpr"
|
||||
]
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
freebsd = true
|
||||
windows = false
|
||||
macos = false
|
||||
'...' = false
|
||||
|
||||
[[depends-on]]
|
||||
utilada = "^2.6.0"
|
||||
utilada_xml = "^2.6.0"
|
||||
ado = "^2.4.0"
|
||||
wikiada = "^1.4.1"
|
||||
elada = "^1.8.6"
|
||||
security = "^1.5.0"
|
||||
serverfaces = "^1.6.0"
|
||||
servletada = "^1.7.0"
|
||||
keystoreada = "^1.4.0"
|
||||
aws = "~24.0"
|
||||
|
||||
[[actions]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "./alire-setup.sh"]
|
||||
|
||||
[gpr-externals]
|
||||
AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
AWA_AWS_IMPL = ["none", "1", "2", "3", "4"]
|
||||
|
||||
[gpr-set-externals]
|
||||
AWA_AWS_IMPL = "4"
|
||||
|
||||
[environment]
|
||||
DYNAMO_SEARCH_PATH.prepend = "${CRATE_ROOT}/awa/plugins"
|
||||
DYNAMO_UML_PATH.prepend = "${CRATE_ROOT}/awa/uml"
|
||||
|
||||
[origin]
|
||||
commit = "e34bd6db1a23d6f47214d7001b3c0ce55a7cf54f"
|
||||
url = "git+https://github.com/stcarrez/ada-awa.git"
|
||||
|
||||
@@ -0,0 +1,55 @@
|
||||
description = "Ada Web Application (Testing framework)"
|
||||
name = "awa_unit"
|
||||
version = "2.5.0"
|
||||
tags = ["web", "users", "jobs", "framework", "testing"]
|
||||
website = "https://gitlab.com/stcarrez/ada-awa"
|
||||
|
||||
licenses = "Apache-2.0"
|
||||
authors = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers-logins = ["stcarrez"]
|
||||
long-description = """
|
||||
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
|
||||
[](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
|
||||
[](https://ada-util.readthedocs.io/en/latest/?badge=latest)
|
||||
|
||||
Ada Web Application is a framework to build a Web Application in Ada 2012.
|
||||
The framework provides several ready to use and extendable modules that are common
|
||||
to many web application. This includes the login, authentication, users, permissions,
|
||||
managing comments, tags, votes, documents, images. It provides a complete blog,
|
||||
question and answers and a wiki module.
|
||||
|
||||
This library provides a testing framework on top of AWA top help implementing
|
||||
unit tests for AWA applications.
|
||||
|
||||
# Documentation
|
||||
|
||||
The Ada Web Application programmer's guide describes how to setup the framework,
|
||||
how you can setup and design your first web application with it,
|
||||
and it provides detailed description of AWA components:
|
||||
|
||||
* [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
|
||||
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
|
||||
* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
|
||||
* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
|
||||
|
||||
"""
|
||||
|
||||
project-files = ["awa_unit.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
awa = "^2.5.0"
|
||||
serverfaces_unit = "^1.6.0"
|
||||
servletada_unit = "^1.7.0"
|
||||
|
||||
[gpr-externals]
|
||||
AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||
AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[origin]
|
||||
commit = "e34bd6db1a23d6f47214d7001b3c0ce55a7cf54f"
|
||||
subdir = "./.alire/unit/"
|
||||
url = "git+https://github.com/stcarrez/ada-awa.git"
|
||||
|
||||
@@ -0,0 +1,58 @@
|
||||
description = "AZip - A portable Zip Archive Manager"
|
||||
name = "azip"
|
||||
version = "2.6.2"
|
||||
|
||||
authors = ["Gautier de Montmollin"]
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch"]
|
||||
website = "https://azip.sourceforge.io/"
|
||||
licenses = "MIT"
|
||||
tags = ["application", "azip", "zip", "archive", "file-manager"]
|
||||
long-description = """
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
|
||||
|
||||
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
|
||||
|
||||
Features:
|
||||
|
||||
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
|
||||
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
|
||||
* Smart archive Updater: changes only new, modified files
|
||||
* Archive Recompression: makes Zip archives smaller
|
||||
* Easy toggle from Flat view to Tree view, and back
|
||||
* Multi-document
|
||||
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
|
||||
* Encryption
|
||||
* Portable (no installation needed, no DLL)
|
||||
* Can operate with a config file instead of the registry (stealth mode)
|
||||
* Installable if desired (application is its own installer)
|
||||
* Compatible with other Zip archivers, regardless of the Operating System
|
||||
* **Free**, Open-Source
|
||||
"""
|
||||
|
||||
project-files = ["gwindows/azip_gw_project_tree.gpr"]
|
||||
executables = ["azip"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[gpr-externals]
|
||||
AZip_Build_Mode = ["Debug", "Fast", "Small"]
|
||||
|
||||
[gpr-set-externals]
|
||||
AZip_Build_Mode = "Fast"
|
||||
Zip_Build_Mode = "Fast"
|
||||
|
||||
[[depends-on]]
|
||||
ini_files = ">=11.0.0"
|
||||
[[depends-on]]
|
||||
gwindows = ">=1.4.3"
|
||||
[[depends-on]]
|
||||
zipada = ">=59.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/azip/files/azip-src-2.6.2.zip"
|
||||
hashes = ["sha512:8516998ea2ec24ec5c76992fd31ab1bd7c10958e534705989d56f77eef152454f95cef5d97aa490a8730a0afed5b53ad52cbc946bdffd647268d9a75372212ec"]
|
||||
@@ -0,0 +1,58 @@
|
||||
description = "AZip - A portable Zip Archive Manager"
|
||||
name = "azip"
|
||||
version = "2.7.0"
|
||||
|
||||
authors = ["Gautier de Montmollin"]
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch"]
|
||||
website = "https://azip.sourceforge.io/"
|
||||
licenses = "MIT"
|
||||
tags = ["application", "azip", "zip", "archive", "file-manager"]
|
||||
long-description = """
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
|
||||
|
||||
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
|
||||
|
||||
Features:
|
||||
|
||||
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
|
||||
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
|
||||
* Smart archive Updater: changes only new, modified files
|
||||
* Archive Recompression: makes Zip archives smaller
|
||||
* Easy toggle from Flat view to Tree view, and back
|
||||
* Multi-document
|
||||
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
|
||||
* Encryption
|
||||
* Portable (no installation needed, no DLL)
|
||||
* Can operate with a config file instead of the registry (stealth mode)
|
||||
* Installable if desired (application is its own installer)
|
||||
* Compatible with other Zip archivers, regardless of the Operating System
|
||||
* **Free**, Open-Source
|
||||
"""
|
||||
|
||||
project-files = ["gwindows/azip_gw_project_tree.gpr"]
|
||||
executables = ["azip"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[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]]
|
||||
gwindows = ">=1.4.3"
|
||||
[[depends-on]]
|
||||
zipada = ">=59.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/azip/files/azip-src-2.7.0.zip"
|
||||
hashes = ["sha512:b26fbf15ed59383acd4021bcbbd0b6ff7595d04da5f20da5f7ada8405b9e93d8ac47a80ff5756271146aced07d4816777f01c519be3b1ef10873438605b2a2ed"]
|
||||
@@ -0,0 +1,59 @@
|
||||
description = "AZip - A portable Zip Archive Manager"
|
||||
name = "azip"
|
||||
version = "2.7.1"
|
||||
|
||||
authors = ["Gautier de Montmollin"]
|
||||
website = "https://github.com/zertovitch/azip"
|
||||
licenses = "MIT"
|
||||
tags = ["application", "azip", "zip", "archive", "file-manager"]
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch"]
|
||||
|
||||
long-description = """
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_recomp.png" ><img src="https://azip.sourceforge.io/azip_recomp_mini.png" alt="azip screenshot 1" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip%20014%20overview.png" ><img src="https://azip.sourceforge.io/azip%20014%20overview%20mini.png" alt="azip screenshot 2" width="auto" height="140"></a>
|
||||
<a target="_blank" href="https://azip.sourceforge.io/azip_columns_anim_354_KiB.gif"><img src="https://azip.sourceforge.io/azip_columns_anim_175px.gif" alt="azip screenshot 3" width="auto" height="140"></a>
|
||||
|
||||
**AZip** is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression.
|
||||
|
||||
Features:
|
||||
|
||||
* In addition to usual archive management (Add / Remove / Extract files), AZip provides the following unique functions:
|
||||
* Super-fast in-archive Search function: content and/or entry name search through a Zip archive. No temp files written!
|
||||
* Smart archive Updater: changes only new, modified files
|
||||
* Archive Recompression: makes Zip archives smaller
|
||||
* Easy toggle from Flat view to Tree view, and back
|
||||
* Multi-document
|
||||
* Compression methods supported: Reduce, Shrink, Implode, Deflate, Deflate64, BZip2, LZMA
|
||||
* Encryption
|
||||
* Portable (no installation needed, no DLL)
|
||||
* Can operate with a config file instead of the registry (stealth mode)
|
||||
* Installable if desired (application is its own installer)
|
||||
* Compatible with other Zip archivers, regardless of the Operating System
|
||||
* **Free**, Open-Source
|
||||
"""
|
||||
|
||||
project-files = ["gwindows/azip_gw_project_tree.gpr"]
|
||||
executables = ["azip"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[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]]
|
||||
gwindows = ">=1.5.0"
|
||||
[[depends-on]]
|
||||
zipada = ">=61.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/azip/files/azip-src-2.7.1.zip"
|
||||
hashes = ["sha512:ae934972307b2c08f8db391ae8363cef1d59bc338f1a425ae97d1f35b99e194f6005261c605a13b47dbf9ea08c1f602d3ac87c0f084845faa8bca4b448173cca"]
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "bar_code_drawing"
|
||||
description = "Creation of bar codes and qr codes"
|
||||
version = "20240701"
|
||||
|
||||
authors = ["Jeffrey Carter"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/bracke/Bar_Code_Drawing"
|
||||
tags = ["barcode", "code128", "msi", "qr", "upca", "ean13", "bmp", "pbm", "svg"]
|
||||
|
||||
[build-switches]
|
||||
"*".style_checks = "No"
|
||||
"*".ada_version = "Ada12"
|
||||
|
||||
[[depends-on]] # Avoid bug in GNAT 13
|
||||
gnat = "<13.0 | >=13.3"
|
||||
|
||||
[[depends-on]]
|
||||
pragmarc = "^20240323.0.0"
|
||||
|
||||
[[depends-on]]
|
||||
ada_gui = "^20240224.0.0"
|
||||
|
||||
[[depends-on]]
|
||||
image_io = "^20240601.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "9f093ffd8c68776445dab6c1a976eca28bf1eb6b"
|
||||
url = "git+https://github.com/bracke/Bar_Code_Drawing.git"
|
||||
|
||||
@@ -0,0 +1,59 @@
|
||||
description = "Generate various types of bar codes (1D or 2D) on various media"
|
||||
name = "bar_codes"
|
||||
version = "3.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",
|
||||
"pbm", "pdf", "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
|
||||
* 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, 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_003.zip"
|
||||
hashes = ["sha512:ed998c1f89c6970dce157aea2256197a2c1affd9afae90c296bacb6b4019ddf361904113bb60a1642e6558ed0f501909935145d8d735ec3b8b2267794040fc0b"]
|
||||
@@ -0,0 +1,59 @@
|
||||
description = "Generate various types of bar codes (1D or 2D) on various media"
|
||||
name = "bar_codes"
|
||||
version = "4.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",
|
||||
"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
|
||||
* 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, 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_004.zip"
|
||||
hashes = ["sha512:ba95da5c0f28785f9bf48be22bbd52d2878f0b8337047e288e5b37d2d64d782c170eb7484a11048456b98a2caf12a7538046bdb944dbf5ef6a4b32be4c75d243"]
|
||||
@@ -0,0 +1,61 @@
|
||||
description = "Generate various types of bar codes (1D or 2D) on various media"
|
||||
name = "bar_codes"
|
||||
version = "5.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, 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_005.zip"
|
||||
hashes = ["sha512:c211b27c745a38409ecdf858277e0456fbb41692ee4534f4ae05ae75f75d37407f66a89d394a18f99c59a11f83fd4319f5cc41fb7416016a96b9576deb7dcac5"]
|
||||
@@ -0,0 +1,57 @@
|
||||
name = "bare_runtime"
|
||||
description = "Minimal Ada/SPARK run-time for embedded or other restricted targets"
|
||||
version = "14.0.0"
|
||||
|
||||
long-description = """
|
||||
## Usage
|
||||
|
||||
First edit you `alire.toml` file and add the following elements:
|
||||
- Add `bare_runtime` in the dependency list:
|
||||
```toml
|
||||
[[depends-on]]
|
||||
bare_runtime = "*"
|
||||
```
|
||||
- Add cross GNAT in the dependency list (e.g. gnat_arm_elf):
|
||||
```toml
|
||||
[[depends-on]]
|
||||
gnat_arm_elf = "*"
|
||||
```
|
||||
- Set the architecture build switches, we use ARM Cortex-M4F as an example here:
|
||||
```toml
|
||||
[gpr-set-externals]
|
||||
BARE_RUNTIME_SWITCHES = "-mlittle-endian -mthumb -mfloat-abi=hard -mcpu=cortex-m4 -mfpu=fpv4-sp-d16"
|
||||
```
|
||||
|
||||
Then edit your project file to add the following elements:
|
||||
- "with" the run-time project file. With this, gprbuild will compile the run-time before your application
|
||||
```ada
|
||||
with "bare_runtime.gpr";
|
||||
```
|
||||
- Specify the `Target` and `Runtime` attributes:
|
||||
```ada
|
||||
for Target use "arm-eabi";
|
||||
for Runtime ("Ada") use Bare_Runtime'Runtime ("Ada");
|
||||
"""
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
tags = ["embedded", "runtime"]
|
||||
website = "https://github.com/Fabien-Chouteau/bare_runtime"
|
||||
|
||||
[configuration]
|
||||
generate_gpr = false
|
||||
generate_c = false
|
||||
|
||||
[configuration.variables]
|
||||
LCH_Print_Info = { type = "Boolean", default = false }
|
||||
LCH_Reset = { type = "Boolean", default = false }
|
||||
|
||||
[[depends-on]]
|
||||
gnat = "^14"
|
||||
|
||||
[origin]
|
||||
commit = "095db6f0be63e3ee266b8dea6d00e8d0e07e7144"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bare_runtime.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "bbqueue"
|
||||
description = "DMA friendly lock-free BipBuffer"
|
||||
version = "1.0.0"
|
||||
|
||||
licenses = "MIT"
|
||||
authors = ["Fabien Chouteau"]
|
||||
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
|
||||
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
|
||||
|
||||
long-description = """An Ada/SPARK proved implementation of James Munns'
|
||||
BBQueue (https://github.com/jamesmunns/bbqueue)"""
|
||||
|
||||
[build-switches]
|
||||
release.runtime_checks = "none"
|
||||
|
||||
[[depends-on]]
|
||||
atomic = "^1.0.0"
|
||||
gnat = ">=10"
|
||||
|
||||
[origin]
|
||||
commit = "f508818cae5c23e45864e19c618fe2b1dc7c6362"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
||||
|
||||
@@ -0,0 +1,15 @@
|
||||
name = "bbs"
|
||||
description = "Root package for other crates and contains some physical units"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "0BSD"
|
||||
website = "https://github.com/BrentSeidel/BBS-Ada"
|
||||
tags = ["units"]
|
||||
|
||||
[origin]
|
||||
commit = "d0806fabe7cd506e0be1c8cbaf9bc7e806c2c193"
|
||||
url = "git+https://github.com/BrentSeidel/BBS-Ada.git"
|
||||
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "bbs_ansiterm"
|
||||
description = "Generate Escape Sequences for ANSI terminals"
|
||||
version = "0.1.0"
|
||||
|
||||
long-description="""
|
||||
Constants, functions, and procedures for generating ANSI escape sequences.
|
||||
If you need something that provides more than this, you should take a look
|
||||
at one of the curses/ncurses variants.
|
||||
Refer to the documentation for more information.
|
||||
"""
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
website = ""
|
||||
tags = ["vt100", "escape", "ansi"]
|
||||
|
||||
[[depends-on]]
|
||||
bbs = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "a8537e1458bf13771638d2f7f9223097cae50e22"
|
||||
url = "git+https://github.com/BrentSeidel/ANSITerm.git"
|
||||
|
||||
@@ -0,0 +1,29 @@
|
||||
name = "bbs_embed_common"
|
||||
description = "Abstract hardware drivers and drivers for some i2c bus devices."
|
||||
version = "0.1.0"
|
||||
|
||||
long-description="""
|
||||
This crate contains base classes for some hardware devices such as Analog
|
||||
Inputs, GPIO pins, I2C bus, and SPI bus. It also contains drivers for
|
||||
devices that use, for example, an I2C bus.
|
||||
|
||||
By itself, this crate isn't much use. It will need to be used with the
|
||||
bbs_embed_linux crate which contains hardware drivers for the Raspberry Pi
|
||||
and BeagleBone Black.
|
||||
"""
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
|
||||
tags = ["embedded"]
|
||||
|
||||
[[depends-on]]
|
||||
bbs = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "cfbd52e3e8b1f17751acdecdec70c3f6acaa14a1"
|
||||
subdir = "./src-common/"
|
||||
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
|
||||
|
||||
@@ -0,0 +1,29 @@
|
||||
name = "bbs_embed_common"
|
||||
description = "Abstract hardware drivers and drivers for some i2c bus devices."
|
||||
version = "0.2.0"
|
||||
|
||||
long-description="""
|
||||
This crate contains base classes for some hardware devices such as Analog
|
||||
Inputs, GPIO pins, I2C bus, and SPI bus. It also contains drivers for
|
||||
devices that use, for example, an I2C bus.
|
||||
|
||||
By itself, this crate isn't much use. It will need to be used with the
|
||||
bbs_embed_linux crate which contains hardware drivers for the Raspberry Pi
|
||||
and BeagleBone Black.
|
||||
"""
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
|
||||
tags = ["embedded"]
|
||||
|
||||
[[depends-on]]
|
||||
bbs = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "37c1a69b6cb64b0b7b7ac63a7ed5a1459d22e237"
|
||||
subdir = "./src-common/"
|
||||
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
|
||||
|
||||
@@ -0,0 +1,32 @@
|
||||
name = "bbs_embed_linux"
|
||||
description = "Physical device drivers for Raspberry Pi and BeagleBone Black"
|
||||
version = "0.1.0"
|
||||
|
||||
long-description = """
|
||||
This contains device drivers for unix-type systems. The physical devices
|
||||
are defined for the Raspberry Pi and BeagleBone Black, but it should
|
||||
compile on any unix-type environment.
|
||||
"""
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
|
||||
tags = ["embedded", "devices", "hardware"]
|
||||
|
||||
[available."case(os)"]
|
||||
"windows" = false
|
||||
"..." = true
|
||||
|
||||
[[depends-on]]
|
||||
bbs = "~0.1.0"
|
||||
|
||||
[[depends-on]]
|
||||
bbs_embed_common = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "17b6af3a282e68d129d65288c7add354393fe76a"
|
||||
subdir = "./src-linux/"
|
||||
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
|
||||
|
||||
@@ -0,0 +1,32 @@
|
||||
name = "bbs_embed_linux"
|
||||
description = "Physical device drivers for Raspberry Pi and BeagleBone Black"
|
||||
version = "0.2.0"
|
||||
|
||||
long-description = """
|
||||
This contains device drivers for unix-type systems. The physical devices
|
||||
are defined for the Raspberry Pi and BeagleBone Black, but it should
|
||||
compile on any unix-type environment.
|
||||
"""
|
||||
|
||||
authors = ["Brent Seidel"]
|
||||
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
|
||||
maintainers-logins = ["BrentSeidel"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
website = "https://github.com/BrentSeidel/BBS-BBB-Ada"
|
||||
tags = ["embedded", "devices", "hardware"]
|
||||
|
||||
[available."case(os)"]
|
||||
"windows" = false
|
||||
"..." = true
|
||||
|
||||
[[depends-on]]
|
||||
bbs = "~0.1.0"
|
||||
|
||||
[[depends-on]]
|
||||
bbs_embed_common = "~0.2.0"
|
||||
|
||||
[origin]
|
||||
commit = "bc3a1eafa18eb9aa755631b198455dd6b9bb6c09"
|
||||
subdir = "./src-linux/"
|
||||
url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git"
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user