Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 893ec65679 | |||
| 97ab1425bf |
@@ -1,38 +0,0 @@
|
|||||||
name: Check Author
|
|
||||||
|
|
||||||
env:
|
|
||||||
CHECKS_ORG: alire-project
|
|
||||||
CHECKS_REPO: alire-index-checks
|
|
||||||
|
|
||||||
on:
|
|
||||||
pull_request:
|
|
||||||
paths:
|
|
||||||
- 'index/**.toml'
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
check:
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
steps:
|
|
||||||
- uses: actions/checkout@v3
|
|
||||||
with:
|
|
||||||
fetch-depth: 0
|
|
||||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
|
||||||
# need the full history or else grafted partial branches confuse the
|
|
||||||
# changed files detectors.
|
|
||||||
|
|
||||||
- name: Check out alire-index-checks
|
|
||||||
uses: actions/checkout@v3
|
|
||||||
with:
|
|
||||||
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
|
||||||
ref: ${{github.base_ref}}
|
|
||||||
path: ${{env.CHECKS_REPO}}
|
|
||||||
|
|
||||||
- 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 }}"
|
|
||||||
shell: bash
|
|
||||||
@@ -0,0 +1,120 @@
|
|||||||
|
# Please read the TESTING file before modifying this file
|
||||||
|
|
||||||
|
name: Build Crate
|
||||||
|
|
||||||
|
env:
|
||||||
|
CHECKS_ORG: alire-project
|
||||||
|
CHECKS_REPO: alire-index-checks
|
||||||
|
|
||||||
|
on:
|
||||||
|
pull_request:
|
||||||
|
paths:
|
||||||
|
- 'index/**.toml'
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
|
||||||
|
build:
|
||||||
|
name: ${{ matrix.os }}::${{ matrix.tag }}
|
||||||
|
|
||||||
|
runs-on: ${{ matrix.os }}
|
||||||
|
|
||||||
|
strategy:
|
||||||
|
fail-fast: false
|
||||||
|
matrix:
|
||||||
|
os:
|
||||||
|
- macos-latest
|
||||||
|
- ubuntu-latest
|
||||||
|
- windows-latest
|
||||||
|
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
|
||||||
|
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
|
||||||
|
- ""
|
||||||
|
exclude: # inclusions don't allow to add arrays of values to a scenario
|
||||||
|
- os: ubuntu-latest
|
||||||
|
tag: ""
|
||||||
|
- os: macos-latest
|
||||||
|
tag: arch-rolling
|
||||||
|
- os: macos-latest
|
||||||
|
tag: centos-stream-fsf-latest
|
||||||
|
- os: macos-latest
|
||||||
|
tag: debian-stable
|
||||||
|
- os: macos-latest
|
||||||
|
tag: fedora-latest
|
||||||
|
- os: macos-latest
|
||||||
|
tag: ubuntu-lts
|
||||||
|
- os: windows-latest
|
||||||
|
tag: arch-rolling
|
||||||
|
- os: windows-latest
|
||||||
|
tag: centos-stream-fsf-latest
|
||||||
|
- os: windows-latest
|
||||||
|
tag: debian-stable
|
||||||
|
- os: windows-latest
|
||||||
|
tag: fedora-latest
|
||||||
|
- 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: Check out alire-index-checks
|
||||||
|
uses: actions/checkout@v3
|
||||||
|
with:
|
||||||
|
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
|
||||||
|
ref: ${{github.base_ref}}
|
||||||
|
path: ${{env.CHECKS_REPO}}
|
||||||
|
|
||||||
|
- name: Update system repositories
|
||||||
|
if: matrix.os == 'ubuntu-latest'
|
||||||
|
run: sudo apt update
|
||||||
|
|
||||||
|
- name: Set up GNAT toolchain (FSF)
|
||||||
|
if: matrix.os == 'ubuntu-latest'
|
||||||
|
uses: ada-actions/toolchain@ce2021
|
||||||
|
with:
|
||||||
|
distrib: fsf # faster install?
|
||||||
|
|
||||||
|
- name: Set up GNAT toolchain (Community)
|
||||||
|
if: matrix.os != 'ubuntu-latest'
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
|
with:
|
||||||
|
distrib: community
|
||||||
|
|
||||||
|
- name: Set up stable `alr`
|
||||||
|
if: contains(github.base_ref, 'stable-')
|
||||||
|
uses: alire-project/setup-alire@v1
|
||||||
|
with:
|
||||||
|
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||||
|
|
||||||
|
- name: Set up devel `alr`
|
||||||
|
if: contains(github.base_ref, 'devel-')
|
||||||
|
uses: alire-project/setup-alire@v1
|
||||||
|
with:
|
||||||
|
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||||
|
branch: master
|
||||||
|
|
||||||
|
- 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: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||||
|
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
|
||||||
|
|
||||||
|
- 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: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||||
|
shell: bash
|
||||||
@@ -1,70 +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).
|
|
||||||
|
|
||||||
env:
|
|
||||||
CHECKS_ORG: alire-project
|
|
||||||
CHECKS_REPO: alire-index-checks
|
|
||||||
ALR_VERSION: 1.2.2
|
|
||||||
|
|
||||||
on:
|
|
||||||
pull_request:
|
|
||||||
paths:
|
|
||||||
- 'index/**.toml'
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
|
|
||||||
build:
|
|
||||||
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
|
|
||||||
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
|
|
||||||
|
|
||||||
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: Check out alire-index-checks
|
|
||||||
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`
|
|
||||||
if: contains(github.base_ref, 'stable-')
|
|
||||||
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@v2
|
|
||||||
with:
|
|
||||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
|
||||||
branch: master
|
|
||||||
|
|
||||||
- name: Test crate (${{matrix.tag}})
|
|
||||||
uses: mosteo-actions/docker-run@v1
|
|
||||||
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
|
|
||||||
@@ -1,62 +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.
|
|
||||||
# Besides, there are
|
|
||||||
|
|
||||||
name: Build Crate (alr dev)
|
|
||||||
# Build the crate with a native toolchain from Alire
|
|
||||||
|
|
||||||
env:
|
|
||||||
CHECKS_ORG: alire-project
|
|
||||||
CHECKS_REPO: alire-index-checks
|
|
||||||
|
|
||||||
on:
|
|
||||||
pull_request:
|
|
||||||
paths:
|
|
||||||
- 'index/**.toml'
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
|
|
||||||
build:
|
|
||||||
name: ${{ matrix.os }}
|
|
||||||
|
|
||||||
runs-on: ${{ matrix.os }}
|
|
||||||
|
|
||||||
strategy:
|
|
||||||
fail-fast: false
|
|
||||||
matrix:
|
|
||||||
os:
|
|
||||||
- macos-latest
|
|
||||||
- ubuntu-latest
|
|
||||||
- windows-latest
|
|
||||||
|
|
||||||
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: Check out alire-index-checks
|
|
||||||
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@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: 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
|
|
||||||
@@ -1,12 +1,11 @@
|
|||||||
# Please read the TESTING file before modifying this file
|
# Please read the TESTING file before modifying this file
|
||||||
|
|
||||||
name: Build Crate (Alire toolchain)
|
name: Toolchain
|
||||||
# Build the crate with a native toolchain from Alire
|
# Build the submitted crate with a native toolchain from Alire
|
||||||
|
|
||||||
env:
|
env:
|
||||||
CHECKS_ORG: alire-project
|
CHECKS_ORG: alire-project
|
||||||
CHECKS_REPO: alire-index-checks
|
CHECKS_REPO: alire-index-checks
|
||||||
ALR_VERSION: 1.2.2
|
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
@@ -45,17 +44,31 @@ jobs:
|
|||||||
ref: ${{github.base_ref}}
|
ref: ${{github.base_ref}}
|
||||||
path: ${{env.CHECKS_REPO}}
|
path: ${{env.CHECKS_REPO}}
|
||||||
|
|
||||||
|
# For the devel branch we need a compiler available to build alr in
|
||||||
|
# setup-alire. We will be able to get rid of this once composite actions
|
||||||
|
# support conditional steps.
|
||||||
|
|
||||||
|
- name: Set up GNAT toolchain (FSF)
|
||||||
|
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
|
with:
|
||||||
|
distrib: fsf # faster install?
|
||||||
|
|
||||||
|
- name: Set up GNAT toolchain (Community)
|
||||||
|
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
|
with:
|
||||||
|
distrib: community
|
||||||
|
|
||||||
# By default, this sets up the newest indexed native toolchain
|
# By default, this sets up the newest indexed native toolchain
|
||||||
- name: Set up stable `alr`
|
- name: Set up stable `alr`
|
||||||
if: contains(github.base_ref, 'stable-')
|
if: contains(github.base_ref, 'stable-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
|
||||||
version: ${{env.ALR_VERSION}}
|
|
||||||
|
|
||||||
# By default, this sets up the newest indexed native toolchain
|
# By default, this sets up the newest indexed native toolchain
|
||||||
- name: Set up devel `alr`
|
- name: Set up devel `alr`
|
||||||
if: contains(github.base_ref, 'devel-')
|
if: contains(github.base_ref, 'devel-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
with:
|
||||||
branch: 'master'
|
branch: 'master'
|
||||||
|
|
||||||
|
|||||||
@@ -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
|
|
||||||
|
|
||||||
env:
|
|
||||||
CHECKS_ORG: alire-project
|
|
||||||
CHECKS_REPO: alire-index-checks
|
|
||||||
|
|
||||||
on:
|
|
||||||
pull_request:
|
|
||||||
paths:
|
|
||||||
- 'index/**.toml'
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
|
|
||||||
build:
|
|
||||||
name: ${{ matrix.os }}
|
|
||||||
|
|
||||||
runs-on: ${{ matrix.os }}
|
|
||||||
|
|
||||||
strategy:
|
|
||||||
fail-fast: false
|
|
||||||
matrix:
|
|
||||||
os:
|
|
||||||
- macos-latest
|
|
||||||
|
|
||||||
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: Check out alire-index-checks
|
|
||||||
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@v2
|
|
||||||
with:
|
|
||||||
branch: 'master'
|
|
||||||
|
|
||||||
- name: Disable Homebrew
|
|
||||||
run: rm -f $(which brew)
|
|
||||||
shell: bash
|
|
||||||
|
|
||||||
- name: Install Ports
|
|
||||||
uses: melusina-org/setup-macports@v1
|
|
||||||
|
|
||||||
- name: Test crate
|
|
||||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
|
||||||
shell: bash
|
|
||||||
@@ -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
|
|
||||||
@@ -8,7 +8,6 @@ name: Diff release
|
|||||||
env:
|
env:
|
||||||
CHECKS_ORG: alire-project
|
CHECKS_ORG: alire-project
|
||||||
CHECKS_REPO: alire-index-checks
|
CHECKS_REPO: alire-index-checks
|
||||||
ALR_VERSION: 1.2.2
|
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
@@ -17,7 +16,7 @@ on:
|
|||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
|
||||||
DIFF:
|
diff:
|
||||||
|
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
@@ -39,18 +38,29 @@ jobs:
|
|||||||
|
|
||||||
- name: Set up stable `alr`
|
- name: Set up stable `alr`
|
||||||
if: contains(github.base_ref, 'stable-')
|
if: contains(github.base_ref, 'stable-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
with:
|
||||||
toolchain: --disable-assistant # We don't need the compiler
|
toolchain: --disable-assistant # We don't need the compiler
|
||||||
version: ${{env.ALR_VERSION}}
|
|
||||||
|
- name: Set up GNAT toolchain (FSF)
|
||||||
|
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
|
with:
|
||||||
|
distrib: fsf # faster install?
|
||||||
|
|
||||||
|
- name: Set up GNAT toolchain (Community)
|
||||||
|
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
|
with:
|
||||||
|
distrib: community
|
||||||
|
|
||||||
- name: Set up devel `alr`
|
- name: Set up devel `alr`
|
||||||
if: contains(github.base_ref, 'devel-')
|
if: contains(github.base_ref, 'devel-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
with:
|
||||||
toolchain: --disable-assistant # We don't need the compiler
|
toolchain: --disable-assistant # We don't need the compiler
|
||||||
branch: master
|
branch: master
|
||||||
|
|
||||||
- name: <<DIFF RELEASES>>
|
- name: Diff releases
|
||||||
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|||||||
@@ -1,20 +1,28 @@
|
|||||||
name: Check Index
|
name: Check PR
|
||||||
on: pull_request
|
on: pull_request
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@master
|
- uses: actions/checkout@master
|
||||||
|
|
||||||
|
- uses: alire-project/check-author@master
|
||||||
|
with:
|
||||||
|
repo-token: "${{ secrets.GITHUB_TOKEN }}"
|
||||||
|
|
||||||
- name: Set up stable `alr`
|
- name: Set up stable `alr`
|
||||||
if: contains(github.base_ref, 'stable-')
|
if: contains(github.base_ref, 'stable-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
|
|
||||||
|
- name: Set up GNAT for devel `alr`
|
||||||
|
if: contains(github.base_ref, 'devel-')
|
||||||
|
uses: ada-actions/toolchain@ce2020
|
||||||
with:
|
with:
|
||||||
version: 1.2.2
|
distrib: fsf
|
||||||
|
|
||||||
- name: Set up devel `alr`
|
- name: Set up devel `alr`
|
||||||
if: contains(github.base_ref, 'devel-')
|
if: contains(github.base_ref, 'devel-')
|
||||||
uses: alire-project/setup-alire@v2
|
uses: alire-project/setup-alire@v1
|
||||||
with:
|
with:
|
||||||
branch: master
|
branch: master
|
||||||
|
|
||||||
@@ -25,6 +33,6 @@ jobs:
|
|||||||
# Check index contents for unknown config variables
|
# Check index contents for unknown config variables
|
||||||
- run: alr index --check
|
- run: alr index --check
|
||||||
|
|
||||||
- run: alr index --update-all
|
- run: alr index --update-all
|
||||||
|
|
||||||
- run: alr search --crates
|
- run: alr search --crates
|
||||||
@@ -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"]
|
|
||||||
@@ -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`
|
|
||||||
@@ -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,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"]
|
|
||||||
@@ -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"
|
|
||||||
|
|
||||||
@@ -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"
|
|
||||||
|
|
||||||
@@ -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"
|
|
||||||
|
|
||||||
@@ -1,22 +0,0 @@
|
|||||||
name = "adabots"
|
|
||||||
description = "Learn Ada by programming Minecraft robots"
|
|
||||||
version = "1.6.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 = "7751e12fa799497aa77e9bd498c84c3c5debedf7"
|
|
||||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
|
||||||
|
|
||||||
@@ -1,22 +0,0 @@
|
|||||||
name = "adabots"
|
|
||||||
description = "Learn Ada by programming Minecraft robots"
|
|
||||||
version = "1.7.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 = "4c954ded573cf4da27660541422c5058b5404e40"
|
|
||||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
|
||||||
|
|
||||||
@@ -1,22 +0,0 @@
|
|||||||
name = "adabots"
|
|
||||||
description = "Learn Ada by programming Minecraft robots"
|
|
||||||
version = "1.8.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 = "b67ad2b7b9120382b358066eb16ad515a0cb3e35"
|
|
||||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
|
||||||
|
|
||||||
@@ -1,22 +0,0 @@
|
|||||||
name = "adabots"
|
|
||||||
description = "Learn Ada by programming Minecraft robots"
|
|
||||||
version = "1.8.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]]
|
|
||||||
utilada_curl = "^2.5.0"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
json = "^5.0.3"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "d1ac6d8bdb748d7e5422d9e589cc5227ceae1308"
|
|
||||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
|
||||||
|
|
||||||
@@ -1,54 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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
|
|
||||||
* reference counted smart pointer
|
|
||||||
|
|
||||||
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 terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
|
|
||||||
"""
|
|
||||||
version = "5.10.2"
|
|
||||||
licenses = "GPL-3.0-or-later"
|
|
||||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers-logins = ["krischik"]
|
|
||||||
website = "https://sourceforge.net/projects/adacl/"
|
|
||||||
tags = ["library", "command-line", "trace", "logging", "string", "ada2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "Yes"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:1761f656b6299c7891c1711ef8c202a0b7feae3e213ec5debc7c3103d1ca6671",
|
|
||||||
"sha512:bc9fe050eb19cd3e790bba9cf397d6719174fa619fe9ec37239506ac48843594e96013dcdc493b9be349085420a4d8e823eedd05b518cc8777bd65117de4eeac",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.10.2.tgz"
|
|
||||||
|
|
||||||
@@ -1,55 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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
|
|
||||||
* reference counted smart pointer
|
|
||||||
* AUnit compatible informative asserts
|
|
||||||
|
|
||||||
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 terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
|
|
||||||
"""
|
|
||||||
version = "5.11.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", "ada2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "Yes"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:7c6cc9fae92f76612da81c8cca7f23aa1c6df65205b8228d7d86ef101dae995e",
|
|
||||||
"sha512:97ecd23ae5da5de7be5899a727333bfd2f67c272f628f7e80d5b2dbf4ca6734ded1d44dafe5ec8796245f4646201d31b16ed132d5f9e6e946766e9c452fe97ee",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.11.0.tgz"
|
|
||||||
|
|
||||||
@@ -1,55 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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
|
|
||||||
* reference counted smart pointer
|
|
||||||
* AUnit compatible informative asserts
|
|
||||||
|
|
||||||
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.12.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", "ada2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "Yes"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:1c234e74c42b3023082b59974d959c4bb94f21ea02332db6b4a008016dcb2ac1",
|
|
||||||
"sha512:b9ba3c03a3fe03e6accf0559b9f2852205fa4cfea867f8607435ee4f85e2a5e4669a75a02fe6ccd44c990ebaad7fa1e17f23f23ceb42d9a41c6038f3c3202f51",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.12.0.tgz"
|
|
||||||
|
|
||||||
@@ -1,60 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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
|
|
||||||
|
|
||||||
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.13.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 = "Yes"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:1885411ea7cc34b5209042fb2a6603a868ba1960d1bcc5fb7e080f77169d3ecc",
|
|
||||||
"sha512:23c60fa315303c201440c678bced549b01ba4956cea8720ef3080da01ae1c88303a22e8cc73bf5287c7998a5111030f6aab697538c7d503950fd1acef2951fc6",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.13.1.tgz"
|
|
||||||
|
|
||||||
@@ -1,63 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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 arrays types
|
|
||||||
* generic for discrete types
|
|
||||||
* generic for access 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.14.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 = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:1dbfe8a30ed63f212c124b7f48779035900d9cf681dbe68e972ca4a976b10978",
|
|
||||||
"sha512:ae85814739c2511066ce69132fb8d5a7cc4f60915c7007b3d2dd3f465887afffe27e3acd572140adc7f2f7da6e8bcbb579933c9e19572c062ffacc8c26b8e710",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.14.1.tgz"
|
|
||||||
|
|
||||||
@@ -1,63 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
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 arrays types
|
|
||||||
* generic for discrete types
|
|
||||||
* generic for access 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.15.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 = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:e7c1515b7e3f32706c8b3eb2c577d78bba4cbc767b037a9a660c98d0311651f0",
|
|
||||||
"sha512:2a2edad6b848fdca6c752a7b5cd2fc9248ebf67bd02e98d32178aa62cb2760a72e8062d4398f6ed2edbf7d278a3fde0a482f26e78ba53c48b3d995d81168964c",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.15.1.tgz"
|
|
||||||
|
|
||||||
@@ -1,19 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
version = "5.9.4"
|
|
||||||
licenses = "GPL-3.0-or-later"
|
|
||||||
authors = ["Martin Krischik"]
|
|
||||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers-logins = ["krischik"]
|
|
||||||
website = "https://sourceforge.net/projects/adacl/"
|
|
||||||
tags = ["library", "commandline", "trace"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
hashes = [
|
|
||||||
"sha256:0e3709926ca7d90aeec4dcefe3e6a2ba7fc7f8993d119e21b15866da848eb647",
|
|
||||||
"sha512:38116cb6be784a351688c93408c473a19009c8b44ff77b954230d8e6d80fd3d9d6b190efe9c4d9af6c1689749890ae72b16886b0b2d05a405e40c04dc3a9e09e",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.4.tgz"
|
|
||||||
|
|
||||||
@@ -1,36 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
long-description = """
|
|
||||||
A class library for Ada for those who like OO programming. Currently the
|
|
||||||
commandline argument parser, the string utilities and the trace utility has
|
|
||||||
been ported from the old Ada95 code.
|
|
||||||
|
|
||||||
Development versions available with:
|
|
||||||
|
|
||||||
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
|
|
||||||
"""
|
|
||||||
version = "5.9.8"
|
|
||||||
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", "commandline", "trace", "ada2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
# gnatdoc = "<=23.0.0"
|
|
||||||
|
|
||||||
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
|
|
||||||
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
|
|
||||||
# vim: set spell spelllang=en_gb :
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
hashes = [
|
|
||||||
"sha256:d8361cca85d3886a535bcb59daaeb6ffa6a3d15b7c22b2032e3ca6282916790b",
|
|
||||||
"sha512:091be7918f6e367324c392e38f9591b8589b3ff75fc57f17784a34eefe7d8743e2ae0ecc180bdddc6e2841c66c89e05b9bc075942a449fc901dee8850719ea38",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.8.tgz"
|
|
||||||
|
|
||||||
@@ -1,45 +0,0 @@
|
|||||||
name = "adacl"
|
|
||||||
description = "Ada Class Library"
|
|
||||||
long-description = """A class library for Ada for those who like OO programming.
|
|
||||||
|
|
||||||
Currently the commandline argument parser, the string utilities and the trace utility has
|
|
||||||
been ported from the old Ada95 code.
|
|
||||||
|
|
||||||
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 terstsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
|
|
||||||
"""
|
|
||||||
version = "5.9.9"
|
|
||||||
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", "commandline", "trace", "ada2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "Yes"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
# 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:fb6d502705520f48cc6f01fe199cb7273d9c839b1e42bb7793ef5b4e08b10f72",
|
|
||||||
"sha512:42dfbdcc9e848a5d1dfd34f55f1fc3e480c7f6e012a200f7dbe913b6ad450d1513ee1d15532911c0be28a9e8743fc4b5ca63a91df4b0b6dea328784481c16532",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-5.9.9.tgz"
|
|
||||||
|
|
||||||
@@ -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 = "24.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/v24.0.0/adasat-24.0.0.zip"
|
|
||||||
hashes=['sha512:46db8c9a613e49551a7cb35593320b5a4eb11309c0d0b112f6ef391ac5ccb1c8b234906535f4010d2b3a563740a031b0ec5da6c2318758439bb43798ecaf83fd']
|
|
||||||
@@ -1,38 +0,0 @@
|
|||||||
description = "Middleware layer of the Ada Drivers Library project"
|
|
||||||
long-description = '''# adl_middleware
|
|
||||||
|
|
||||||
Middleware layer of the Ada Drivers Library project.
|
|
||||||
|
|
||||||
This crate is a snapshot of the `middleware` of [Ada Drivers
|
|
||||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
|
|
||||||
|
|
||||||
Any bug report, issue, contribution must be adressed to the [Ada Drivers
|
|
||||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
|
|
||||||
|
|
||||||
'''
|
|
||||||
|
|
||||||
name = "adl_middleware"
|
|
||||||
version = "0.2.0"
|
|
||||||
licenses = "BSD-3-Clause"
|
|
||||||
authors=["AdaCore"]
|
|
||||||
website="https://github.com/AdaCore/Ada_Drivers_Library/"
|
|
||||||
maintainers = ["chouteau@adacore.com"]
|
|
||||||
maintainers-logins = ["Fabien-Chouteau"]
|
|
||||||
project-files = ["adl_middleware.gpr"]
|
|
||||||
tags = ["embedded", "nostd", "fat", "bitmap"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
hal = "~0.3.0"
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
"*".style_checks = "no"
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
Max_Mount_Points = {type = "integer", first = 1, default = 2}
|
|
||||||
Max_Mount_Name_Length = {type = "integer", first = 1, default = 128}
|
|
||||||
Max_Path_Length = {type = "integer", first = 1, default = 1024}
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "623c69130b33accb028f94ad43fd911990c1181d"
|
|
||||||
url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
|
|
||||||
|
|
||||||
@@ -1,26 +0,0 @@
|
|||||||
name = "admpfr"
|
|
||||||
version = "4.1.0+20220920"
|
|
||||||
|
|
||||||
description = "Ada bindings for MPFR"
|
|
||||||
website = "https://github.com/thvnx/admpfr"
|
|
||||||
tags = ["mpfr", "floating-point", "bindings"]
|
|
||||||
|
|
||||||
licenses = "GPL-3.0-only"
|
|
||||||
|
|
||||||
authors = ["Laurent Thévenoux"]
|
|
||||||
maintainers = ["Laurent Thévenoux <laurent@thevenoux.net>"]
|
|
||||||
maintainers-logins = ["thvnx"]
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
macos = true
|
|
||||||
windows = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
libmpfr = "^4.1.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
url = "https://github.com/thvnx/admpfr/archive/refs/tags/4.1.0+20220920.tar.gz"
|
|
||||||
hashes = ["sha512:4c55f40a4180094255b278dc3aec1c62c897918207985a467198a297ca62ba1d1b41a6a8897e859f7b9b4c40d2092c97413ddbf356bb47adc561229ef2326502"]
|
|
||||||
@@ -1,61 +0,0 @@
|
|||||||
description = "Ada Database Objects (Core library)"
|
|
||||||
tags = ["database", "uml", "sql"]
|
|
||||||
name = "ado"
|
|
||||||
version = "2.4.0"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = [".alire/ado.gpr"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-ado"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
Ada Database Objects is an Ada05 library that provides
|
|
||||||
object relational mapping to access a database in Ada05.
|
|
||||||
The library supports Postgresql, MySQL, SQLite as databases.
|
|
||||||
Most of the concepts developped for ADO come from the Java Hibernate ORM.
|
|
||||||
|
|
||||||
The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
|
|
||||||
for the implementation. It provides a database driver for [Postgresql](https://www.postgresql.org/),
|
|
||||||
[MySQL](https://www.mysql.com/) and [SQLite](https://www.sqlite.org/). The ORM helps your
|
|
||||||
application by providing a mapping of your database tables directly in the target programming
|
|
||||||
language: Ada05 in our case. The development process is the following:
|
|
||||||
|
|
||||||
* You design your database model either using a UML tool or by writing a YAML or XML description,
|
|
||||||
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
|
|
||||||
* You generate the SQL database tables by using the same tool,
|
|
||||||
* You write your application on top of the generated code that gives you direct and simplified access to your database.
|
|
||||||
|
|
||||||

|
|
||||||
|
|
||||||
You need at least one of these databases (or all of then). The configure script will now
|
|
||||||
fail if no supported database was found. Check the [Database Drivers](#database-drivers)
|
|
||||||
section to install them and run the configure again after the installation.
|
|
||||||
|
|
||||||
# Documentation
|
|
||||||
|
|
||||||
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
|
|
||||||
* [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
utilada = "^2.6.0"
|
|
||||||
utilada_xml = "^2.6.0"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
|
||||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
|
||||||
|
|
||||||
@@ -1,45 +0,0 @@
|
|||||||
description = "Ada Database Objects (All drivers)"
|
|
||||||
tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
|
|
||||||
name = "ado_all"
|
|
||||||
version = "2.4.0"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["ado_all.gpr"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-ado"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
This crate give access to the PostgreSQL, MySQL and SQLite drivers for the Ada Database Objects library.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
ado_postgresql = "^2.4.0"
|
|
||||||
ado_sqlite = "^2.4.0"
|
|
||||||
ado_mysql = "^2.4.0"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
|
||||||
BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["gnatprep", "-DHAVE_MYSQL=True", "-DHAVE_SQLITE=True", "-DHAVE_POSTGRESQL=True",
|
|
||||||
"../../src/drivers/ado-drivers-initialize.gpb",
|
|
||||||
"../../src/drivers/ado-drivers-initialize.adb"
|
|
||||||
]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
|
|
||||||
subdir = "./.alire/all/"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
|
||||||
|
|
||||||
@@ -21,7 +21,7 @@ This is the MySQL driver for the Ada Database Objects library.
|
|||||||
|
|
||||||
[[depends-on]]
|
[[depends-on]]
|
||||||
ado = "^2.3.0"
|
ado = "^2.3.0"
|
||||||
libmariadb = "*"
|
# libmysqlclient = "*"
|
||||||
|
|
||||||
[gpr-externals]
|
[gpr-externals]
|
||||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
||||||
|
|||||||
@@ -1,37 +0,0 @@
|
|||||||
description = "Ada Database Objects (Mysql)"
|
|
||||||
tags = ["database", "uml", "sql", "mysql", "mariadb"]
|
|
||||||
name = "ado_mysql"
|
|
||||||
version = "2.4.0"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["ado_mysql.gpr"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-ado"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
This is the MySQL driver for the Ada Database Objects library.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
ado = "^2.4.0"
|
|
||||||
libmariadb = "*"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
|
||||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
|
|
||||||
subdir = "./.alire/mysql/"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
|
||||||
|
|
||||||
@@ -1,37 +0,0 @@
|
|||||||
description = "Ada Database Objects (PostgreSQL)"
|
|
||||||
tags = ["database", "uml", "sql", "postgresql"]
|
|
||||||
name = "ado_postgresql"
|
|
||||||
version = "2.4.0"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["ado_postgresql.gpr"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-ado"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
This is the PostgreSQL driver for the Ada Database Objects library.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
ado = "^2.4.0"
|
|
||||||
libpq = "*"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
|
||||||
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
|
|
||||||
subdir = "./.alire/postgresql/"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
|
||||||
|
|
||||||
@@ -1,37 +0,0 @@
|
|||||||
description = "Ada Database Objects (SQLite)"
|
|
||||||
tags = ["database", "uml", "sql", "sqlite"]
|
|
||||||
name = "ado_sqlite"
|
|
||||||
version = "2.4.0"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["ado_sqlite.gpr"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-ado"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
|
|
||||||
[](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
This is the SQLite 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 = "de4b3c955a9afc50c9ec5ad64c79ae32032718bf"
|
|
||||||
subdir = "./.alire/sqlite/"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
|
|
||||||
|
|
||||||
@@ -1,47 +0,0 @@
|
|||||||
description = "An Ada Lexical Analyzer Generator"
|
|
||||||
name = "aflex"
|
|
||||||
version = "1.6"
|
|
||||||
licenses = "Unlicense"
|
|
||||||
authors = ["John Self"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
tags = ["parser", "generator", "grammar"]
|
|
||||||
website = "https://github.com/Ada-France/aflex"
|
|
||||||
executables = ["aflex"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
Aflex is a lexical analyzer generating tool similar to the Unix tool lex.
|
|
||||||
|
|
||||||
The first implementation was written by John Self of the Arcadia project
|
|
||||||
at the University of California, Irvine. The last version that was released
|
|
||||||
appeared to be the aflex 1.4a released in 1994.
|
|
||||||
|
|
||||||
Aflex was used and improved by P2Ada, the Pascal to Ada translator.
|
|
||||||
This version of Aflex is derived from the P2Ada aflex implementation
|
|
||||||
released in August 2010.
|
|
||||||
|
|
||||||
This version brings a number of improvements:
|
|
||||||
|
|
||||||
- Aflex generates the spec and body files as separate files so that
|
|
||||||
there is no need to use gnatchop to split the DFA and IO files.
|
|
||||||
- Aflex uses the lex file name to generate the package name and
|
|
||||||
it supports child package with the `%unit` directive.
|
|
||||||
- Aflex supports reentrant scanner through the use of `%option reentrant`,
|
|
||||||
`%yyvar` and `%yydecl` directives.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "b3c21d99666ba433071cd423dfeaab57b4a936b5"
|
|
||||||
url = "git+https://github.com/Ada-France/aflex.git"
|
|
||||||
|
|
||||||
@@ -1,47 +0,0 @@
|
|||||||
description = "An Ada Lexical Analyzer Generator"
|
|
||||||
name = "aflex"
|
|
||||||
version = "1.7"
|
|
||||||
licenses = "Unlicense"
|
|
||||||
authors = ["John Self"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
tags = ["parser", "generator", "grammar"]
|
|
||||||
website = "https://github.com/Ada-France/aflex"
|
|
||||||
executables = ["aflex"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
Aflex is a lexical analyzer generating tool similar to the Unix tool lex.
|
|
||||||
|
|
||||||
The first implementation was written by John Self of the Arcadia project
|
|
||||||
at the University of California, Irvine. The last version that was released
|
|
||||||
appeared to be the aflex 1.4a released in 1994.
|
|
||||||
|
|
||||||
Aflex was used and improved by P2Ada, the Pascal to Ada translator.
|
|
||||||
This version of Aflex is derived from the P2Ada aflex implementation
|
|
||||||
released in August 2010.
|
|
||||||
|
|
||||||
This version brings a number of improvements:
|
|
||||||
|
|
||||||
- Aflex generates the spec and body files as separate files so that
|
|
||||||
there is no need to use gnatchop to split the DFA and IO files.
|
|
||||||
- Aflex uses the lex file name to generate the package name and
|
|
||||||
it supports child package with the `%unit` directive.
|
|
||||||
- Aflex supports reentrant scanner through the use of `%option reentrant`,
|
|
||||||
`%yyvar` and `%yydecl` directives.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "77dbb4dadecc689de9e050652e8900ad40a47da5"
|
|
||||||
url = "git+https://github.com/Ada-France/aflex.git"
|
|
||||||
|
|
||||||
@@ -1,86 +0,0 @@
|
|||||||
description = "Ada Keystore Tool"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
|
|
||||||
|
|
||||||
# Overview
|
|
||||||
|
|
||||||
AKT is a tool to store and protect your sensitive information and documents by
|
|
||||||
encrypting them in secure keystore (AES-256, HMAC-256).
|
|
||||||
|
|
||||||
Create the keystore and protect it with a gpg public key:
|
|
||||||
```
|
|
||||||
akt create secure.akt --gpg <keyid> ...
|
|
||||||
```
|
|
||||||
|
|
||||||
Store a small content:
|
|
||||||
```
|
|
||||||
akt set secure.akt bank.password 012345
|
|
||||||
```
|
|
||||||
|
|
||||||
Store files, directory or a tar file:
|
|
||||||
```
|
|
||||||
akt store secure.akt notes.txt
|
|
||||||
akt store secure.akt contract.doc
|
|
||||||
akt store secure.akt directory
|
|
||||||
tar czf - . | akt store secure.akt -- backup
|
|
||||||
```
|
|
||||||
|
|
||||||
Edit a content with your $EDITOR:
|
|
||||||
```
|
|
||||||
akt edit secure.akt bank.password
|
|
||||||
akt edit secure.akt notes.txt
|
|
||||||
```
|
|
||||||
|
|
||||||
Get a content:
|
|
||||||
```
|
|
||||||
akt get secure.akt bank.password
|
|
||||||
akt extract secure.akt contract.doc
|
|
||||||
akt extract secure.akt -- backup | tar xzf -
|
|
||||||
```
|
|
||||||
|
|
||||||
## Documents
|
|
||||||
|
|
||||||
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
|
|
||||||
|
|
||||||
"""
|
|
||||||
name = "akt"
|
|
||||||
version = "1.4.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["keystoreada_tools.gpr"]
|
|
||||||
tags = ["security", "storage", "nosql"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-keystore"
|
|
||||||
executables = ["akt"]
|
|
||||||
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.4.0\"",
|
|
||||||
"../../tools/akt-configs.gpb",
|
|
||||||
"../../tools/akt-configs.ads"
|
|
||||||
]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
utilada = "^2.6.0"
|
|
||||||
keystoreada = "^1.4.0"
|
|
||||||
|
|
||||||
[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 = "c8fa1d949f368fbc74099cd54fcf2f370a134222"
|
|
||||||
subdir = "./.alire/akt/"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
|
|
||||||
|
|
||||||
@@ -2,12 +2,10 @@ description = "Portable package for producing dynamically PDF documents"
|
|||||||
name = "apdf"
|
name = "apdf"
|
||||||
version = "5.0.3"
|
version = "5.0.3"
|
||||||
authors = ["Gautier de Montmollin"]
|
authors = ["Gautier de Montmollin"]
|
||||||
website = "https://apdf.sourceforge.io/"
|
|
||||||
licenses = "MIT"
|
licenses = "MIT"
|
||||||
maintainers = ["gdemont@hotmail.com"]
|
maintainers = ["gdemont@hotmail.com"]
|
||||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
||||||
project-files = ["pdf_out_gnat_w_gid.gpr"]
|
project-files = ["pdf_out_gnat_w_gid.gpr"]
|
||||||
tags = ["pdf", "adobe"]
|
|
||||||
|
|
||||||
[gpr-externals]
|
[gpr-externals]
|
||||||
PDF_Build_Mode = ["Debug", "Fast"]
|
PDF_Build_Mode = ["Debug", "Fast"]
|
||||||
|
|||||||
@@ -1,55 +0,0 @@
|
|||||||
description = "Portable package for producing dynamically PDF documents"
|
|
||||||
name = "apdf"
|
|
||||||
version = "6.0.0"
|
|
||||||
authors = ["Gautier de Montmollin"]
|
|
||||||
website = "https://apdf.sourceforge.io/"
|
|
||||||
licenses = "MIT"
|
|
||||||
maintainers = ["gdemont@hotmail.com"]
|
|
||||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
|
||||||
project-files = ["pdf_out_gnat_w_gid.gpr"]
|
|
||||||
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
|
|
||||||
tags = ["pdf", "adobe"]
|
|
||||||
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
|
|
||||||
|
|
||||||

|
|
||||||
|
|
||||||
* Ideal for the dynamic production of reports, invoices, tickets, charts, maps etc.
|
|
||||||
* Vector graphics
|
|
||||||
* Inclusion of JPEG images
|
|
||||||
* Object oriented
|
|
||||||
* Task safe
|
|
||||||
* Endian-neutral
|
|
||||||
* Multi-platform, but native code build
|
|
||||||
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
|
|
||||||
* Unconditionally portable code: OS-, CPU-, compiler- independent code
|
|
||||||
* Pure Ada 95: this package can be used in projects in Ada 95, Ada 2005, 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_006.zip"
|
|
||||||
hashes = ["sha512:7c3ce4e9fd288aeedcf618d138d2d4a517e4163df76f8fd8b8db3ddcc7cdcb9b41791c77dcdbd3427c0fb6e4e6ea37ee2a72f1c0bc1ab36d37541d7c3a4e67b9"]
|
|
||||||
@@ -1,91 +0,0 @@
|
|||||||
description = "Advanced Resource Embedder"
|
|
||||||
name = "are"
|
|
||||||
version = "1.3.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["are_tool.gpr"]
|
|
||||||
tags = ["resource", "embedder", "generator"]
|
|
||||||
website = "https://gitlab.com/stcarrez/resource-embedder"
|
|
||||||
executables = ["are"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
|
|
||||||
files that contain the original files.
|
|
||||||
|
|
||||||
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
|
|
||||||
|
|
||||||
```
|
|
||||||
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
|
|
||||||
```
|
|
||||||
|
|
||||||
Complex resource integrations are best described with and XML and are generated with:
|
|
||||||
|
|
||||||
```
|
|
||||||
are --lang=Ada -o src --rule=package.xml --name-access .
|
|
||||||
```
|
|
||||||
|
|
||||||
For Ada, it generates the following package declaration with the `Get_Content` function
|
|
||||||
that gives access to the files. The Ada body contains the content of each embedded file.
|
|
||||||
|
|
||||||
```Ada
|
|
||||||
package Config is
|
|
||||||
function Get_Content (Name : in String)
|
|
||||||
return access constant String;
|
|
||||||
end Config;
|
|
||||||
```
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
windows = true
|
|
||||||
macos = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
xmlada = "~23.0.0"
|
|
||||||
utilada = "^2.6.0"
|
|
||||||
elada = "^1.8.6"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
|
|
||||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
|
||||||
|
|
||||||
[gpr-set-externals]
|
|
||||||
ARE_BUILD = "distrib"
|
|
||||||
ARE_SWITCH = "HAS_CALLBACK"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
|
|
||||||
UTIL_OS = "linux32"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
|
|
||||||
UTIL_OS = "linux64"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".macos]
|
|
||||||
UTIL_OS = "macos64"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
|
|
||||||
UTIL_OS = "win32"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
|
|
||||||
UTIL_OS = "win64"
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "7102b4b8270334d570428a5e220c40b22c5c3274"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
|
|
||||||
|
|
||||||
@@ -1,91 +0,0 @@
|
|||||||
description = "Advanced Resource Embedder"
|
|
||||||
name = "are"
|
|
||||||
version = "1.4.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["are_tool.gpr"]
|
|
||||||
tags = ["resource", "embedder", "generator"]
|
|
||||||
website = "https://gitlab.com/stcarrez/resource-embedder"
|
|
||||||
executables = ["are"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/resource-embedder)
|
|
||||||
[](https://resource-embedder.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
The resource embedder allows to embed files in binaries by producing C, Ada or Go source
|
|
||||||
files that contain the original files.
|
|
||||||
|
|
||||||
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use:
|
|
||||||
|
|
||||||
```
|
|
||||||
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config
|
|
||||||
```
|
|
||||||
|
|
||||||
Complex resource integrations are best described with and XML and are generated with:
|
|
||||||
|
|
||||||
```
|
|
||||||
are --lang=Ada -o src --rule=package.xml --name-access .
|
|
||||||
```
|
|
||||||
|
|
||||||
For Ada, it generates the following package declaration with the `Get_Content` function
|
|
||||||
that gives access to the files. The Ada body contains the content of each embedded file.
|
|
||||||
|
|
||||||
```Ada
|
|
||||||
package Config is
|
|
||||||
function Get_Content (Name : in String)
|
|
||||||
return access constant String;
|
|
||||||
end Config;
|
|
||||||
```
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
windows = true
|
|
||||||
macos = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
xmlada = "~23.0.0"
|
|
||||||
utilada = "^2.6.0"
|
|
||||||
elada = "^1.8.6"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"]
|
|
||||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
|
||||||
|
|
||||||
[gpr-set-externals]
|
|
||||||
ARE_BUILD = "distrib"
|
|
||||||
ARE_SWITCH = "HAS_CALLBACK"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32]
|
|
||||||
UTIL_OS = "linux32"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64]
|
|
||||||
UTIL_OS = "linux64"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".macos]
|
|
||||||
UTIL_OS = "macos64"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32]
|
|
||||||
UTIL_OS = "win32"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
|
|
||||||
UTIL_OS = "win64"
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "a458cb9ec097961321fa730df5a93a1606a69624"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
|
|
||||||
|
|
||||||
@@ -1,19 +0,0 @@
|
|||||||
name = "asfml"
|
|
||||||
description = "Ada binding to SFML, the Simple and Fast Multimedia Library"
|
|
||||||
version = "2.4.1"
|
|
||||||
|
|
||||||
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.4"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "a9027205ab1f11054f647767404a67bb95fe4169"
|
|
||||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
|
||||||
|
|
||||||
@@ -1,40 +0,0 @@
|
|||||||
name = "asfml"
|
|
||||||
description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
|
|
||||||
version = "2.5.4"
|
|
||||||
long-description = """
|
|
||||||
[](https://www.sfml-dev.org)
|
|
||||||
/badge.svg)
|
|
||||||
[](https://gitter.im/ada-lang/Lobby)
|
|
||||||
[](https://github.com/ohenley/awesome-ada)
|
|
||||||
|
|
||||||
ASFML is an Ada semi-thick binding to the
|
|
||||||
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
|
|
||||||
portable defined types which eliminates the inclusion of Ada interface
|
|
||||||
libraries, but most of the functions are directly imported.
|
|
||||||
|
|
||||||
# Documentation
|
|
||||||
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
|
|
||||||
|
|
||||||
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
|
|
||||||
with some changes and additions for ease of use.
|
|
||||||
|
|
||||||
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
|
|
||||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
|
||||||
maintainers-logins = ["mgrojo"]
|
|
||||||
|
|
||||||
licenses = "custom-zlib-acknowledgement"
|
|
||||||
website = "https://mgrojo.github.io/ASFML/"
|
|
||||||
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
libcsfml = "^2.5"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "c428084e93adcdcbffbb3518c60bfa26ceb2bb4c"
|
|
||||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
|
||||||
|
|
||||||
@@ -1,39 +0,0 @@
|
|||||||
name = "asfml"
|
|
||||||
description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
|
|
||||||
version = "2.5.5"
|
|
||||||
long-description = """
|
|
||||||
[](https://www.sfml-dev.org)
|
|
||||||
/badge.svg)
|
|
||||||
[](https://gitter.im/ada-lang/Lobby)
|
|
||||||
[](https://github.com/ohenley/awesome-ada)
|
|
||||||
|
|
||||||
ASFML is an Ada semi-thick binding to the
|
|
||||||
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
|
|
||||||
portable defined types which eliminates the inclusion of Ada interface
|
|
||||||
libraries, but most of the functions are directly imported.
|
|
||||||
|
|
||||||
# Documentation
|
|
||||||
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
|
|
||||||
|
|
||||||
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
|
|
||||||
with some changes and additions for ease of use.
|
|
||||||
|
|
||||||
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
|
|
||||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
|
||||||
maintainers-logins = ["mgrojo"]
|
|
||||||
|
|
||||||
licenses = "custom-zlib-acknowledgement"
|
|
||||||
website = "https://mgrojo.github.io/ASFML/"
|
|
||||||
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
libcsfml = "^2.5.2"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "a751457f9eb11b32a4024d48d24d99dc25089c05"
|
|
||||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
|
||||||
|
|
||||||
@@ -1,39 +0,0 @@
|
|||||||
name = "asfml"
|
|
||||||
description = "An Ada binding to SFML, the Simple and Fast Multimedia Library"
|
|
||||||
version = "2.6.0"
|
|
||||||
long-description = """
|
|
||||||
[](https://www.sfml-dev.org)
|
|
||||||
/badge.svg)
|
|
||||||
[](https://gitter.im/ada-lang/Lobby)
|
|
||||||
[](https://github.com/ohenley/awesome-ada)
|
|
||||||
|
|
||||||
ASFML is an Ada semi-thick binding to the
|
|
||||||
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and
|
|
||||||
portable defined types which eliminates the inclusion of Ada interface
|
|
||||||
libraries, but most of the functions are directly imported.
|
|
||||||
|
|
||||||
# Documentation
|
|
||||||
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/).
|
|
||||||
|
|
||||||
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but
|
|
||||||
with some changes and additions for ease of use.
|
|
||||||
|
|
||||||
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
|
|
||||||
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
|
|
||||||
maintainers-logins = ["mgrojo"]
|
|
||||||
|
|
||||||
licenses = "custom-zlib-acknowledgement"
|
|
||||||
website = "https://mgrojo.github.io/ASFML/"
|
|
||||||
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
libcsfml = "^2.6.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "244787934b6bc738a8d6219ff6d4bf4a7c93f5bb"
|
|
||||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
|
||||||
|
|
||||||
@@ -1,27 +0,0 @@
|
|||||||
name = "ashell"
|
|
||||||
description = "Allows running and interacting with OS programs."
|
|
||||||
long-description = "Useful for writing shell-like applications or applications which start, stop and interact with spawned OS programs."
|
|
||||||
version = "1.3.0"
|
|
||||||
|
|
||||||
authors = ["Rod Kay"]
|
|
||||||
maintainers = ["Rod Kay <rodakay5@gmail.com>"]
|
|
||||||
maintainers-logins = ["charlie5"]
|
|
||||||
|
|
||||||
licenses = "ISC"
|
|
||||||
website = "https://github.com/charlie5/aShell"
|
|
||||||
tags = ["spawn", "os", "command", "process", "directories"]
|
|
||||||
|
|
||||||
project-files = ["library/ashell.gpr",
|
|
||||||
"applet/spawn_server/spawn_server.gpr"]
|
|
||||||
|
|
||||||
[available.'case(distribution)']
|
|
||||||
'msys2' = false
|
|
||||||
'...' = true
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gcc = "^11.2.4"
|
|
||||||
florist_blady = "^6.0.0"
|
|
||||||
[origin]
|
|
||||||
commit = "8d2540e0f446427d11df1793b37cec04c01145a2"
|
|
||||||
url = "git+https://github.com/charlie5/aShell.git"
|
|
||||||
|
|
||||||
@@ -1,60 +0,0 @@
|
|||||||
name = "atari_atr_tools"
|
|
||||||
description = "Atari / SIO2PC tools for ATR-files"
|
|
||||||
long-description = """This is a tool to analyse, create and convert ATR files.
|
|
||||||
|
|
||||||
ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
|
|
||||||
|
|
||||||
# Print Header
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --print-header test-DD-DS-80.atr
|
|
||||||
File name : test-DD-DS-80.atr
|
|
||||||
Magic : 16#296#
|
|
||||||
Paragraphs : 46056
|
|
||||||
Sector size : 256
|
|
||||||
Flags : 2#1#
|
|
||||||
Bad Sectors : 0
|
|
||||||
Unused : 16#0#
|
|
||||||
Sectors : 2880
|
|
||||||
Bytes : 736896
|
|
||||||
Boot Sectors : true
|
|
||||||
|
|
||||||
Floppy disk double density, double sided, 80 track
|
|
||||||
```
|
|
||||||
|
|
||||||
# Create Floppy immage
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
|
|
||||||
File created : test-DD-SS-80.atr
|
|
||||||
Sector size : 256
|
|
||||||
Sector per track : 18
|
|
||||||
Tracks per side : 80
|
|
||||||
Sides per disk : 1
|
|
||||||
```
|
|
||||||
|
|
||||||
Development versions available with:
|
|
||||||
|
|
||||||
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
|
|
||||||
"""
|
|
||||||
version = "1.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"]
|
|
||||||
executables = ["atr_tools-main"]
|
|
||||||
website = "https://sourceforge.net/projects/tutorial-6502"
|
|
||||||
tags = ["atari", "tools", "retrocomputing", "ada2022"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
adacl = "5.9.8"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
hashes = [
|
|
||||||
"sha256:cabbfea1eaf65b4836a3deef576dba337877e6cb13b209c78390793970430a9e",
|
|
||||||
"sha512:50df90b23d7399ea1b1b079b33b6616157fe4cf21d1351c350cb15939b7dbc0e0a12b8f6d6f96e491d89e5fceb32aa75f69dbddb8d608167732242635d450d77",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.0.0.tgz"
|
|
||||||
|
|
||||||
@@ -1,72 +0,0 @@
|
|||||||
name = "atari_atr_tools"
|
|
||||||
description = "Atari / SIO2PC tools for ATR-files"
|
|
||||||
long-description = """This is a tool to analyse, create and convert ATR files.
|
|
||||||
|
|
||||||
ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
|
|
||||||
|
|
||||||
# Print Header
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --print-header test-DD-DS-80.atr
|
|
||||||
File name : test-DD-DS-80.atr
|
|
||||||
Magic : 16#296#
|
|
||||||
Paragraphs : 46056
|
|
||||||
Sector size : 256
|
|
||||||
Flags : 2#1#
|
|
||||||
Bad Sectors : 0
|
|
||||||
Unused : 16#0#
|
|
||||||
Sectors : 2880
|
|
||||||
Bytes : 736896
|
|
||||||
Boot Sectors : true
|
|
||||||
|
|
||||||
Floppy disk double density, double sided, 80 track
|
|
||||||
```
|
|
||||||
|
|
||||||
# Create Floppy image
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
|
|
||||||
File created : test-DD-SS-80.atr
|
|
||||||
Sector size : 256
|
|
||||||
Sector per track : 18
|
|
||||||
Tracks per side : 80
|
|
||||||
Sides per disk : 1
|
|
||||||
```
|
|
||||||
|
|
||||||
Development versions available with:
|
|
||||||
|
|
||||||
```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/tutorial-6502/git)
|
|
||||||
"""
|
|
||||||
version = "1.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"]
|
|
||||||
executables = ["atr_tools-main"]
|
|
||||||
website = "https://sourceforge.net/projects/tutorial-6502"
|
|
||||||
tags = ["atari", "tools", "retrocomputing", "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]]
|
|
||||||
adacl = ">=5.12.0"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
hashes = [
|
|
||||||
"sha256:e9f2be5c15332d483f505ac75824cef95bf49c9b54ecb7cf6521bf1558b9ef8b",
|
|
||||||
"sha512:bd4baeacce7679ae94f30c4f683e467983fa2f4df1eb33cec5d134c84d6c0ae19ad5d82ad4fd689df3849a05c13f9bb42f6dbe43bb7f81a83e796005968ab196",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.1.1.tgz"
|
|
||||||
|
|
||||||
@@ -1,80 +0,0 @@
|
|||||||
name = "atari_atr_tools"
|
|
||||||
description = "Atari / SIO2PC tools for ATR-files"
|
|
||||||
long-description = """This is a tool to analyse, create and convert ATR files.
|
|
||||||
|
|
||||||
ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
|
|
||||||
|
|
||||||
# Print Header
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --print-header test-DD-DS-80.atr
|
|
||||||
File name : test-DD-DS-80.atr
|
|
||||||
Magic : 16#296#
|
|
||||||
Paragraphs : 46056
|
|
||||||
Sector size : 256
|
|
||||||
Flags : 2#1#
|
|
||||||
Bad Sectors : 0
|
|
||||||
Unused : 16#0#
|
|
||||||
Sectors : 2880
|
|
||||||
Bytes : 736896
|
|
||||||
Boot Sectors : true
|
|
||||||
|
|
||||||
Floppy disk double density, double sided, 80 track
|
|
||||||
```
|
|
||||||
|
|
||||||
# Create Floppy image
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
|
|
||||||
File created : test-DD-SS-80.atr
|
|
||||||
Sector size : 256
|
|
||||||
Sector per track : 18
|
|
||||||
Tracks per side : 80
|
|
||||||
Sides per disk : 1
|
|
||||||
```
|
|
||||||
|
|
||||||
Development versions available with:
|
|
||||||
|
|
||||||
```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/tutorial-6502/git)
|
|
||||||
"""
|
|
||||||
version = "1.1.3"
|
|
||||||
licenses = "GPL-3.0-or-later"
|
|
||||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers-logins = ["krischik"]
|
|
||||||
executables = ["atr_tools-main"]
|
|
||||||
website = "https://sourceforge.net/projects/tutorial-6502"
|
|
||||||
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "No"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
adacl = ">=5.13.1"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:1e2cccbbeee5c0158b5453a73e5e66c69d27b312f88b9b430b6355446465a8df",
|
|
||||||
"sha512:241e48bd6d5b80fe6aaac9bdce0dfa5a3a21689f6143fcbe04cfbc307eeceea5c010825f210eaebb436f17f534352f00957a5952c0bf9998b7f20877a8a340bd",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.1.3.tgz"
|
|
||||||
|
|
||||||
@@ -1,80 +0,0 @@
|
|||||||
name = "atari_atr_tools"
|
|
||||||
description = "Atari / SIO2PC tools for ATR-files"
|
|
||||||
long-description = """This is a tool to analyse, create and convert ATR files.
|
|
||||||
|
|
||||||
ATR files are used by various Atari 8bit emulators and hardware add ons. Currently implemented
|
|
||||||
|
|
||||||
# Print Header
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --print-header test-DD-DS-80.atr
|
|
||||||
File name : test-DD-DS-80.atr
|
|
||||||
Magic : 16#296#
|
|
||||||
Paragraphs : 46056
|
|
||||||
Sector size : 256
|
|
||||||
Flags : 2#1#
|
|
||||||
Bad Sectors : 0
|
|
||||||
Unused : 16#0#
|
|
||||||
Sectors : 2880
|
|
||||||
Bytes : 736896
|
|
||||||
Boot Sectors : true
|
|
||||||
|
|
||||||
Floppy disk double density, double sided, 80 track
|
|
||||||
```
|
|
||||||
|
|
||||||
# Create Floppy image
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
|
|
||||||
File created : test-DD-SS-80.atr
|
|
||||||
Sector size : 256
|
|
||||||
Sector per track : 18
|
|
||||||
Tracks per side : 80
|
|
||||||
Sides per disk : 1
|
|
||||||
```
|
|
||||||
|
|
||||||
Development versions available with:
|
|
||||||
|
|
||||||
```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/tutorial-6502/git)
|
|
||||||
"""
|
|
||||||
version = "1.5.0"
|
|
||||||
licenses = "GPL-3.0-or-later"
|
|
||||||
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers-logins = ["krischik"]
|
|
||||||
executables = ["atr_tools-main"]
|
|
||||||
website = "https://sourceforge.net/projects/tutorial-6502"
|
|
||||||
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "No"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
adacl = "^5.15.1"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:5ab5b1710dca691b2a42bf9833961e227de99f1f01140b0e150f9e2274ff801c",
|
|
||||||
"sha512:39108450a978f951e37df11cb01074ac0fe1abe826ecf9fcdb0196caf706e5324c3d08863b1a4b083caa6e0d0e9192471ec8319e4f3947d6a18a0611633949d6",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.5.0.tgz"
|
|
||||||
|
|
||||||
@@ -1,79 +0,0 @@
|
|||||||
name = "atari_exe_tools"
|
|
||||||
description = "Atari tools for for handling EXE-files"
|
|
||||||
long-description = """This is a tool to analyse Atari 8 bit EXE files.
|
|
||||||
|
|
||||||
# Print Header
|
|
||||||
|
|
||||||
```sh
|
|
||||||
>exe_tools-main --print-header ./test/share/atari_check_exe_test/HELLO_C.EXE"
|
|
||||||
File: ./test/share/atari_check_exe_test/HELLO_C.EXE
|
|
||||||
Magic: $FFFF; Start: $2E00; End: $2EF5; Length: 246
|
|
||||||
Magic: $0000; Start: $02E2; End: $02E3; Length: 2; Init: $2E47
|
|
||||||
Magic: $0000; Start: $2400; End: $28DE; Length: 1247
|
|
||||||
Magic: $0000; Start: $02E0; End: $02E1; Length: 2; Run: $2401
|
|
||||||
```
|
|
||||||
|
|
||||||
# Print Data
|
|
||||||
|
|
||||||
```sh
|
|
||||||
--print-data ./test/share/atari_check_exe_test/HELLO_A.EXE"
|
|
||||||
File: ./test/share/atari_check_exe_test/HELLO_A.EXE
|
|
||||||
2400: 60 60 A2 00 A9 0B 9D 42 03 A9 3F 9D 44 03 A9 24
|
|
||||||
2410: 9D 45 03 A9 2E 9D 48 03 A9 00 9D 49 03 20 56 E4
|
|
||||||
2420: A2 00 A9 07 9D 42 03 A9 6D 9D 44 03 A9 24 9D 45
|
|
||||||
2430: 03 A9 01 9D 48 03 A9 00 9D 49 03 20 56 E4 60 48
|
|
||||||
2440: 65 6C 6C 6F 20 57 6F 72 6C 64 21 9B 28 75 73 69
|
|
||||||
2450: 6E 67 20 61 20 65 78 65 63 75 74 61 62 6C 65 20
|
|
||||||
2460: 69 6E 20 61 73 73 65 6D 62 65 72 29 9B 00
|
|
||||||
02E0: 02 24
|
|
||||||
Run: $2402
|
|
||||||
>exe_tools-main
|
|
||||||
```
|
|
||||||
|
|
||||||
The ATASCII part of the hexdump has been removed as Alire is not UTF8 compatible.
|
|
||||||
|
|
||||||
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 including AUnit tests available on [SourceForge](https://git.code.sf.net/p/tutorial-6502/git)
|
|
||||||
"""
|
|
||||||
version = "1.5.0"
|
|
||||||
licenses = "GPL-3.0-or-later"
|
|
||||||
authors = ["Martin Krischik"]
|
|
||||||
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
|
|
||||||
maintainers-logins = ["krischik"]
|
|
||||||
executables = ["exe_tools-main"]
|
|
||||||
website = "https://sourceforge.net/projects/tutorial-6502"
|
|
||||||
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.runtime_checks = "Overflow"
|
|
||||||
release.runtime_checks = "Default"
|
|
||||||
validation.runtime_checks = "Everything"
|
|
||||||
development.contracts = "Yes"
|
|
||||||
release.contracts = "No"
|
|
||||||
validation.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
adacl = "^5.15.1"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[[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:cfa984352e70e528ee768124141eaa3d56dc595f7613ce7c1bf12be578005349",
|
|
||||||
"sha512:e166df5c4b7afc02f30463495cb76c482801985d8f8f1bda2af6b8408da2d18f6435cbc95a003e306c217b725f18493d325080fc34c1144d0891040cc89c1e0d",
|
|
||||||
]
|
|
||||||
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_exe_tools-1.5.0.tgz"
|
|
||||||
|
|
||||||
@@ -1,19 +0,0 @@
|
|||||||
name = "atomic"
|
|
||||||
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
|
|
||||||
version = "0.5.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 = "14c344ccfb14bcba0feadb5303831d6409f65b5e"
|
|
||||||
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
description = "Ada unit test framework"
|
|
||||||
name = "aunit"
|
|
||||||
version = "23.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/v23.0.0/aunit-23.0.0.zip"
|
|
||||||
hashes=["sha512:84ce7d0b5b1af66a171711ee707b6082dddd306798084a43dc337d46d8e61252982b9c25f9c2d73bd6f01ec088337e4c2386dbf7a5cf04180c1c525393cd4c8f"]
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
description = "Ada unit test framework"
|
|
||||||
name = "aunit"
|
|
||||||
version = "24.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/v24.0.0/aunit-24.0.0.zip"
|
|
||||||
hashes=['sha512:67fdc2b6c0c846268252e065d52090f805c68f968d71decf5674824ddc10e6ae7f6ad3156356251953940cbcbfce043d8fe29f1824e15cfd264f52049aeb9476']
|
|
||||||
@@ -1,23 +0,0 @@
|
|||||||
name = "automate"
|
|
||||||
description = "Ada finite-state machine generator"
|
|
||||||
version = "3.0.0"
|
|
||||||
tags = ["automaton", "generator"]
|
|
||||||
|
|
||||||
authors = ["Pascal Pignard"]
|
|
||||||
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
|
|
||||||
maintainers-logins = ["Blady-Com"]
|
|
||||||
website = "https://github.com/Blady-Com/Automate"
|
|
||||||
|
|
||||||
licenses = "CECILL-2.1"
|
|
||||||
|
|
||||||
executables = ["genauto"]
|
|
||||||
|
|
||||||
[gpr-set-externals.'case(os)']
|
|
||||||
macos = { GENAUTO_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback
|
|
||||||
[[depends-on]]
|
|
||||||
uxstrings = ">=0.6"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "b83dfb7701b9f27aaa2c6b40467c99c55f1ee92f"
|
|
||||||
url = "git+https://github.com/Blady-Com/Automate.git"
|
|
||||||
|
|
||||||
@@ -1,18 +0,0 @@
|
|||||||
name = "avrada_examples"
|
|
||||||
description = "Sample applications in Ada for AVR microcontrollers"
|
|
||||||
version = "1.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "demo"]
|
|
||||||
|
|
||||||
project-files = ["avrada_examples.gpr"]
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "1f575fdfa3dceaf1e4730e95e0c960b406d10f45"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Examples.git"
|
|
||||||
|
|
||||||
@@ -1,18 +0,0 @@
|
|||||||
name = "avrada_examples"
|
|
||||||
description = "Sample applications in Ada for AVR microcontrollers"
|
|
||||||
version = "1.0.1"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "demo"]
|
|
||||||
|
|
||||||
project-files = ["avrada_examples.gpr"]
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "72780c766d5e3cb674d012c1775015d4442ce6e0"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Examples.git"
|
|
||||||
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
name = "avrada_lib"
|
|
||||||
description = "Library of drivers for AVR microcontrollers"
|
|
||||||
version = "2.0.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
# If your program uses AVR.Real_Time.Timing_Events you can either
|
|
||||||
# handle them in your main loop (False) or during the 1ms clock tick
|
|
||||||
# of Timer0 (True). Defaults to false as most applications do not use
|
|
||||||
# timing events.
|
|
||||||
Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
|
|
||||||
|
|
||||||
# Serial/UART receive mode can either be by polling the Rx bit or by
|
|
||||||
# interrupt. Interrupt mode is only partly implemented.
|
|
||||||
UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11"
|
|
||||||
avrada_rts = "^2.0.0"
|
|
||||||
avrada_mcu = "^2.0.0"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "38be63691debb2b732dd95b4ed4bdba35bc09b17"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Lib.git"
|
|
||||||
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
name = "avrada_lib"
|
|
||||||
description = "Library of drivers for AVR microcontrollers"
|
|
||||||
version = "2.0.1"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "drivers"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
# If your program uses AVR.Real_Time.Timing_Events you can either
|
|
||||||
# handle them in your main loop (False) or during the 1ms clock tick
|
|
||||||
# of Timer0 (True). Defaults to false as most applications do not use
|
|
||||||
# timing events.
|
|
||||||
Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
|
|
||||||
|
|
||||||
# Serial/UART receive mode can either be by polling the Rx bit or by
|
|
||||||
# interrupt. Interrupt mode is only partly implemented.
|
|
||||||
UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
avrada_mcu = "^2.0.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "2625ad6cd549d623511fe94cd2b4a611fe43acbf"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Lib.git"
|
|
||||||
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
name = "avrada_lib"
|
|
||||||
description = "Library of drivers for AVR microcontrollers"
|
|
||||||
version = "2.0.2"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "drivers"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
# If your program uses AVR.Real_Time.Timing_Events you can either
|
|
||||||
# handle them in your main loop (False) or during the 1ms clock tick
|
|
||||||
# of Timer0 (True). Defaults to false as most applications do not use
|
|
||||||
# timing events.
|
|
||||||
Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
|
|
||||||
|
|
||||||
# Serial/UART receive mode can either be by polling the Rx bit or by
|
|
||||||
# interrupt. Interrupt mode is only partly implemented.
|
|
||||||
UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
avrada_mcu = "^2.0.2"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "be6627e45742750d410abcd3da079222ee3ca3b0"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Lib.git"
|
|
||||||
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
name = "avrada_lib"
|
|
||||||
description = "Library of drivers for AVR microcontrollers"
|
|
||||||
version = "2.1.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "drivers"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
# If your program uses AVR.Real_Time.Timing_Events you can either
|
|
||||||
# handle them in your main loop (False) or during the 1ms clock tick
|
|
||||||
# of Timer0 (True). Defaults to false as most applications do not use
|
|
||||||
# timing events.
|
|
||||||
Process_Timing_Events_In_Ticks = {type = "Boolean", default = false}
|
|
||||||
|
|
||||||
# Serial/UART receive mode can either be by polling the Rx bit or by
|
|
||||||
# interrupt. Interrupt mode is only partly implemented.
|
|
||||||
UART_Receive_Mode = {type = "Enum", values = ["polled", "interrupt"], default = "polled"}
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
avrada_mcu = "^2.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "fe38c6dcc93dc2210cdb1704d9ca2592c5657495"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_Lib.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "avrada_mcu"
|
|
||||||
description = "Device (MCU) specific definitions for AVR microcontrollers"
|
|
||||||
version = "2.0.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.0"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "fd0e8204d0c386b4dd410db45cdf14e4e1ba831b"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_MCU.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "avrada_mcu"
|
|
||||||
description = "Device (MCU) specific definitions for AVR microcontrollers"
|
|
||||||
version = "2.0.1"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "0284e64da7de32eefb45590823dbcf821937ec17"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_MCU.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "avrada_mcu"
|
|
||||||
description = "Device (MCU) specific definitions for AVR microcontrollers"
|
|
||||||
version = "2.0.2"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "f6ef583f07cd5f1cf70e2b6c43e072df3a69b860"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_MCU.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "avrada_mcu"
|
|
||||||
description = "Device (MCU) specific definitions for AVR microcontrollers"
|
|
||||||
version = "2.1.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "6dc604f2a090d5303db0a8fb541ddc186ab101a1"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_MCU.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "avrada_mcu"
|
|
||||||
description = "Device (MCU) specific definitions for AVR microcontrollers"
|
|
||||||
version = "2.2.0"
|
|
||||||
|
|
||||||
authors = ["Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert.gcc@gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
avrada_rts = "^2.0.1"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "b6f5cf0d6b9e4981ce79c6ed7f3dd28600c08dbf"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_MCU.git"
|
|
||||||
|
|
||||||
@@ -1,24 +0,0 @@
|
|||||||
name = "avrada_rts"
|
|
||||||
description = "Minimal run time system (RTS) for AVR 8bit controllers"
|
|
||||||
version = "2.0.0"
|
|
||||||
|
|
||||||
authors = ["Adacore", "Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert@gcc.gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
AVR_MCU = { type = "String", default = "atmega328p" }
|
|
||||||
Sec_Stack_Size = { type = "Integer", first = 0, last = 1024, default = 63 }
|
|
||||||
Clock_Frequency = { type = "Integer", first = 0, default = 0 }
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "9e4f8d80ef47810b126a3e809d549e114c92ed94"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_RTS.git"
|
|
||||||
|
|
||||||
@@ -1,24 +0,0 @@
|
|||||||
name = "avrada_rts"
|
|
||||||
description = "Minimal run time system (RTS) for AVR 8bit controllers"
|
|
||||||
version = "2.0.1"
|
|
||||||
|
|
||||||
authors = ["Adacore", "Rolf Ebert"]
|
|
||||||
maintainers = ["Rolf Ebert <rolf.ebert@gcc.gmx.de>"]
|
|
||||||
maintainers-logins = ["RREE"]
|
|
||||||
licenses = "GPL-2.0-or-later WITH GCC-exception-3.1"
|
|
||||||
website = "https://sourceforge.net/projects/avr-ada/"
|
|
||||||
tags = ["avr", "embedded", "rts"]
|
|
||||||
|
|
||||||
[configuration.variables]
|
|
||||||
AVR_MCU = { type = "String", default = "atmega328p" }
|
|
||||||
Sec_Stack_Size = { type = "Integer", first = 0, last = 1024, default = 63 }
|
|
||||||
Clock_Frequency = { type = "Integer", first = 0, default = 0 }
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat_avr_elf = "^11 | ^12.2"
|
|
||||||
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "92a5f15aa224e5848fea1be3aa8694f256bae9b6"
|
|
||||||
url = "git+https://github.com/RREE/AVRAda_RTS.git"
|
|
||||||
|
|
||||||
@@ -1,80 +0,0 @@
|
|||||||
description = "Ada Web Application"
|
|
||||||
name = "awa"
|
|
||||||
version = "2.4.0"
|
|
||||||
tags = ["web", "users", "jobs", "wiki", "framework", "storage", "blog"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-awa"
|
|
||||||
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-AWA/)
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-AWA/)
|
|
||||||
[](https://codecov.io/gh/stcarrez/ada-awa)
|
|
||||||
[](https://ada-awa.readthedocs.io/en/latest/?badge=latest)
|
|
||||||
|
|
||||||
Ada Web Application is a framework to build a Web Application in Ada 2012.
|
|
||||||
The framework provides several ready to use and extendable modules that are common
|
|
||||||
to many web application. This includes the login, authentication, users, permissions,
|
|
||||||
managing comments, tags, votes, documents, images. It provides a complete blog,
|
|
||||||
question and answers and a wiki module.
|
|
||||||
|
|
||||||
AWA simplifies the Web Application development by taking care of user management with
|
|
||||||
Google+, Facebook authentication and by providing the foundations on top of which you
|
|
||||||
can construct your own application. AWA provides a powerful permission management
|
|
||||||
that gives flexibility to applications to grant access and protect your user's resources.
|
|
||||||
|
|
||||||

|
|
||||||
|
|
||||||
# Documentation
|
|
||||||
|
|
||||||
The Ada Web Application programmer's guide describes how to setup the framework,
|
|
||||||
how you can setup and design your first web application with it,
|
|
||||||
and it provides detailed description of AWA components:
|
|
||||||
|
|
||||||
* [Ada Web Application programmer's guide](https://ada-awa.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-awa/blob/master/awa/docs/awa-book.pdf)
|
|
||||||
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
|
|
||||||
* [Ada Security Programmer's Guide](https://ada-security.readthedocs.io/en/latest/)
|
|
||||||
* [Ada Utility Library Programmer's Guide](https://ada-util.readthedocs.io/en/latest/)
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
project-files = [
|
|
||||||
".alire/awa_blogs.gpr", ".alire/awa.gpr", ".alire/awa_settings.gpr", ".alire/awa_wikis.gpr",
|
|
||||||
".alire/awa_changelogs.gpr", ".alire/awa_images.gpr", ".alire/awa_setup.gpr", ".alire/awa_workspaces.gpr",
|
|
||||||
".alire/awa_comments.gpr", ".alire/awa_jobs.gpr", ".alire/awa_storages.gpr",
|
|
||||||
".alire/awa_counters.gpr", ".alire/awa_mail.gpr", ".alire/awa_tags.gpr",
|
|
||||||
".alire/awa_countries.gpr", ".alire/awa_questions.gpr", ".alire/awa_votes.gpr"
|
|
||||||
]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
utilada = "^2.5.0"
|
|
||||||
utilada_xml = "^2.5.0"
|
|
||||||
utilada_aws = "^2.5.0"
|
|
||||||
ado = "^2.3.0"
|
|
||||||
wikiada = "^1.4.0"
|
|
||||||
elada = "^1.8.5"
|
|
||||||
security = "^1.4.1"
|
|
||||||
serverfaces = "^1.5.0"
|
|
||||||
servletada = "^1.6.0"
|
|
||||||
servletada_aws = "^1.6.0"
|
|
||||||
keystoreada = "^1.3.3"
|
|
||||||
|
|
||||||
[[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"]
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
DYNAMO_SEARCH_PATH.prepend = "${CRATE_ROOT}/awa/plugins"
|
|
||||||
DYNAMO_UML_PATH.prepend = "${CRATE_ROOT}/awa/uml"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "59135a52aff7027f9295888775b9e1cc6cecdc22"
|
|
||||||
url = "git+https://github.com/stcarrez/ada-awa.git"
|
|
||||||
|
|
||||||
@@ -1,43 +0,0 @@
|
|||||||
description = "Ada Web Application (Testing framework)"
|
|
||||||
name = "awa_unit"
|
|
||||||
version = "2.4.0"
|
|
||||||
tags = ["web", "users", "jobs", "framework", "testing"]
|
|
||||||
website = "https://gitlab.com/stcarrez/ada-awa"
|
|
||||||
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-AWA/)
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-AWA/)
|
|
||||||
[](https://codecov.io/gh/stcarrez/ada-awa)
|
|
||||||
[](https://ada-awa.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.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
project-files = [".alire/unit/awa_unit.gpr"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
awa = "^2.4.0"
|
|
||||||
serverfaces_unit = "^1.5.0"
|
|
||||||
servletada_unit = "^1.6.0"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
AWA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
|
|
||||||
AWA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "59135a52aff7027f9295888775b9e1cc6cecdc22"
|
|
||||||
url = "git+https://github.com/stcarrez/ada-awa.git"
|
|
||||||
|
|
||||||
@@ -1,53 +0,0 @@
|
|||||||
description = "Ada Web Server"
|
|
||||||
website = "https://github.com/adacore/aws"
|
|
||||||
name = "aws"
|
|
||||||
version = "23.0.0"
|
|
||||||
authors = ["AdaCore"]
|
|
||||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
|
||||||
maintainers = ["chouteau@adacore.com"]
|
|
||||||
maintainers-logins = ["Fabien-Chouteau"]
|
|
||||||
project-files = ["aws.gpr"]
|
|
||||||
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
|
|
||||||
|
|
||||||
# Since the AWS project doesn't build alone with just gprbuild we build and
|
|
||||||
# install with the Makefile from post-fetch action.
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["make", "setup", "ZLIB=false", "DEMOS=false",
|
|
||||||
"LAL=false", "XMLADA=false", "SOCKET=openssl", "prefix=install_dir",
|
|
||||||
"PRJ_BUILD=Release"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
xmlada = "~23.0.0"
|
|
||||||
gnatcoll = "~23.0.0"
|
|
||||||
make = "*"
|
|
||||||
gnat = ">=12"
|
|
||||||
openssl = "*"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
LIBRARY_TYPE = ["static", "relocatable"]
|
|
||||||
PRJ_BUILD = ["Debug", "Release"]
|
|
||||||
PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
|
|
||||||
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
|
|
||||||
|
|
||||||
[gpr-set-externals]
|
|
||||||
PRJ_LDAP="Disabled"
|
|
||||||
PRJ_LAL="Disabled"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".linux]
|
|
||||||
PRJ_TARGET = "UNIX"
|
|
||||||
TARGET = "x86_64-pc-linux-gnu"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".macos]
|
|
||||||
PRJ_TARGET = "Darwin"
|
|
||||||
TARGET = "x86_64-apple-darwin19.6.0"
|
|
||||||
|
|
||||||
[gpr-set-externals."case(os)".windows]
|
|
||||||
PRJ_TARGET = "Windows_NT"
|
|
||||||
TARGET = "x86_64-w64-mingw32"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
# The archive is built with git archive to include templates-parser sub-module:
|
|
||||||
# $ git-archive-all --prefix=aws-23.0.0 aws-23.0.0.zip
|
|
||||||
url= "https://github.com/AdaCore/aws/releases/download/v23.0.0/aws-23.0.0.zip"
|
|
||||||
hashes=["sha512:6c406859155c76bf9ca954e12eebf4f9985bbdef8c0151273df4eb86c6f5f9018e5800d7359f61a6a0b25eaa548de511180113f8abfdf38b211f594c5cbdfca5"]
|
|
||||||
@@ -1,37 +0,0 @@
|
|||||||
description = "Ada Web Server"
|
|
||||||
website = "https://github.com/adacore/aws"
|
|
||||||
name = "aws"
|
|
||||||
version = "24.0.0"
|
|
||||||
authors = ["AdaCore"]
|
|
||||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
|
||||||
maintainers = ["chouteau@adacore.com"]
|
|
||||||
maintainers-logins = ["Fabien-Chouteau"]
|
|
||||||
project-files = ["install_dir/share/gpr/aws.gpr"]
|
|
||||||
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
|
|
||||||
|
|
||||||
# Since the AWS project doesn't build alone with just gprbuild we build and
|
|
||||||
# install with the Makefile from post-fetch actions.
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["make", "setup", "ZLIB=false", "DEMOS=false",
|
|
||||||
"LAL=false", "XMLADA=false", "SOCKET=openssl", "prefix=install_dir",
|
|
||||||
"PRJ_BUILD=Release"]
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["make", "all", "ENABLE_SHARED=false"]
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["make", "install-lib-native", "install-tools-native", "--jobs=1", "ENABLE_SHARED=false"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
xmlada = "~24.0.0"
|
|
||||||
gnatcoll = "~24.0.0"
|
|
||||||
make = "*"
|
|
||||||
gnat = ">=12"
|
|
||||||
openssl = "*"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
# The archive is built with git archive to include templates-parser sub-module:
|
|
||||||
# $ git-archive-all --prefix=aws-24.0.0 aws-24.0.0-with-templates-parser.zip
|
|
||||||
url="https://github.com/AdaCore/aws/releases/download/v24.0.0/aws-24.0.0-with-templates-parser.zip"
|
|
||||||
hashes=['sha512:2b75fe6dc1bf676b6bd949354e352a94c918c109f8065179634ccba6e17329ba48163deb4bceb506eaf1e2a1446378bbe3439ea007a7dc5dd77286e56b497c4c']
|
|
||||||
@@ -1,47 +0,0 @@
|
|||||||
description = "An Ada LARL(1) parser generator"
|
|
||||||
name = "ayacc"
|
|
||||||
version = "1.4.0"
|
|
||||||
licenses = "Unlicense"
|
|
||||||
authors = ["David Taback", "Deepak Tolani"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
executables = ["ayacc"]
|
|
||||||
tags = ["parser", "generator", "grammar"]
|
|
||||||
website = "https://github.com/Ada-France/ayacc"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
Ayacc is an Ada parser generator in the style of yacc(1).
|
|
||||||
|
|
||||||
The first implementation was written by David Taback and Deepak Tolani
|
|
||||||
at the University of California, Irvine. The last version that was released
|
|
||||||
appeared to be the Ayacc 1.1 released in 1994.
|
|
||||||
|
|
||||||
Ayacc was used and improved by P2Ada, the Pascal to Ada translator.
|
|
||||||
This version of Ayacc is derived from the P2Ada ayacc implementation
|
|
||||||
released in August 2010.
|
|
||||||
|
|
||||||
This version brings a number of improvements:
|
|
||||||
|
|
||||||
- Ayacc now uses more standard options to configure the code generation
|
|
||||||
- The parser was improved to configure the parser stack size and
|
|
||||||
support Ada child packages.
|
|
||||||
- The grammar supports the %unit directive to control the Ada child packages.
|
|
||||||
- Several options provide a better control of the generated code.
|
|
||||||
- Ayacc can generate a reentrant parser.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "c06f997fee0272923568c413fa6a0bd78b2155fb"
|
|
||||||
url = "git+https://github.com/Ada-France/ayacc.git"
|
|
||||||
|
|
||||||
@@ -1,47 +0,0 @@
|
|||||||
description = "An Ada LARL(1) parser generator"
|
|
||||||
name = "ayacc"
|
|
||||||
version = "1.4.1"
|
|
||||||
licenses = "Unlicense"
|
|
||||||
authors = ["David Taback", "Deepak Tolani"]
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
executables = ["ayacc"]
|
|
||||||
tags = ["parser", "generator", "grammar"]
|
|
||||||
website = "https://github.com/Ada-France/ayacc"
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
Ayacc is an Ada parser generator in the style of yacc(1).
|
|
||||||
|
|
||||||
The first implementation was written by David Taback and Deepak Tolani
|
|
||||||
at the University of California, Irvine. The last version that was released
|
|
||||||
appeared to be the Ayacc 1.1 released in 1994.
|
|
||||||
|
|
||||||
Ayacc was used and improved by P2Ada, the Pascal to Ada translator.
|
|
||||||
This version of Ayacc is derived from the P2Ada ayacc implementation
|
|
||||||
released in August 2010.
|
|
||||||
|
|
||||||
This version brings a number of improvements:
|
|
||||||
|
|
||||||
- Ayacc now uses more standard options to configure the code generation
|
|
||||||
- The parser was improved to configure the parser stack size and
|
|
||||||
support Ada child packages.
|
|
||||||
- The grammar supports the %unit directive to control the Ada child packages.
|
|
||||||
- Several options provide a better control of the generated code.
|
|
||||||
- Ayacc can generate a reentrant parser.
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
disabled = true
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "2ec635a270080bce7cd42403ba28729173ed7c88"
|
|
||||||
url = "git+https://github.com/Ada-France/ayacc.git"
|
|
||||||
|
|
||||||
@@ -6,8 +6,6 @@ licenses = "MIT"
|
|||||||
maintainers = ["fabien.chouteau@gmail.com"]
|
maintainers = ["fabien.chouteau@gmail.com"]
|
||||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
||||||
project-files = ["bar_codes_gnat.gpr"]
|
project-files = ["bar_codes_gnat.gpr"]
|
||||||
tags = ["bar", "code", "qr", "code128"]
|
|
||||||
executables = ["bar_codes_demo"]
|
|
||||||
|
|
||||||
[gpr-externals]
|
[gpr-externals]
|
||||||
Build_Mode = ["Debug", "Fast", "Check_2005", "Check_Style"]
|
Build_Mode = ["Debug", "Fast", "Check_2005", "Check_Style"]
|
||||||
|
|||||||
@@ -1,11 +0,0 @@
|
|||||||
description = "Collection of formally verified building blocks (legacy annotations)"
|
|
||||||
name = "basalt"
|
|
||||||
version = "0.3.0-1"
|
|
||||||
licenses = "AGPL-3.0-only"
|
|
||||||
maintainers = ["kliemann@adacore.com"]
|
|
||||||
maintainers-logins = ["jklmnn"]
|
|
||||||
tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
url = "https://github.com/Componolit/basalt/archive/refs/tags/v0.3.0-1.tar.gz"
|
|
||||||
hashes = ["sha512:f970b41598216e040ece5e673689b7fb87153721ec11c596f63bb79df2f3b0a84e8ed2c0da462f98abeacb79ce30f5c1558aa36f935188f5a0e46c0685585f5a"]
|
|
||||||
@@ -1,11 +0,0 @@
|
|||||||
description = "Collection of formally verified building blocks"
|
|
||||||
name = "basalt"
|
|
||||||
version = "0.3.0"
|
|
||||||
licenses = "AGPL-3.0-only"
|
|
||||||
maintainers = ["kliemann@adacore.com"]
|
|
||||||
maintainers-logins = ["jklmnn"]
|
|
||||||
tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
url = "https://github.com/Componolit/basalt/archive/v0.3.0.tar.gz"
|
|
||||||
hashes = ["sha512:bbbf5ac9ac03ef85125b93a23541848fddf42a6ba878a6d35fe0282338b5e0f5c68a3be97dd7e3964bb01744e3ae4589a6ace3faceab9de9971c9d7860c40ae1"]
|
|
||||||
@@ -1,22 +0,0 @@
|
|||||||
name = "bbqueue"
|
|
||||||
description = "DMA friendly lock-free BipBuffer"
|
|
||||||
version = "0.3.1"
|
|
||||||
|
|
||||||
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)"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
atomic = "~0.5"
|
|
||||||
gnat = ">=10"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "24c1ae73dfd44f9361ea8b0f42c1f0a91fddc0e8"
|
|
||||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
|
||||||
|
|
||||||
@@ -1,25 +0,0 @@
|
|||||||
name = "bbqueue"
|
|
||||||
description = "DMA friendly lock-free BipBuffer"
|
|
||||||
version = "0.3.2"
|
|
||||||
|
|
||||||
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 = "~0.5"
|
|
||||||
gnat = ">=10"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "5e5007cf9d767f06c12b737a155eb608c58942b3"
|
|
||||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
|
||||||
|
|
||||||
@@ -1,25 +0,0 @@
|
|||||||
name = "bingada"
|
|
||||||
description = "Bingo application in GTKAda with sound in ASFML"
|
|
||||||
version = "1.0.0"
|
|
||||||
|
|
||||||
authors = ["Javier Fuica Fernández", "Manuel Gómez"]
|
|
||||||
maintainers = ["Manuel Gómez <mgrojo@gmail.com>"]
|
|
||||||
maintainers-logins = ["mgrojo"]
|
|
||||||
|
|
||||||
licenses = "MIT"
|
|
||||||
website = "https://github.com/jfuica/bingada"
|
|
||||||
tags = ["bingo", "game", "chance", "family", "sound", "gtk", "sfml"]
|
|
||||||
|
|
||||||
executables = ["bingada"]
|
|
||||||
|
|
||||||
[[depends-on]] # This line was added by `alr with`
|
|
||||||
gtkada = "^21.0.0" # This line was added by `alr with`
|
|
||||||
|
|
||||||
|
|
||||||
[[depends-on]] # This line was added by `alr with`
|
|
||||||
asfml = "^2.5.0" # This line was added by `alr with`
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "a25771e2de2d5abbc7058e442ef7c8cdbeca8600"
|
|
||||||
url = "git+https://github.com/jfuica/bingada.git"
|
|
||||||
|
|
||||||
@@ -1,30 +0,0 @@
|
|||||||
name = "bme280"
|
|
||||||
description = "Driver for BME280 Humidity sensor"
|
|
||||||
version = "1.0.0"
|
|
||||||
|
|
||||||
authors = ["Max Reznik"]
|
|
||||||
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
|
|
||||||
maintainers-logins = ["reznikmm"]
|
|
||||||
licenses = "Apache-2.0 WITH LLVM-exception"
|
|
||||||
website = "https://github.com/reznikmm/bme280"
|
|
||||||
tags = ["sensor", "humidity", "temperature", "pressure", "driver"]
|
|
||||||
project-files = ["gnat/bme280.gpr"]
|
|
||||||
|
|
||||||
[configuration]
|
|
||||||
output_dir = "gnat"
|
|
||||||
generate_ada = false
|
|
||||||
generate_c = false
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
development.optimization = ["-O0"]
|
|
||||||
development.style_checks = ["-gnaty"]
|
|
||||||
development.contracts = "Yes"
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
hal = "~0.3.0"
|
|
||||||
gnat = ">=11 & <2000" # Uses Ada 2022 syntax
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "85a38919aa896c4c2a66825a135c87149224044c"
|
|
||||||
url = "git+https://github.com/reznikmm/bme280.git"
|
|
||||||
|
|
||||||
@@ -1,25 +0,0 @@
|
|||||||
name = "canberra_ada"
|
|
||||||
description = "Ada 2012 bindings for libcanberra"
|
|
||||||
version = "2.0.2"
|
|
||||||
website = "https://github.com/onox/canberra-ada"
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
tags = ["canberra", "audio", "sound", "linux"]
|
|
||||||
|
|
||||||
authors = ["onox"]
|
|
||||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
|
||||||
maintainers-logins = ["onox"]
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
libcanberra = "~0.30.0"
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
validation.compile_checks = "warnings"
|
|
||||||
"*".style_checks = ["-gnatygAOM99-Is"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "75660acaba2656f3ef165d8a649f4a6e8e83a834"
|
|
||||||
url = "git+https://github.com/onox/canberra-ada.git"
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "cashe"
|
|
||||||
description = "A fixed-point decimal money library written in Ada."
|
|
||||||
version = "1.0.0"
|
|
||||||
licenses = "MIT"
|
|
||||||
|
|
||||||
website = "https://github.com/AJ-Ianozi/Cashe/"
|
|
||||||
tags = [ "currency", "money", "decimal", "finance" ]
|
|
||||||
|
|
||||||
authors = ["AJ Ianozi"]
|
|
||||||
maintainers = ["AJ Ianozi <aj@ianozi.com>"]
|
|
||||||
maintainers-logins = ["AJ-Ianozi"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
iso = "^2.0.0"
|
|
||||||
gnat = ">=12 & <2000"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "d142893b6036e384daa3e8a9172f133c204ee5a7"
|
|
||||||
url = "git+https://github.com/AJ-Ianozi/Cashe.git"
|
|
||||||
|
|
||||||
@@ -1,15 +0,0 @@
|
|||||||
name = "chacha20"
|
|
||||||
description = "ChaCha20 implementation in Ada."
|
|
||||||
version = "0.1.0"
|
|
||||||
|
|
||||||
authors = ["Mateus de Lima Oliveira"]
|
|
||||||
maintainers = ["Mateus de Lima Oliveira <mateus@ativarsoft.com>"]
|
|
||||||
maintainers-logins = ["m4t3uz"]
|
|
||||||
licenses = "MIT"
|
|
||||||
website = "https://ativarsoft.com"
|
|
||||||
tags = ["chacha20", "security", "cryptography"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "bdbedfe4a7a49c74512919aed02a2dbecfa82c72"
|
|
||||||
url = "git+https://github.com/m4t3uz/chacha20.git"
|
|
||||||
|
|
||||||
@@ -1,28 +0,0 @@
|
|||||||
name = "clic"
|
|
||||||
description = "Command Line Interface Components"
|
|
||||||
version = "0.3.0"
|
|
||||||
|
|
||||||
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
|
|
||||||
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
|
|
||||||
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
|
|
||||||
licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
|
||||||
tags = ["cli", "command-line", "user-input", "tty"]
|
|
||||||
website = "https://github.com/alire-project/clic"
|
|
||||||
long-description = """
|
|
||||||
Command Line Interface Components:
|
|
||||||
- "git like" subcommand handling
|
|
||||||
- TTY color and formatting
|
|
||||||
- User input queries
|
|
||||||
- User configuration
|
|
||||||
"""
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
aaa = "~0.2.4"
|
|
||||||
simple_logging = "^1.2.0"
|
|
||||||
ansiada = "^1.0"
|
|
||||||
ada_toml = "~0.2|~0.3"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "56bbdc008e16996b6f76e443fd0165a240de1b13"
|
|
||||||
url = "git+https://github.com/alire-project/clic.git"
|
|
||||||
|
|
||||||
@@ -1,18 +0,0 @@
|
|||||||
name = "cobs"
|
|
||||||
description = "Consistent Overhead Byte Stuffing (COBS) encoder/decoder"
|
|
||||||
version = "1.1.0"
|
|
||||||
|
|
||||||
licenses = "MIT"
|
|
||||||
authors = ["Daniel King"]
|
|
||||||
maintainers = ["Daniel King <damaki.gh@gmail.com>"]
|
|
||||||
maintainers-logins = ["damaki"]
|
|
||||||
website = "https://github.com/damaki/cobs"
|
|
||||||
tags = ["cobs", "spark", "embedded", "nostd"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gnat = ">=11.0.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "8c35e29aee6387f158a086f6bbf4ca3612b2b2dd"
|
|
||||||
url = "git+https://github.com/damaki/cobs.git"
|
|
||||||
|
|
||||||
@@ -1,23 +0,0 @@
|
|||||||
name = "dashera"
|
|
||||||
description = "DASHER Terminal Emulator"
|
|
||||||
version = "0.12.1"
|
|
||||||
licenses = "MIT"
|
|
||||||
website = "https://github.com/SMerrony/dashera"
|
|
||||||
|
|
||||||
authors = ["Stephen Merrony"]
|
|
||||||
maintainers = ["Stephen Merrony <merrony@gmail.com>"]
|
|
||||||
maintainers-logins = ["SMerrony"]
|
|
||||||
|
|
||||||
tags = ["gtk", "terminal", "dasher", "emulator",]
|
|
||||||
|
|
||||||
executables = ["dashera"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gtkada = "^21.0.0"
|
|
||||||
[[depends-on]]
|
|
||||||
resources = "~0.1.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "d9438f540ae2599f8cd0ad681be19bdd7c1bffc0"
|
|
||||||
url = "git+https://github.com/SMerrony/dashera.git"
|
|
||||||
|
|
||||||
@@ -1,21 +0,0 @@
|
|||||||
name = "dashera"
|
|
||||||
description = "DASHER Terminal Emulator"
|
|
||||||
version = "0.13.0"
|
|
||||||
licenses = "MIT"
|
|
||||||
website = "https://github.com/SMerrony/dashera"
|
|
||||||
|
|
||||||
authors = ["Stephen Merrony"]
|
|
||||||
maintainers = ["Stephen Merrony <merrony@gmail.com>"]
|
|
||||||
maintainers-logins = ["SMerrony"]
|
|
||||||
|
|
||||||
tags = ["gtk", "terminal", "dasher", "emulator",]
|
|
||||||
|
|
||||||
executables = ["dashera"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gtkada = "^23.0.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "e45e6e7f1ed1b307965c7a2ae2a5aba67485cd2d"
|
|
||||||
url = "git+https://github.com/SMerrony/dashera.git"
|
|
||||||
|
|
||||||
@@ -1,21 +0,0 @@
|
|||||||
name = "dashera"
|
|
||||||
description = "DASHER Terminal Emulator"
|
|
||||||
version = "0.14.0"
|
|
||||||
licenses = "MIT"
|
|
||||||
website = "https://github.com/SMerrony/dashera"
|
|
||||||
|
|
||||||
authors = ["Stephen Merrony"]
|
|
||||||
maintainers = ["Stephen Merrony <merrony@gmail.com>"]
|
|
||||||
maintainers-logins = ["SMerrony"]
|
|
||||||
|
|
||||||
tags = ["gtk", "terminal", "dasher", "emulator",]
|
|
||||||
|
|
||||||
executables = ["dashera"]
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
gtkada = "^23.0.0"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "ee112420370b9be9dbae96736247a27e0d708733"
|
|
||||||
url = "git+https://github.com/SMerrony/dashera.git"
|
|
||||||
|
|
||||||
@@ -1,19 +0,0 @@
|
|||||||
name = "dcf"
|
|
||||||
description = "Ada 2012 library for document container files, Zip-based archive files"
|
|
||||||
version = "2.0.3"
|
|
||||||
website = "https://github.com/onox/dcf-ada"
|
|
||||||
licenses = "MIT"
|
|
||||||
tags = ["zip", "document", "container", "archive"]
|
|
||||||
|
|
||||||
authors = ["onox", "Gautier de Montmollin"]
|
|
||||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
|
||||||
maintainers-logins = ["onox"]
|
|
||||||
|
|
||||||
[build-switches]
|
|
||||||
validation.compile_checks = "warnings"
|
|
||||||
"*".style_checks = ["-gnatygAO-Is"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "e4bb4d971eaab4975010373c6908028ba9d6e5bf"
|
|
||||||
url = "git+https://github.com/onox/dcf-ada.git"
|
|
||||||
subdir = "dcf"
|
|
||||||
@@ -1,15 +0,0 @@
|
|||||||
name = "dirty_booleans"
|
|
||||||
description = "Comparisons with 0/1, T/F, Y/N, Yes/No, etc."
|
|
||||||
version = "0.1.0"
|
|
||||||
|
|
||||||
authors = ["Alejandro R. Mosteo"]
|
|
||||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
|
||||||
maintainers-logins = ["mosteo"]
|
|
||||||
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
|
|
||||||
website = ""
|
|
||||||
tags = ["boolean", "dirty", "comparison"]
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "d92d5dc578cb4a446f47984a2c81b008a6c4ead6"
|
|
||||||
url = "git+https://github.com/mosteo/dirty_booleans.git"
|
|
||||||
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
name = "dummyserver"
|
|
||||||
description = "DummyServer is a terminal program that serves dummy content"
|
|
||||||
long-description = "DummyServer is a terminal program that serves dummy content (resources). These resources are defined in a single JSON configuration and configuration is thus very simple and fast. The prime purpose of DummyServer is to serve content to test client applications."
|
|
||||||
licenses = "CC0-1.0"
|
|
||||||
website = "https://github.com/bracke/dummyserver"
|
|
||||||
tags = ["http","server", "test","terminal", "console"]
|
|
||||||
version = "1.0.0"
|
|
||||||
|
|
||||||
authors = ["Bent Bracke"]
|
|
||||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
|
||||||
maintainers-logins = ["bracke"]
|
|
||||||
|
|
||||||
executables = ["dummyserver"]
|
|
||||||
[[depends-on]]
|
|
||||||
json = "^5.0.3"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "9a6e8708b748fc1f16b8fdd69c3944ae4e7ebcb3"
|
|
||||||
url = "git+https://github.com/bracke/dummyserver.git"
|
|
||||||
|
|
||||||
@@ -1,82 +0,0 @@
|
|||||||
description = "Dynamo Ada Generator"
|
|
||||||
name = "dynamo"
|
|
||||||
version = "1.3.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["dynamo_tool.gpr"]
|
|
||||||
tags = ["uml", "generator", "database"]
|
|
||||||
website = "https://gitlab.com/stcarrez/dynamo"
|
|
||||||
executables = ["dynamo"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-Dynamo/)
|
|
||||||
[](https://jenkins.vacs.fr/job/Bionic-Dynamo/)
|
|
||||||
[](https://codecov.io/gh/stcarrez/dynamo)
|
|
||||||
[](https://download.vacs.fr/dynamo/dynamo-1.3.0.tar.gz)
|
|
||||||
[](LICENSE)
|
|
||||||

|
|
||||||
|
|
||||||
This Ada05 application is a code generator used to generate
|
|
||||||
an Ada Web Application or database mappings from hibernate-like
|
|
||||||
XML description, YAML doctrine model or UML models. It provides various commands for the
|
|
||||||
generation of a web application which uses the Ada Web Application framework
|
|
||||||
(https://github.com/stcarrez/ada-awa/).
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
windows = true
|
|
||||||
macos = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
security = "^1.4.1"
|
|
||||||
servletada = "^1.6.0"
|
|
||||||
serverfaces = "1.5.0"
|
|
||||||
utilada = "^2.5.0"
|
|
||||||
elada = "^1.8.5"
|
|
||||||
utilada_xml = "^2.5.0"
|
|
||||||
ado_mysql = "2.3.0"
|
|
||||||
ado_sqlite = "2.3.0"
|
|
||||||
ado_postgresql = "2.3.0"
|
|
||||||
ado_all = "2.3.0"
|
|
||||||
xmlada = "any"
|
|
||||||
libgpr = "any"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
DYNAMO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
|
||||||
|
|
||||||
[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
|
|
||||||
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["sh", "./alire-setup.sh"]
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "956f1e71c272651acff3d4457718f5a6db053f14"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/dynamo.git"
|
|
||||||
|
|
||||||
@@ -1,79 +0,0 @@
|
|||||||
description = "Dynamo Ada Generator"
|
|
||||||
name = "dynamo"
|
|
||||||
version = "1.4.0"
|
|
||||||
authors = ["Stephane.Carrez@gmail.com"]
|
|
||||||
licenses = "Apache-2.0"
|
|
||||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
|
||||||
maintainers-logins = ["stcarrez"]
|
|
||||||
project-files = ["dynamo_tool.gpr"]
|
|
||||||
tags = ["uml", "generator", "database"]
|
|
||||||
website = "https://gitlab.com/stcarrez/dynamo"
|
|
||||||
executables = ["dynamo"]
|
|
||||||
long-description = """
|
|
||||||
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/dynamo/summary)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/dynamo/xunits)
|
|
||||||
[](https://porion.vacs.fr/porion/projects/view/dynamo/summary)
|
|
||||||
|
|
||||||
This Ada05 application is a code generator used to generate
|
|
||||||
an Ada Web Application or database mappings from hibernate-like
|
|
||||||
XML description, YAML doctrine model or UML models. It provides various commands for the
|
|
||||||
generation of a web application which uses the Ada Web Application framework
|
|
||||||
(https://gitlab.com/stcarrez/ada-awa/).
|
|
||||||
|
|
||||||
"""
|
|
||||||
|
|
||||||
[available.'case(os)']
|
|
||||||
linux = true
|
|
||||||
windows = true
|
|
||||||
macos = true
|
|
||||||
'...' = false
|
|
||||||
|
|
||||||
[[depends-on]]
|
|
||||||
security = "^1.5.0"
|
|
||||||
servletada = "^1.7.0"
|
|
||||||
serverfaces = "1.6.0"
|
|
||||||
utilada = "^2.6.0"
|
|
||||||
elada = "^1.8.6"
|
|
||||||
utilada_xml = "^2.6.0"
|
|
||||||
ado_mysql = "2.4.0"
|
|
||||||
ado_sqlite = "2.4.0"
|
|
||||||
ado_postgresql = "2.4.0"
|
|
||||||
ado_all = "2.4.0"
|
|
||||||
xmlada = "any"
|
|
||||||
libgpr = "any"
|
|
||||||
|
|
||||||
[gpr-externals]
|
|
||||||
DYNAMO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
|
||||||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"]
|
|
||||||
|
|
||||||
[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
|
|
||||||
|
|
||||||
[[actions]]
|
|
||||||
type = "post-fetch"
|
|
||||||
command = ["sh", "./alire-setup.sh"]
|
|
||||||
|
|
||||||
[environment]
|
|
||||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
|
||||||
MANPATH.prepend = "${CRATE_ROOT}/man"
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "91a535d6a3737b55cc009ad66bb8a3ccd3832993"
|
|
||||||
url = "git+https://gitlab.com/stcarrez/dynamo.git"
|
|
||||||
|
|
||||||
@@ -1,18 +0,0 @@
|
|||||||
name = "edc_client"
|
|
||||||
description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
|
|
||||||
version = "1.5.0"
|
|
||||||
licenses = "BSD-3-Clause"
|
|
||||||
|
|
||||||
authors = ["Holger Rodriguez"]
|
|
||||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
|
||||||
maintainers-logins = ["hgrodriguez"]
|
|
||||||
tags = ["embedded", "rp2040"]
|
|
||||||
website = "https://github.com/hgrodriguez/edc_client"
|
|
||||||
|
|
||||||
[[depends-on]] # Added by alr
|
|
||||||
hal = "~0.3.0" # Added by alr
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "815a371022e2659f224cf6839bb53014bbdfd183"
|
|
||||||
url = "git+https://github.com/hgrodriguez/edc_client.git"
|
|
||||||
|
|
||||||
@@ -1,18 +0,0 @@
|
|||||||
name = "edc_client"
|
|
||||||
description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
|
|
||||||
version = "1.5.1"
|
|
||||||
licenses = "BSD-3-Clause"
|
|
||||||
|
|
||||||
authors = ["Holger Rodriguez"]
|
|
||||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
|
||||||
maintainers-logins = ["hgrodriguez"]
|
|
||||||
tags = ["embedded", "rp2040"]
|
|
||||||
website = "https://github.com/hgrodriguez/edc_client"
|
|
||||||
|
|
||||||
[[depends-on]] # Added by alr
|
|
||||||
hal = "~0.3.0" # Added by alr
|
|
||||||
|
|
||||||
[origin]
|
|
||||||
commit = "5442cb57cf35b8926973bcb972b400a90acf1edb"
|
|
||||||
url = "git+https://github.com/hgrodriguez/edc_client.git"
|
|
||||||
|
|
||||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user