Compare commits

..

1 Commits

Author SHA1 Message Date
Maxim Reznik 95932416f0 Add jupyter_kernel (#169) 2020-10-14 13:23:46 +02:00
2042 changed files with 785 additions and 75455 deletions
-10
View File
@@ -1,10 +0,0 @@
The name of the branch plays a role in the tests run when changes are
submitted. For this reason, when modifying the workflows in ./.github, if you
want to test them prior to submission, the PR must be tested against a branch that
exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
Normally you'll want to use the latest stable or devel branch.
E.g., if you modify a workflow in the `alire-index` repo and want to test it
privately, you can do so in your own account, but using the same `stable-x.x`
base branch for your private PR.
-31
View File
@@ -1,31 +0,0 @@
name: Check out index repos
description: >
Check out alire-index with full history (needed by diff detectors
and check-author; grafted partial branches cause confusion), and
alire-index-checks checked out at the PR base branch.
Also exports CHECKS_REPO for use in subsequent run steps.
inputs:
checks_repo:
description: Name of the checks repository.
required: false
default: alire-index-checks
runs:
using: composite
steps:
- name: Check out alire-index
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Check out alire-index-checks
uses: actions/checkout@v4
with:
repository: alire-project/${{ inputs.checks_repo }}
ref: ${{ github.base_ref }}
path: ${{ inputs.checks_repo }}
- name: Export CHECKS_REPO
shell: bash
run: echo "CHECKS_REPO=${{ inputs.checks_repo }}" >> "$GITHUB_ENV"
-45
View File
@@ -1,45 +0,0 @@
name: Set up alr
description: >
Install alr, stable or devel, based on the PR target branch.
The stable version is provided here as the single authoritative source.
inputs:
version:
description: Stable alr version to install; update here to bump.
required: false
default: '2.1.0'
toolchain:
description: >
Passed verbatim to setup-alire's toolchain input
(e.g. --disable-assistant). Omit to use the action default.
required: false
default: ''
runs:
using: composite
steps:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-') && inputs.toolchain == ''
uses: alire-project/setup-alire@v5
with:
version: ${{ inputs.version }}
- name: Set up stable `alr` (custom toolchain)
if: contains(github.base_ref, 'stable-') && inputs.toolchain != ''
uses: alire-project/setup-alire@v5
with:
version: ${{ inputs.version }}
toolchain: ${{ inputs.toolchain }}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-') && inputs.toolchain == ''
uses: alire-project/setup-alire@v5
with:
branch: master
- name: Set up devel `alr` (custom toolchain)
if: contains(github.base_ref, 'devel-') && inputs.toolchain != ''
uses: alire-project/setup-alire@v5
with:
branch: master
toolchain: ${{ inputs.toolchain }}
+90
View File
@@ -0,0 +1,90 @@
name: Build Crate
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
build:
name: ${{ matrix.os }}::${{ matrix.tag }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- macos-latest
- ubuntu-latest
- windows-latest
tag:
- centos-latest-community-latest
- community-current
- debian-stable
- ubuntu-lts
- ""
exclude: # inclusions don't allow to add arrays of values to a scenario
- os: ubuntu-latest
tag: ""
- os: macos-latest
tag: centos-latest-community-latest
- os: macos-latest
tag: community-current
- os: macos-latest
tag: debian-stable
- os: macos-latest
tag: ubuntu-lts
- os: windows-latest
tag: centos-latest-community-latest
- os: windows-latest
tag: community-current
- os: windows-latest
tag: debian-stable
- os: windows-latest
tag: ubuntu-lts
steps:
- name: Check out alire-index
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
# need the full history or else grafted partial branches confuse the
# changed files detectors (in both scripts/gh-build-crate.sh and
# check-author action).
- name: Set up GNAT toolchain (FSF)
if: matrix.os == 'ubuntu-latest'
uses: ada-actions/toolchain@dev
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: matrix.os != 'ubuntu-latest'
uses: ada-actions/toolchain@dev
with:
distrib: community
- name: Set up `alr`
uses: mosteo/setup-alire@exp
- name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
uses: mosteo/actions@docker-run/v1
with:
image: alire/gnat:${{matrix.tag}}
command: scripts/gh-build-crate.sh
- name: Set up msys2 (Windows)
if: matrix.os == 'windows-latest'
run: ./alire/bin/alr --non-interactive version
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
- name: Test crate (Windows/MacOS)
if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
run: scripts/gh-build-crate.sh
shell: bash
-63
View File
@@ -1,63 +0,0 @@
# Please read the TESTING file before modifying this file
name: Build Crate (Distro toolchain)
# Build the crate on the platforms with a supported package manager
# and using the distro-supplied GNAT compiler (with Alire's FSF fallback).
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
pull-requests: write
jobs:
build:
name: ${{ matrix.tag }}
env:
JOB_NAME: ${{ matrix.tag }}
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
tag:
- arch-rolling # Arch has its own recent GNAT and pacman
- centos-stream-fsf-latest # CentOS is used for unknown package manager
- debian-stable # Debian has very good Ada support and apt
- fedora-latest # Fedora has its own GNAT and dnf
# - gentoo-rolling # Gentoo has its own GNAT and emerge
# TODO: enable in the next major Alire version index
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
# TODO: diagnose and reinstate problems with tar/compiler installation
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
- name: Set up `alr`
uses: ./.github/actions/setup-alr
with:
# External distro toolchain is used; skip Alire's own
toolchain: --disable-assistant
- name: Test crate (${{matrix.tag}})
uses: mosteo-actions/docker-run@v1
with:
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
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 }}
-63
View File
@@ -1,63 +0,0 @@
# Please read the TESTING file before modifying this file
# When the same index version is used by various stable and devel `alr`
# versions, we want to make sure all of them understand the index properly.
name: Build Crate (alr dev)
# Build the crate with a native toolchain from Alire
env:
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
pull-requests: write
jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
- name: Set up devel `alr`
uses: alire-project/setup-alire@v5
with:
branch: 'master'
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work
if: matrix.os == 'windows-latest'
run: ${{env.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
-59
View File
@@ -1,59 +0,0 @@
# Please read the TESTING file before modifying this file
name: Build Crate (Alire toolchain)
# Build the crate with a native toolchain from Alire
env:
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
pull-requests: write
jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
# By default, this also sets up the newest indexed native toolchain
- name: Set up `alr`
uses: ./.github/actions/setup-alr
- 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
- 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
-62
View File
@@ -1,62 +0,0 @@
# Please read the TESTING file before modifying this file
# Specific workflow for MacPorts, as we need to disable Brew for this to work
# so it's difficult to use the other standard workflows.
name: Build Crate (MacPorts)
# Build the crate with a native toolchain from Alire
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
pull-requests: write
jobs:
build:
name: ${{ matrix.os }}
env:
JOB_NAME: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os:
- macos-15-intel # amd64
- macos-latest # arm64
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
- name: Set up `alr`
uses: ./.github/actions/setup-alr
- name: Disable Homebrew
run: rm -f $(which brew)
shell: bash
- 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
-21
View File
@@ -1,21 +0,0 @@
name: Check Author
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
script: check-author.sh
script_arg: ${{github.event.pull_request.user.login}}
setup_alr: true
-20
View File
@@ -1,20 +0,0 @@
name: Check Crate Name
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
script: check-crate-name.sh
script_arg: ${{github.event.pull_request.title}}
-34
View File
@@ -1,34 +0,0 @@
name: Check Index
on: pull_request
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
check:
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- uses: actions/checkout@v4
- name: Set up `alr`
uses: ./.github/actions/setup-alr
- name: List current index
run: alr index --list
- name: Add local index
run: alr index --add=. --name=local_index
# Check index contents for unknown config variables
- name: Check index
run: alr index --check
- name: Update index
run: alr index --update-all
- name: List crates
run: alr search --crates
-37
View File
@@ -1,37 +0,0 @@
name: Check With Script
on:
workflow_call:
inputs:
script:
description: Script filename under alire-index-checks/scripts/
required: true
type: string
script_arg:
description: Single argument passed to the script
required: true
type: string
setup_alr:
description: Whether to install alr before running the script
required: false
type: boolean
default: false
jobs:
check:
runs-on: ubuntu-latest
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
- name: Set up `alr`
if: inputs.setup_alr
uses: ./.github/actions/setup-alr
- name: Run check
run: >
${{env.CHECKS_REPO}}/scripts/${{inputs.script}}
"$SCRIPT_ARG"
shell: bash
env:
SCRIPT_ARG: ${{inputs.script_arg}}
-19
View File
@@ -1,19 +0,0 @@
name: 'Close stale PRs'
on:
workflow_dispatch:
schedule:
- cron: '11 1 * * *'
jobs:
stale:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- uses: actions/stale@v7
with:
debug-only: false # Set to true to work in dry-run mode
stale-pr-message: 'This PR is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.'
close-pr-message: 'This PR was closed because it has been stalled for 90 days with no activity.'
days-before-stale: 60
days-before-close: 30
-37
View File
@@ -1,37 +0,0 @@
# Please read the TESTING file before modifying this file
# Show differences between the submitted manifest and the previous
# release of the same crate, to enable easier catching of problems
name: Diff release
on:
pull_request:
paths:
- 'index/**.toml'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
DIFF:
runs-on: ubuntu-latest
steps:
- name: Check out repos
uses: ./.github/actions/checkout-repos
- name: Set up `alr`
uses: ./.github/actions/setup-alr
with:
toolchain: --disable-assistant # No compiler needed
- name: <<DIFF RELEASES>>
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
shell: bash
+15
View File
@@ -0,0 +1,15 @@
name: Check PR
on: pull_request
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: alire-project/check-author@master
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- uses: alire-project/setup-alire@dev
- run: alr index --list
- run: alr index --add=. --name=local_index
- run: alr index --update-all
- run: alr list
-7
View File
@@ -1,7 +0,0 @@
# Changes to the index format that require versioning
## 1.2
- Build profiles and switches.
- New `subdir` property in git remotes.
- New `host-arch` key for case expressions.
+58 -7
View File
@@ -1,10 +1,61 @@
Thanks for your interest in the Alire project. Please find more information at
one of these sources:
Thanks for your interest in the Alire project. Here are some pointers for effective contributions.
- Main repository (development version): https://github.com/alire-project/alire
- Website (stable release information): https://alire.ada.dev
- Live discussion: https://gitter.im/ada-lang/Alire
# Contributing crates
Concretely, the documentation about submission of releases is found at
The process for submitting a new crate or release is currently manual, although automated support through the `alr publish` command is in the roadmap.
The sequence of steps to take is described after some introductory concepts;
you can also ask for help in the [gitter channel](https://gitter.im/ada-lang/Alire) of the project.
- https://alire.ada.dev/docs/#publishing-your-projects-in-alire
## General concepts
The community index is a collection of [TOML](https://github.com/toml-lang/toml)
files stored in the [alire-index](https://github.com/alire-project/alire-index) repository,
under the [index](https://github.com/alire-project/alire-index/blob/master/index) directory.
Each file is named after the crate it contains.
A crate contains the description of a project, with other metadata,
and the list of available releases (identified by their
[semantic version](https://semver.org/)).
The complete specification of such TOML files is available in this [document](https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md).
## New crates and releases
Contributing a new crate is achieved through a pull-request against the index repository,
in which the TOML file for the crate must be provided. Similarly, a new release is published by
submitting a pull-request with the necessary modifications to the crate file.
### Index branches
The community index is supported through two kinds of branches:
- `stable-x.x.x` branches are used by stable versions of `alr`.
- `devel-x.x.x` branches are used to introduce breaking changes in the index format, during the development of `alr`.
Your `alr` version knows which branch to use, so you do not need to manually select one. However, when submitting crates/releases as pull requests, you must decide to which branch they will be added: selecting the latest stable branch results in the release becoming immediately available to the latest stable `alr`. Conversely, using the latest development branch will make the releases available for testing by unstable clients, and will become generally available with the next stable release of `alr`.
Note that, as of this writing (Dec 2019), only development branches exist, until the first stable release of `alr` is made.
## Checks on contributions
Each crate is "owned" by a list of maintainers, provided with the `maintainers-logins` property of the crate file. After the initial submission, which will be manually approved (see the [POLICY](https://github.com/alire-project/alire-index/blob/master/POLICY.md) for details), the maintainers of a crate are the only people allowed to submit new releases or metadata modifications to the corresponding crate file.
# Detailed steps
These steps describe how to submit a new crate. They are essentially the same for submitting a new release (in the latter case, the existing crate file must be edited instead of created).
1. Prepare a source archive (zip, tar) with the release sources and project files.
1. This archive **must not** contain the `alire` directory generated by `alr` in working directories. The `alire` directory is designed to be put in your VCS ignore list.
1. The archive **must** contain a single directory (name not important) containing, in turn, the sources. This is the kind of archives automatically generated by GitHub, GitLab, Sourceforge... or through `git archive`.
1. Compute an integrity hash for the archive with `alr publish --hash <URL>`
1. The URL can be remote or local (`file://`), although using the final online file is recommended.
1. The final online file should be immutable. Note that online autogenerated archives can be found currently in the index, but should be avoided whenever possible (because of lack of immutability guarantees, see [this conversation](https://github.community/t5/How-to-use-Git-and-GitHub/Ensuring-identical-tarballs-from-releases/m-p/34196/highlight/true#M8997)). In the future, `alr publish` will offer support to generate and upload such files more conveniently.
1. Fill the crate file providing all the necessary information (`[general]` section), dependencies (`depends-on`) and possibly excluded platforms (`available`). See, for example, the [hello world](https://github.com/alire-project/alire-index/blob/master/index/he/hello.toml) crate, or the [empty skeleton](https://github.com/alire-project/alire-index/blob/master/templates/skeleton.toml) template.
1. Place the crate file in the appropriate directory of your locally checked out index repository, and create a new pull request. The detailed substeps are the usual for submitting contributions in GitHub:
1. Fork the community index to your GitHub account.
1. Clone your fork locally and make the changes locally.
1. Commit and push the changes to your fork.
1. Create the pull request from your fork against the community repository through the GitHub web interface (or the [`hub`](https://github.com/github/hub) tool).
1. The base branch you select for the pull request will determine where your changes will become available; see the section on index branches for details.
Once the pull request is verified and merged, the new crate or release will become available for normal use. The open source Ada ecosystem needs all the help it can get, so happy contributing!
+17 -7
View File
@@ -1,13 +1,23 @@
# Alire Community Index
# Alire Catalog
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)
This repository hosts the official community-maintained index to be used with the `alr` tool.
This repository hosts the official community-maintained index of Ada projects
to be used with the `alr` tool. Please visit
https://github.com/alire-project/alire to download `alr`.
Please visit https://github.com/alire-project/alire to download `alr`.
## Contributing crates to the index
Please open a pull request to submit a new release (read
further [here](https://alire.ada.dev/docs/#publishing-your-projects-in-alire)
about it).
Please check the information in the [CONTRIBUTING.md](CONTRIBUTING.md) file.
To report an issue, open it at https://github.com/alire-project/alire/issues
## TODO
Here are sources of projects that might be interesting to add to this index:
* [awesome-ada](https://github.com/ohenley/awesome-ada) (Top notch!)
* [GitHub projects, sorted by star
count](https://github.com/search?o=desc&l=Ada&q=ada&s=stars&type=Repositories)
* [AdaIC's Free Tools and
Libraries](http://www.adaic.org/ada-resources/tools-libraries/)
* [Libraries in the Ada Programming
WikiBook](https://en.wikibooks.org/wiki/Ada_Programming/Libraries)
@@ -1,8 +0,0 @@
name = "libstdcpp"
description = "libraries for statically linking with c++ - development files"
maintainers = ["Jan <janv@uic.edu>"]
maintainers-logins = ["janverschelde"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"fedora" = ["libstdc++-static"]
-9
View File
@@ -1,9 +0,0 @@
Crates that require some future feature or bugfix.
The versions under this folder are future index versions.
## Future crates
- `libstdcpp`: requires a bugfix in alr 2.0 for package names in rpm-based
distros that contain characters that have special meanings in regexes (like
the '+' in `libstdc++-static`
-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"
-36
View File
@@ -1,36 +0,0 @@
name = "a0b_armv7m"
description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
website = "https://github.com/godunko/a0b-armv7m"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["undefined", "none", "VFPv4", "VFPv5"], default="undefined"}
# This configuration varible is not used by the crate, and it is not clear now should, or should not be preserved.
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "bb8b0af2ed2c64f2381ad5c7953bfa2b88b0c4da"
url = "git+https://github.com/godunko/a0b-armv7m.git"
@@ -1,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,34 +0,0 @@
name = "a0b_atsam3x8e"
description = "ATSAM3X8E base and SVD package"
website = "https://github.com/godunko/a0b-atsam3x8e"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/atsam3x8e.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/ATSAM3X8E.svd"
[[depends-on]]
a0b_armv7m = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "4c368fe1c80bc3948b37adc0501cfc4dc4a3bdcc"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
@@ -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"
-38
View File
@@ -1,38 +0,0 @@
name = "a0b_base"
description = "Fundamental types, GCC built-ins, and base packages for Ada projects"
website = "https://github.com/godunko/a0b-base"
version = "0.5.0"
long-description = """
The `a0b_base` crate provides the root package hierarchy and foundational components tailored for embedded, bare-metal, and low-level Ada applications.
Key features include:
* Foundational Types:
- `Integer_*` and `Unsigned_*` types of various sizes (1 to 64 bits) with shift and rotate operations.
- `Unsigned_*_Array` types and "Enumerable" modular types (2 to 8 bits).
* Low-Level Utilities:
- Big-endian formatted types (`A0B.Types.Big_Endian`) for low-level protocol specifications.
- Type declarations specifically designed for use with the SVD2Ada code generator.
* Compiler Bindings:
- Direct bindings to GCC built-ins (such as `bswap`, `clz`, `ffs`) in `A0B.Types.GCC_Builtins`.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[configuration.variables]
Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
[origin]
commit = "882bbc92ae5c38d43cd3012d2e37e23dfae078ab"
url = "git+https://github.com/godunko/a0b-base.git"
@@ -1,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,33 +0,0 @@
name = "a0b_sensirion"
version = "0.1.0"
website = "https://github.com/godunko/a0b-sensirion"
description = "A0B: Utilities for various Sensirion's sensors"
long-description = """
The a0b-sensirion crate provides essential low-level utilities for interfacing with Sensirion sensors, specifically focusing on the data integrity requirements of their communication protocols.
It offers specialized routines for CRC calculation and provides automated packet encoding and decoding logic that handles the insertion and deletion of CRC bytes.
By abstracting these boilerplate tasks, the crate ensures reliable data transmission and simplifies the implementation of drivers for any Sensirion hardware utilizing checksum-protected packets.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "sensirion", "sensor"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "0f120a3a998db83e1966aa70efe0ce94b38318d9"
url = "git+https://github.com/godunko/a0b-sensirion.git"
@@ -1,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,34 +0,0 @@
name = "a0b_stm32f401"
description = "STM32F401 base and SVD package"
website = "https://github.com/godunko/a0b-stm32f401"
version = "0.3.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32f401.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32F401.svd"
[[depends-on]]
a0b_armv7m="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "fb9d60a5c1300b84f913dc3722fa39aea4d59150"
url = "git+https://github.com/godunko/a0b-stm32f401.git"
@@ -1,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,34 +0,0 @@
name = "a0b_stm32g474"
description = "A0B: STM32G474 base support and SVD files"
version = "0.2.0"
website = "https://github.com/godunko/a0b-stm32g474"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"]
project-files = ["gnat/a0b_stm32g474.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32g474.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32G474.svd"
[[depends-on]]
a0b_stm32g4 ="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "f4731f4055973c43e3edd081743137c990e3d423"
url = "git+https://github.com/godunko/a0b-stm32g474.git"
@@ -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"
-35
View File
@@ -1,35 +0,0 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = "*"
gnatcoll = "*"
vss = "*"
[origin]
commit = "39e79120e51c646cd330e77cc38f359b81ee6194"
url = "git+https://github.com/godunko/a0b-tools.git"
-42
View File
@@ -1,42 +0,0 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.2.0"
long-description = """
The primary tool in this crate is the `a0b-runtime` generator.
While GNAT provides several standard runtimes (such as `light`, `light-tasking`, and `embedded`), these can be difficult to customize for specific project requirements.
`a0b-tools` solves this by allowing developers to generate a tailored, project-specific runtime from a single configuration file.
It also enables the creation of runtimes for hardware platforms and MCUs that do not have prebuilt GNAT runtimes available, providing full control over startup code, linker scripts, and Ada library components.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = ">=15"
gnatcoll = "^25"
vss_text = "*"
vss_extra = "*"
[origin]
commit = "3ea7bd72f3de2f9f2664498c1d7a76b655a91095"
url = "git+https://github.com/godunko/a0b-tools.git"
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Alex's Ada Assortment (of miscellaneous utilities)"
name = "aaa"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-26
View File
@@ -1,26 +0,0 @@
name = "aaa"
version = "0.2.1"
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 vectors.
- Simple subprocess spawning.
"""
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"
[origin]
commit = "103f0d1954aa1181542baa939bae44ca98bff05f"
url = "git+https://github.com/mosteo/aaa.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.3"
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 vectors.
- 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"
[origin]
commit = "12201a008c07e6ef0e4f21d327c941bed97d7166"
url = "git+https://github.com/mosteo/aaa.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.4"
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"
[origin]
commit = "19e75e3e16c493df35913b8acc486b5d047875bf"
url = "git+https://github.com/mosteo/aaa.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.5"
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"
[origin]
commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
url = "git+https://github.com/mosteo/aaa.git"
-27
View File
@@ -1,27 +0,0 @@
name = "aaa"
version = "0.2.6"
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"
[origin]
commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
url = "git+https://github.com/mosteo/aaa.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"
@@ -1,34 +0,0 @@
name = "aarch64_baremetal_ada"
description = "AArch64 Baremetal Ada"
version = "1.0.0"
licenses = "Apache-2.0"
website = "https://github.com/jgrivera67/aarch64_bare_metal_ada"
tags = ["aarch64"]
authors = ["J. German Rivera"]
maintainers = ["J. German Rivera <jgrivera67@gmail.com>"]
maintainers-logins = ["jgrivera67"]
[[depends-on]]
gnat_aarch64_elf = "*"
gprbuild = "*" # needed by alire-index CI builds
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=yes"]
directory = "embedded_apps/aarch64_hello_ada"
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=no"]
directory = "embedded_apps/uart_boot_loader_server"
[[actions]]
type = "test"
command = ["alr", "build"]
directory = "host_apps/uart_boot_loader_client"
[origin]
commit = "c9dfeb0b44bc468276fd8da4ece67bb5a425761c"
url = "git+https://github.com/jgrivera67/aarch64_bare_metal_ada.git"
-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 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
project-files = ["ada_fuse.gpr"]
[gpr-externals]
+1 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
project-files = ["ada_fuse.gpr"]
[gpr-externals]
@@ -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,27 +0,0 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "22.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"]
[gpr-set-externals]
LIBRARY_TYPE = "static"
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
libadalang = "22.0.0"
vss = "22.0.0"
libadalang_tools = "22.0.0"
spawn = "22.0.0"
[origin]
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v22.0.0.tar.gz"
archive-name = "als-22.0.0.tar.gz"
hashes = ["sha512:ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c"]
@@ -1,33 +0,0 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "23.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"
# Drop libgpr2 dependency (not used in the code for now).
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e/gpr2/s/^/-- /", "gnat/lsp_server.gpr"]
[[depends-on]]
gnatcoll = "23.0.0"
libadalang = "23.0.0"
libadalang_tools = "23.0.0"
libgnatdoc = "23.0.0"
vss = "23.0.0"
[origin]
archive-name = "ada_language_server-23.0.0.tar.gz"
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v23.0.0.tar.gz"
hashes = ["sha512:66f2e7fb138ae4b474e1c024e20292e76ad644d89236edf032c686939e27478e572b5fff4820d38906ad731a5294ddfd1191941bc84c39cbfe425894691cd23b"]
@@ -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"]
@@ -1,33 +0,0 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "26.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[configuration]
disabled = true
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
gnatcoll = "26.0.0"
libadalang = "26.0.0"
libadalang_tools = "26.0.0"
libgnatdoc = "26.0.0"
libgnatformat = "26.0.0"
liblal_refactor = "26.0.0"
prettier_ada = "26.0.0"
vss_text = "26.0.0"
vss_extra = "26.0.0"
spawn = "26.0.0"
xdiff = "26.0.0"
[origin]
url="https://github.com/AdaCore/ada_language_server/archive/v26.0.0/ada_language_server-26.0.0.zip"
hashes=['sha512:46c28e2cda46426189a2278fcac6f74f11a8eaad58e8a7d7fa6233a80168e07e9625aa4e9ad32fc288c1c37ebed45f1a12e9c6733aa6b6abc5912fe5a01a55dc']
-17
View File
@@ -1,17 +0,0 @@
name = "ada_lua"
description = "An Ada binding for lua"
version = "0.1.0"
authors = ["Nicolas Roche <roche@adacore.com>"]
maintainers = ["Nicolas Roche <roche@adacore.com>"]
maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
website = "https://github.com/adacore/ada-lua"
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["lua", "binding", "script"]
[[depends-on]]
liblua = "~5.3"
[origin]
commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
url = "git+https://github.com/AdaCore/ada-lua.git"
+1 -1
View File
@@ -3,7 +3,7 @@ name = "ada_pretty"
version = "1.0.0"
website = "https://github.com/reznikmm/ada-pretty/"
authors = ["Maxim Reznik"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/ada_pretty.gpr"]
@@ -1,24 +0,0 @@
name = "ada_sqlite3"
description = "Sqlite3 bindings for Ada with embedded SQLite engine"
version = "0.1.1"
authors = ["Garret Noble"]
maintainers = ["Garret Noble <garretnoble@gmail.com>"]
maintainers-logins = ["gtnoble"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/gtnoble/ada-sqlite3"
tags = ["sqlite", "database", "sql", "embedded"]
[build-switches]
"*".compile_checks = ["-gnatwa", "-gnatVa", "-gnatQ"]
"*".style_checks = []
"*".ada_version = "ada12"
"*".contracts = ["-gnata"]
"*".runtime_checks = ["-gnato"]
"*".debug_info = ["-g"]
"*".optimization = ["-O2"]
[origin]
commit = "2edbcebd7cd03757fb9e9c1801977283cf384500"
url = "git+https://github.com/gtnoble/ada-sqlite3.git"
+2 -2
View File
@@ -1,8 +1,8 @@
description = "TOML parser for Ada"
description = "TOML parser for Ada "
name = "ada_toml"
version = "0.1.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
-19
View File
@@ -1,19 +0,0 @@
description = "TOML parser for Ada"
name = "ada_toml"
version = "0.2.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"]
[gpr-externals]
ADA_TOML_BUILD_MODE = ["dev", "prod"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals]
ADA_TOML_BUILD_MODE = "prod"
[origin]
url = "https://github.com/pmderodat/ada-toml/archive/v0.2.tar.gz"
hashes = ["sha512:f07de4871e633e1be0fd757daa5996dd8ea2d56eae44bbf27358518b58b6cd47274c9d1686fe669da4c464baf5122c707f9990cfdef7fa8c0b9504558e85dbcb"]
-110
View File
@@ -1,110 +0,0 @@
description = "TOML parser for Ada"
name = "ada_toml"
version = "0.3.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"]
[gpr-set-externals]
ADA_TOML_BUILD_MODE = "prod"
[origin]
url = "https://github.com/pmderodat/ada-toml/archive/v0.3.tar.gz"
hashes = ["sha512:862d230bf28c393243b01425b259a2fd5d1cf33d3da521eea5f5533691efb46cd3fa335941bcd768b5da635896737b5ee51cbd593d84df58785db6d4c836afd2"]
-107
View File
@@ -1,107 +0,0 @@
description = "TOML parser for Ada"
name = "ada_toml"
version = "0.4.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.4.tar.gz"
hashes = ["sha512:3f3dd0de717da00a7dfd9982bb19bfb2dd372e02c23deca91329fa11fcfd077b8292e48a2fcfd23d15aef1e8ee9542cda286af1bbb2d6ac1325f7dfe91e0808c"]
-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"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.0"
executables = ["main"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.1"
executables = ["main"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
-18
View File
@@ -1,18 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.0.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]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[origin]
commit = "159c2547f3a059d83a183ca70b75fee572f7fbaf"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-19
View File
@@ -1,19 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.0.1"
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]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[origin]
commit = "a31a416c1f09e59ab1d1ab0b132aca225c66be48"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.1.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]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "974b587bf8ec5c41eaaeedf9d4d7837685e05910"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.2.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]] # This line was added by `alr with`
aws = "^21.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "f8238a936790440248d7ef34914851fdde3ae5a5"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.3.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]] # This line was added by `alr with`
aws = "^23.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "944adbafc42efda42580914c0e6401c8ca75612c"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.4.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]] # This line was added by `alr with`
aws = "^23.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "b9152d12fd8d300675a9ef890579e248d9103e73"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
-22
View File
@@ -1,22 +0,0 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "1.5.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]] # This line was added by `alr with`
aws = "^23.0.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
aaa = "~0.2.3" # This line was added by `alr with`
[origin]
commit = "9e7476c4179c521af72968f78ef0001e7edd4b6e"
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"

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