Compare commits

..

1 Commits

Author SHA1 Message Date
Alejandro R Mosteo 3745f5846b fix: improper syntax that will be rejected post-2.1 (#1417) (#1445)
We had a missing check in index loading logic that should have rejected an unexpected array.
2025-03-20 18:52:42 +01:00
479 changed files with 100 additions and 15741 deletions
+7 -4
View File
@@ -13,7 +13,7 @@ jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v3
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -21,14 +21,17 @@ jobs:
# changed files detectors.
- name: Check out alire-index-checks
uses: actions/checkout@v4
uses: actions/checkout@v3
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
- name: Set up nightly `alr`
uses: alire-project/setup-alire@v2
with:
version: nightly
toolchain: --disable-assistant
- name: Test authorship
run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
+6 -15
View File
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 1.2.2
on:
pull_request:
@@ -18,8 +18,6 @@ jobs:
build:
name: ${{ matrix.tag }}
env:
JOB_NAME: ${{ matrix.tag }}
runs-on: ubuntu-latest
@@ -31,13 +29,11 @@ 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@v4
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -46,7 +42,7 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v4
uses: actions/checkout@v3
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
@@ -54,14 +50,14 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
@@ -71,9 +67,4 @@ 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
-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 }}
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
+5 -13
View File
@@ -10,7 +10,6 @@ name: Build Crate (alr dev)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
pull_request:
@@ -21,8 +20,6 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -30,14 +27,13 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-latest
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v4
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -46,25 +42,21 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v4
uses: actions/checkout@v3
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@v4
uses: alire-project/setup-alire@v2
with:
branch: 'master'
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
run: ${{env.PACMAN}} --noconfirm -S tar
run: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman --noconfirm -S tar
- 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 -17
View File
@@ -6,8 +6,7 @@ name: Build Crate (Alire toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
ALR_VERSION: 1.2.2
on:
pull_request:
@@ -18,8 +17,6 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -27,14 +24,13 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-latest
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v4
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -43,34 +39,30 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v4
uses: actions/checkout@v3
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
# By default, this also sets up the newest indexed native toolchain
# By default, this sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
version: ${{env.ALR_VERSION}}
# By default, this also sets up the newest indexed native toolchain
# By default, this sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
branch: 'master'
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
run: ${{env.PACMAN}} --noconfirm -S tar
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
- 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 -18
View File
@@ -9,7 +9,6 @@ name: Build Crate (MacPorts)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
on:
pull_request:
@@ -20,8 +19,6 @@ jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
@@ -29,12 +26,11 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v4
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
@@ -43,16 +39,16 @@ jobs:
# check-author action).
- name: Check out alire-index-checks
uses: actions/checkout@v4
uses: actions/checkout@v3
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
- name: Set up devel `alr`
uses: alire-project/setup-alire@v2
with:
version: ${{env.ALR_VERSION}}
branch: 'master'
- name: Disable Homebrew
run: rm -f $(which brew)
@@ -61,14 +57,6 @@ 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
+4 -9
View File
@@ -1,25 +1,20 @@
name: Check Index
env:
ALR_VERSION: 2.0.2
on: pull_request
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@master
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
version: ${{env.ALR_VERSION}}
version: 1.2.2
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
branch: master
+5 -5
View File
@@ -8,7 +8,7 @@ name: Diff release
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 1.2.2
on:
pull_request:
@@ -23,7 +23,7 @@ jobs:
steps:
- name: Check out alire-index
uses: actions/checkout@v4
uses: actions/checkout@v2
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@v4
uses: actions/checkout@v3
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
@@ -39,14 +39,14 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@v2
with:
toolchain: --disable-assistant # We don't need the compiler
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@v2
with:
toolchain: --disable-assistant # We don't need the compiler
branch: master
-34
View File
@@ -1,34 +0,0 @@
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"
-35
View File
@@ -1,35 +0,0 @@
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"
-35
View File
@@ -1,35 +0,0 @@
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"
@@ -1,33 +0,0 @@
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"
@@ -1,25 +0,0 @@
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"
@@ -1,25 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,28 +0,0 @@
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"
@@ -1,28 +0,0 @@
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"
-19
View File
@@ -1,19 +0,0 @@
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"
-19
View File
@@ -1,19 +0,0 @@
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"
-20
View File
@@ -1,20 +0,0 @@
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"
-25
View File
@@ -1,25 +0,0 @@
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"
@@ -1,22 +0,0 @@
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"
@@ -1,23 +0,0 @@
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"
-30
View File
@@ -1,30 +0,0 @@
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"
-29
View File
@@ -1,29 +0,0 @@
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"
-28
View File
@@ -1,28 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,29 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"
@@ -1,31 +0,0 @@
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"
-23
View File
@@ -1,23 +0,0 @@
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"
-28
View File
@@ -1,28 +0,0 @@
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"
-25
View File
@@ -1,25 +0,0 @@
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"
-36
View File
@@ -1,36 +0,0 @@
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"
-25
View File
@@ -1,25 +0,0 @@
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"
-27
View File
@@ -1,27 +0,0 @@
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"
@@ -1,24 +0,0 @@
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"
@@ -1,59 +0,0 @@
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"
@@ -1,30 +0,0 @@
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"]
@@ -1,32 +0,0 @@
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"]
-107
View File
@@ -1,107 +0,0 @@
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"]
-22
View File
@@ -1,22 +0,0 @@
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"
-23
View File
@@ -1,23 +0,0 @@
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"
-65
View File
@@ -1,65 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser
* 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"
-65
View File
@@ -1,65 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser
* 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"
-73
View File
@@ -1,73 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* 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"
-74
View File
@@ -1,74 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* 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"
-74
View File
@@ -1,74 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* 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"
-75
View File
@@ -1,75 +0,0 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Protected queue - with finish, wait for finish and abort support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.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"
@@ -1,53 +0,0 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.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"
@@ -1,53 +0,0 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.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"
@@ -1,54 +0,0 @@
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"
@@ -1,54 +0,0 @@
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"
-28
View File
@@ -1,28 +0,0 @@
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"
@@ -1,38 +0,0 @@
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"
@@ -1,36 +0,0 @@
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"
-24
View File
@@ -1,24 +0,0 @@
name = "adasat"
description = "Implementation of a DPLL-based SAT solver in Ada."
long-description = """
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
"""
version = "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']
-61
View File
@@ -1,61 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
Ada Database Objects is an Ada05 library that provides
object relational mapping to access a database in Ada05.
The library supports Postgresql, MySQL, SQLite as databases.
Most of the concepts developped for ADO come from the Java Hibernate ORM.
The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
for the implementation. It provides a database driver for [Postgresql](https://www.postgresql.org/),
[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/). The ORM helps your
application by providing a mapping of your database tables directly in the target programming
language: Ada05 in our case. The development process is the following:
* You design your database model either using a UML tool or by writing a YAML or XML description,
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
* You generate the SQL database tables by using the same tool,
* You write your application on top of the generated code that gives you direct and simplified access to your database.
![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
You need at least one of these databases (or all of then). The configure script will now
fail if no supported database was found. Check the [Database Drivers](#database-drivers)
section to install them and run the configure again after the installation.
# Documentation
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
"""
[[depends-on]]
utilada = "^2.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"
-42
View File
@@ -1,42 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the MySQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.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"
@@ -1,38 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the PostgreSQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.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"
-38
View File
@@ -1,38 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the SQLite 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"
-95
View File
@@ -1,95 +0,0 @@
description = "Ada Keystore Tool"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
# Overview
AKT is a tool to store and protect your sensitive information and documents by
encrypting them in secure keystore (AES-256, HMAC-256).
Create the keystore and protect it with a gpg public key:
```
akt create secure.akt --gpg <keyid> ...
```
Store a small content:
```
akt set secure.akt bank.password 012345
```
Store files, directory or a tar file:
```
akt store secure.akt notes.txt
akt store secure.akt contract.doc
akt store secure.akt directory
tar czf - . | akt store secure.akt -- backup
```
Edit a content with your $EDITOR:
```
akt edit secure.akt bank.password
akt edit secure.akt notes.txt
```
Get a content:
```
akt get secure.akt bank.password
akt extract secure.akt contract.doc
akt extract secure.akt -- backup | tar xzf -
```
## Documents
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
"""
name = "akt"
version = "1.4.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"
@@ -1,55 +0,0 @@
name = "alr2appimage"
description = "Tool to create an AppImage executable from an Alire crate"
version = "0.9.2"
website = "https://github.com/mgrojo/alr2appimage"
long-description = """
There are two prerequisites for your project to work with this tool:
- It has to be a crate with an `executables` field. Its first value
has to be the main application program.
- 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 = "71ae65731924e10a675590c2ccec774640820786"
url = "git+https://github.com/mgrojo/alr2appimage.git"
@@ -1,55 +0,0 @@
name = "alr2appimage"
description = "Tool to create an AppImage executable from an Alire crate"
version = "0.9.3"
website = "https://github.com/mgrojo/alr2appimage"
long-description = """
There are two prerequisites for your project to work with this tool:
- It has to be a crate with an `executables` field. Its first value
has to be the main application program.
- 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 = "fba60fa7465d49f08ca30eac5e9b121d1ae5e6a4"
url = "git+https://github.com/mgrojo/alr2appimage.git"
@@ -1,57 +0,0 @@
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"
-15
View File
@@ -1,15 +0,0 @@
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"
-27
View File
@@ -1,27 +0,0 @@
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"
-27
View File
@@ -1,27 +0,0 @@
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"
-55
View File
@@ -1,55 +0,0 @@
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.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_parcel_m.png "Screenshot of a page produced by PDF_Out")
* 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"]
-55
View File
@@ -1,55 +0,0 @@
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.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_delivery_m.png "Screenshot of a page produced by PDF_Out")
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_sowebio_m.jpg "Screenshot of a report produced by PDF_Out")
* Ideal for the dynamic production of reports, invoices, tickets, labels, delivery notes, charts, maps etc.
* Vector graphics
* Inclusion of JPEG images
* Object oriented
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Unconditionally portable code: OS-, CPU-, compiler- independent code
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions
* *Free*, open-source
The creation of a PDF file is as simple as this small procedure:
```ada
with PDF_Out;
procedure Small_Demo is
pdf : PDF_Out.PDF_Out_File;
begin
pdf.Create ("small.pdf");
pdf.Put_Line ("This is a very small demo for PDF_Out...");
pdf.Close;
end Small_Demo;
```
"""
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=13.0.1"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_008.zip"
hashes = ["sha512:7dddb047dc67854f9c0879715704f66dda3ea19c31bf4f81f5de91b72a9367720d3f170131ea61e380acffc5a2f0d3bcb0d2bf31ffb8376173be293514851d1c"]
-91
View File
@@ -1,91 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](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"
-91
View File
@@ -1,91 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder)
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](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"
-39
View File
@@ -1,39 +0,0 @@
name = "asfml"
description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.6.1"
long-description = """
[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org)
![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg)
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](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"
-19
View File
@@ -1,19 +0,0 @@
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"
-20
View File
@@ -1,20 +0,0 @@
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']
-90
View File
@@ -1,90 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-util/badge/?version=latest)](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.
![AWA Features](https://github.com/stcarrez/ada-awa/wiki/images/awa-features.png)
# 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"
-55
View File
@@ -1,55 +0,0 @@
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 = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-util/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-util/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-util/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-util/badge/?version=latest)](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"
-58
View File
@@ -1,58 +0,0 @@
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 = """
&nbsp; <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>
&nbsp; <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>
&nbsp; <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"]
-58
View File
@@ -1,58 +0,0 @@
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 = """
&nbsp; <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>
&nbsp; <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>
&nbsp; <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"]
-59
View File
@@ -1,59 +0,0 @@
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 = """
&nbsp; <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>
&nbsp; <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>
&nbsp; <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"]
@@ -1,31 +0,0 @@
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"
-59
View File
@@ -1,59 +0,0 @@
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 = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128
* 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"]
-59
View File
@@ -1,59 +0,0 @@
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 = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128
* 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"]
-61
View File
@@ -1,61 +0,0 @@
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 = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128, EAN-13, MSI, UPC-A
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* *Free*, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, 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"]
@@ -1,57 +0,0 @@
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"
-25
View File
@@ -1,25 +0,0 @@
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"
-15
View File
@@ -1,15 +0,0 @@
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"
@@ -1,25 +0,0 @@
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"
@@ -1,29 +0,0 @@
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"
@@ -1,29 +0,0 @@
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"

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