Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
 Alejandro R. Mosteo
|
440b95005c | ||
|
Alejandro R. Mosteo
|
64013fc279 |
@@ -1,10 +0,0 @@
|
||||
The name of the branch plays a role in the tests run when changes are
|
||||
submitted. For this reason, when modifying the workflows in ./.github, if you
|
||||
want to test them prior to submission, the PR must be tested against a branch that
|
||||
exists also in the `alire-index-checks` repo, e.g., 'stable-1.2' or 'devel-1.2'
|
||||
|
||||
Normally you'll want to use the latest stable or devel branch.
|
||||
|
||||
E.g., if you modify a workflow in the `alire-index` repo and want to test it
|
||||
privately, you can do so in your own account, but using the same `stable-x.x`
|
||||
base branch for your private PR.
|
||||
@@ -1,11 +1,5 @@
|
||||
# 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:
|
||||
@@ -20,16 +14,16 @@ jobs:
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
os:
|
||||
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
|
||||
- arch-rolling
|
||||
- centos-latest-community-latest
|
||||
- community-current
|
||||
- debian-stable
|
||||
- ubuntu-lts
|
||||
- ""
|
||||
exclude: # inclusions don't allow to add arrays of values to a scenario
|
||||
- os: ubuntu-latest
|
||||
@@ -37,21 +31,21 @@ jobs:
|
||||
- os: macos-latest
|
||||
tag: arch-rolling
|
||||
- os: macos-latest
|
||||
tag: centos-stream-fsf-latest
|
||||
tag: centos-latest-community-latest
|
||||
- os: macos-latest
|
||||
tag: community-current
|
||||
- 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
|
||||
tag: centos-latest-community-latest
|
||||
- os: windows-latest
|
||||
tag: community-current
|
||||
- os: windows-latest
|
||||
tag: debian-stable
|
||||
- os: windows-latest
|
||||
tag: fedora-latest
|
||||
- os: windows-latest
|
||||
tag: ubuntu-lts
|
||||
|
||||
@@ -65,20 +59,9 @@ jobs:
|
||||
# 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
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: fsf # faster install?
|
||||
|
||||
@@ -90,30 +73,31 @@ jobs:
|
||||
|
||||
- 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
|
||||
uses: alire-project/setup-alire@latest-stable
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones in this workflow
|
||||
branch: master
|
||||
toolchain: --disable-assistant # We want to use the external ones
|
||||
|
||||
- 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
|
||||
command: scripts/gh-build-crate.sh
|
||||
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
|
||||
|
||||
- name: Set up msys2 (Windows)
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: ./alire_install/bin/alr --non-interactive version
|
||||
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
|
||||
|
||||
- name: Test crate (Windows/MacOS)
|
||||
if: matrix.os != 'ubuntu-latest' # native testing in Windows/MacOS
|
||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
run: scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
|
||||
@@ -1,12 +1,6 @@
|
||||
# Please read the TESTING file before modifying this file
|
||||
|
||||
name: Toolchain
|
||||
# Build the submitted crate with a native toolchain from Alire
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
@@ -21,7 +15,7 @@ jobs:
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
os:
|
||||
os:
|
||||
- macos-latest
|
||||
- ubuntu-latest
|
||||
- windows-latest
|
||||
@@ -36,16 +30,9 @@ jobs:
|
||||
# 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}}
|
||||
|
||||
# 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.
|
||||
# setup-alire. At some point we should integrate this in the
|
||||
# setup-alire@latest-devel action.
|
||||
|
||||
- name: Set up GNAT toolchain (FSF)
|
||||
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
@@ -62,19 +49,21 @@ jobs:
|
||||
# By default, this sets up the newest indexed native toolchain
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
uses: alire-project/setup-alire@latest-stable
|
||||
|
||||
# By default, this sets up the newest indexed native toolchain
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
with:
|
||||
branch: 'master'
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
|
||||
- name: Set up msys2 (Windows)
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: ./alire_install/bin/alr --non-interactive version
|
||||
|
||||
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
|
||||
|
||||
- name: Test crate
|
||||
run: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
|
||||
run: scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
|
||||
@@ -1,66 +0,0 @@
|
||||
# Please read the TESTING file before modifying this file
|
||||
|
||||
# Show differences between the submitted manifest and the previous
|
||||
# release of the same crate, to enable easier catching of problems
|
||||
|
||||
name: Diff release
|
||||
|
||||
env:
|
||||
CHECKS_ORG: alire-project
|
||||
CHECKS_REPO: alire-index-checks
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
|
||||
diff:
|
||||
|
||||
runs-on: ubuntu-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 detector
|
||||
|
||||
- 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@v1
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
|
||||
- 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`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
with:
|
||||
toolchain: --disable-assistant # We don't need the compiler
|
||||
branch: master
|
||||
|
||||
- name: Diff releases
|
||||
run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
|
||||
shell: bash
|
||||
@@ -12,7 +12,7 @@ jobs:
|
||||
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
uses: alire-project/setup-alire@latest-stable
|
||||
|
||||
- name: Set up GNAT for devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
@@ -22,9 +22,7 @@ jobs:
|
||||
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@v1
|
||||
with:
|
||||
branch: master
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
|
||||
- run: alr index --list
|
||||
|
||||
|
||||
@@ -1,7 +0,0 @@
|
||||
# Changes to the index format that require versioning
|
||||
|
||||
## 1.2
|
||||
|
||||
- Build profiles and switches.
|
||||
- New `subdir` property in git remotes.
|
||||
- New `host-arch` key for case expressions.
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "aaa"
|
||||
version = "0.2.4"
|
||||
description = "Alex's Ada Assortment (of miscellaneous utilities)"
|
||||
|
||||
long-description = """
|
||||
Alex's Ada Assortment of Utilities
|
||||
|
||||
- Text formatting (paragraphs, tables).
|
||||
- Indefinite containers.
|
||||
- Enumeration validity/conversions of string images.
|
||||
- On-demand stack backtraces.
|
||||
- String containers and utilities.
|
||||
- Simple subprocess spawning.
|
||||
- Write-through minimal cache for objects stored in files
|
||||
"""
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
tags = ["miscellanea", "utility"]
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
|
||||
[origin]
|
||||
commit = "19e75e3e16c493df35913b8acc486b5d047875bf"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "aaa"
|
||||
version = "0.2.5"
|
||||
description = "Alex's Ada Assortment (of miscellaneous utilities)"
|
||||
|
||||
long-description = """
|
||||
Alex's Ada Assortment of Utilities
|
||||
|
||||
- Text formatting (paragraphs, tables).
|
||||
- Indefinite containers.
|
||||
- Enumeration validity/conversions of string images.
|
||||
- On-demand stack backtraces.
|
||||
- String containers and utilities.
|
||||
- Simple subprocess spawning.
|
||||
- Write-through minimal cache for objects stored in files
|
||||
"""
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
tags = ["miscellanea", "utility"]
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
|
||||
[origin]
|
||||
commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "aaa"
|
||||
version = "0.2.6"
|
||||
description = "Alex's Ada Assortment (of miscellaneous utilities)"
|
||||
|
||||
long-description = """
|
||||
Alex's Ada Assortment of Utilities
|
||||
|
||||
- Text formatting (paragraphs, tables).
|
||||
- Indefinite containers.
|
||||
- Enumeration validity/conversions of string images.
|
||||
- On-demand stack backtraces.
|
||||
- String containers and utilities.
|
||||
- Simple subprocess spawning.
|
||||
- Write-through minimal cache for objects stored in files
|
||||
"""
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
tags = ["miscellanea", "utility"]
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
|
||||
[origin]
|
||||
commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
|
||||
name = "ada_language_server"
|
||||
version = "22.0.0"
|
||||
website = "https://github.com/AdaCore/ada_language_server"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-only"
|
||||
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["reznikmm"]
|
||||
project-files = ["gnat/lsp_server.gpr"]
|
||||
tags = ["lsp", "vscode"]
|
||||
|
||||
[gpr-set-externals]
|
||||
LIBRARY_TYPE = "static"
|
||||
|
||||
[environment]
|
||||
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "22.0.0"
|
||||
vss = "22.0.0"
|
||||
libadalang_tools = "22.0.0"
|
||||
spawn = "22.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/ada_language_server/archive/refs/tags/v22.0.0.tar.gz"
|
||||
archive-name = "als-22.0.0.tar.gz"
|
||||
hashes = ["sha512:ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c"]
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "1.1.0"
|
||||
|
||||
authors = ["Tama McGlinn"]
|
||||
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
|
||||
maintainers-logins = ["TamaMcGlinn"]
|
||||
|
||||
licenses = "MIT"
|
||||
project-files = ["adabots.gpr"]
|
||||
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aws = "^21.0.0" # This line was added by `alr with`
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aaa = "~0.2.3" # This line was added by `alr with`
|
||||
|
||||
[origin]
|
||||
commit = "974b587bf8ec5c41eaaeedf9d4d7837685e05910"
|
||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "1.2.0"
|
||||
|
||||
authors = ["Tama McGlinn"]
|
||||
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
|
||||
maintainers-logins = ["TamaMcGlinn"]
|
||||
|
||||
licenses = "MIT"
|
||||
project-files = ["adabots.gpr"]
|
||||
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aws = "^21.0.0" # This line was added by `alr with`
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aaa = "~0.2.3" # This line was added by `alr with`
|
||||
|
||||
[origin]
|
||||
commit = "f8238a936790440248d7ef34914851fdde3ae5a5"
|
||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
||||
|
||||
@@ -1,30 +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.1.1"
|
||||
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.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "67cf6a092008a918709d7855ab69e32fe2b6065b"
|
||||
url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
|
||||
|
||||
@@ -1,42 +0,0 @@
|
||||
description = "An Ada Lexical Analyzer Generator"
|
||||
name = "aflex"
|
||||
version = "1.5.2021"
|
||||
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.
|
||||
|
||||
"""
|
||||
|
||||
[gpr-externals]
|
||||
AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
|
||||
[origin]
|
||||
commit = "33198b8fef131732d44279e7dd7fb24535cdb18f"
|
||||
url = "git+https://github.com/Ada-France/aflex.git"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "ansiada"
|
||||
description = "ANSI escape sequences"
|
||||
version = "1.0.0"
|
||||
|
||||
licenses = "MIT"
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
tags = ["ansi", "terminal"]
|
||||
|
||||
[origin]
|
||||
commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
|
||||
url = "git+https://github.com/mosteo/ansi-ada.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
description = "Portable package for producing dynamically PDF documents"
|
||||
name = "apdf"
|
||||
version = "5.0.3"
|
||||
authors = ["Gautier de Montmollin"]
|
||||
licenses = "MIT"
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
||||
project-files = ["pdf_out_gnat_w_gid.gpr"]
|
||||
|
||||
[gpr-externals]
|
||||
PDF_Build_Mode = ["Debug", "Fast"]
|
||||
|
||||
[[depends-on]]
|
||||
gid = ">=9.0.0"
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/apdf/files/apdf_005_r3.zip"
|
||||
hashes = ["sha512:dbe27598986b1744b024803348350e48b9fe14a14b4137796b3bf12fc98e400b45fd16dc3902a5ffbfa407552131bec072c287444889d5984ade6ba6d2d981cf"]
|
||||
@@ -1,85 +0,0 @@
|
||||
description = "Advanced Resource Embedder"
|
||||
name = "are"
|
||||
version = "1.2.0"
|
||||
authors = ["Stephane.Carrez@gmail.com"]
|
||||
licenses = "Apache-2.0"
|
||||
maintainers = ["Stephane.Carrez@gmail.com"]
|
||||
maintainers-logins = ["stcarrez"]
|
||||
project-files = ["are.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 = "~21.0.0"
|
||||
|
||||
[gpr-externals]
|
||||
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]
|
||||
BUILD = "distrib"
|
||||
ARE_SWITCH = "NO_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
|
||||
|
||||
[origin]
|
||||
commit = "16239a8b9653f085a542d7b4838110675d80dc73"
|
||||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git"
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "asfml"
|
||||
description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
|
||||
version = "2.5.2"
|
||||
|
||||
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 = "b775db19d2c33e6172da96267cafc1a1e7567bb3"
|
||||
url = "git+https://github.com/mgrojo/ASFML.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "atomic"
|
||||
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
|
||||
version = "0.4.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"], default = "Intrinsic"}
|
||||
|
||||
[origin]
|
||||
commit = "df6d4993568ed5e2fed3d8ed09c0bc69ac295e40"
|
||||
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "atomic"
|
||||
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
|
||||
version = "0.4.1"
|
||||
|
||||
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"], default = "Intrinsic"}
|
||||
|
||||
[origin]
|
||||
commit = "14bb7db33dff4b6f1219967a809d0f787cae33cb"
|
||||
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
|
||||
|
||||
@@ -1,21 +0,0 @@
|
||||
description = "Ada Wavefile Library"
|
||||
long-description = """
|
||||
# Ada Wavefile Library
|
||||
This crate contains Ada packages for wavefile I/O.
|
||||
"""
|
||||
name = "audio_wavefiles"
|
||||
version = "2.0.0"
|
||||
website="https://github.com/Ada-Audio/audio_wavefiles"
|
||||
licenses = "MIT"
|
||||
authors=["Gustavo A. Hoffmann"]
|
||||
maintainers = ["gusthoff@gusthoff.com"]
|
||||
maintainers-logins = ["gusthoff"]
|
||||
project-files = ["audio_wavefiles.gpr"]
|
||||
tags = ["audio", "riff", "wavefiles"]
|
||||
|
||||
[[depends-on]]
|
||||
audio_base = "^1.0"
|
||||
|
||||
[origin]
|
||||
commit = "8e1162c5b9dc604a835f60be6a78e8f9d3c85052"
|
||||
url = "git+https://github.com/Ada-Audio/audio_wavefiles.git"
|
||||
@@ -1,20 +0,0 @@
|
||||
description = "Ada unit test framework"
|
||||
name = "aunit"
|
||||
version = "22.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/v22.0.0/aunit-22.0.0.zip"
|
||||
hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
|
||||
@@ -1,21 +0,0 @@
|
||||
name = "automate"
|
||||
description = "Ada finite-state machine generator"
|
||||
version = "2.2.2"
|
||||
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
|
||||
|
||||
[origin]
|
||||
commit = "5ce97f6cc06d5a370b9aaf40c996f868f7d73e61"
|
||||
url = "git+https://github.com/Blady-Com/Automate.git"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "avltrees"
|
||||
description = "Threaded AVL trees library for Ada"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Lev Kujawski"]
|
||||
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
|
||||
maintainers-logins = ["lkujaw"]
|
||||
licenses = "LGPL-3.0-or-later"
|
||||
website = "https://github.com/lkujaw/avltrees"
|
||||
tags = ["ada1987", "data-structures"]
|
||||
|
||||
[origin]
|
||||
commit = "81b318c6c9ba2ee500d0acc92a122bb8fe58f5ff"
|
||||
url = "git+https://github.com/lkujaw/avltrees.git"
|
||||
|
||||
@@ -1,53 +0,0 @@
|
||||
description = "Ada Web Server"
|
||||
website = "https://github.com/adacore/aws"
|
||||
name = "aws"
|
||||
version = "22.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 = ["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 action.
|
||||
[[actions]]
|
||||
type = "post-fetch"
|
||||
command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false",
|
||||
"LAL=false", "XMLADA=false", "prefix=install_dir",
|
||||
"PRJ_BUILD=Release"]
|
||||
|
||||
[[depends-on]]
|
||||
make = "*"
|
||||
xmlada = "~22.0.0"
|
||||
gnat = ">=9"
|
||||
openssl = "*"
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[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_LAL="Disabled"
|
||||
|
||||
[gpr-set-externals."case(os)".linux]
|
||||
PRJ_TARGET = "UNIX"
|
||||
TARGET = "x86_64-linux-gnu"
|
||||
SOCKET = "openssl"
|
||||
|
||||
[gpr-set-externals."case(os)".macos]
|
||||
PRJ_TARGET = "Darwin"
|
||||
SOCKET = "openssl"
|
||||
|
||||
[gpr-set-externals."case(os)".windows]
|
||||
PRJ_TARGET = "Windows_NT"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/aws/archive/v22.0.0/aws-22.0.0.zip"
|
||||
hashes=["sha512:0fa3695d3d45ae05f03312cc71390547cfffd1cc966fd147037dd2d927e5709fbc193ec9dbbe4a0b2130779521a0baee4a3736f4f8b7f93a15448a0c96401c3d"]
|
||||
|
||||
@@ -1,42 +0,0 @@
|
||||
description = "An Ada LARL(1) parser generator"
|
||||
name = "ayacc"
|
||||
version = "1.3.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.
|
||||
|
||||
"""
|
||||
|
||||
[gpr-externals]
|
||||
AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "9b8bf854e79f5e769a82f98f54ad638a14eb6dc7"
|
||||
url = "git+https://github.com/Ada-France/ayacc.git"
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "b2ssum"
|
||||
description = "BLAKE2s file hash utility"
|
||||
version = "0.1.3"
|
||||
|
||||
authors = ["Lev Kujawski"]
|
||||
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
|
||||
maintainers-logins = ["lkujaw"]
|
||||
licenses = "MIT-0"
|
||||
website = "https://github.com/lkujaw/blake2s"
|
||||
tags = ["ada1995", "hash", "blake2", "blake2s"]
|
||||
project-files = ["b2ssum.gpr"]
|
||||
executables = ["b2ssum"]
|
||||
|
||||
[[depends-on]]
|
||||
blake2s = "~0.1.3"
|
||||
|
||||
[origin]
|
||||
commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
|
||||
url = "git+https://github.com/lkujaw/blake2s.git"
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "base64"
|
||||
description = "Base64 encoding/decoding routines"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/AntonMeep/base64"
|
||||
licenses = "ISC"
|
||||
tags = ["base64"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[origin]
|
||||
commit = "d91cd4d298152dc64752e3f14f6ef9baf2e11664"
|
||||
url = "git+https://github.com/AntonMeep/base64.git"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "base64"
|
||||
description = "Base64 encoding/decoding routines"
|
||||
version = "1.0.1"
|
||||
website = "https://github.com/AntonMeep/base64"
|
||||
licenses = "ISC"
|
||||
tags = ["base64"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[origin]
|
||||
commit = "41f0c5dfb95d999e0140b9a575ca3c2ae8c26fe1"
|
||||
url = "git+https://github.com/AntonMeep/base64.git"
|
||||
|
||||
@@ -1,33 +0,0 @@
|
||||
name = "bb_pico_bsp"
|
||||
description = "Ada BSP for the Keyboard Featherwing + RPI PICO"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Fabien Chouteau"]
|
||||
maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["embedded", "pico", "handheld", "featherwing"]
|
||||
website = "https://github.com/Fabien-Chouteau/bb_pico_bsp"
|
||||
licenses = "MIT"
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "^1.0.0"
|
||||
embedded_components = "~0.1.0"
|
||||
lvgl_ada = "~0.2.0"
|
||||
|
||||
[configuration.values]
|
||||
lvgl_ada.Pixel_Bit_Depth = "Pix_16bit"
|
||||
lvgl_ada.Color_16_SWAP = true
|
||||
lvgl_ada.Horizontal_Resolution = 320
|
||||
lvgl_ada.Vertical_Resolution = 240
|
||||
lvgl_ada.Theme_Live_Update = true
|
||||
lvgl_ada.Double_Buffering = true
|
||||
lvgl_ada.Density_Per_Inch = 50
|
||||
lvgl_ada.Virtual_Display_Buffer_Size = 30720
|
||||
|
||||
[gpr-set-externals]
|
||||
EMBEDDED_COMPONENTS_COMPILE_CHECKS="disabled"
|
||||
|
||||
[origin]
|
||||
commit = "76f9999eba98bf8b1088fc18b6e23325fd8adc75"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bb_pico_bsp.git"
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "bbqueue"
|
||||
description = "DMA friendly lock-free BipBuffer"
|
||||
version = "0.3.0"
|
||||
|
||||
licenses = "MIT"
|
||||
authors = ["Fabien Chouteau"]
|
||||
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
|
||||
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
|
||||
|
||||
long-description = """An Ada/SPARK proved implementation of James Munns'
|
||||
BBQueue (https://github.com/jamesmunns/bbqueue)"""
|
||||
|
||||
[[depends-on]]
|
||||
atomic = "~0.4"
|
||||
gnat = ">=10"
|
||||
|
||||
[origin]
|
||||
commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
||||
|
||||
@@ -1,14 +0,0 @@
|
||||
name = "blake2s"
|
||||
description = "SPARK83 implementation of the BLAKE2s hash function"
|
||||
version = "0.1.3"
|
||||
|
||||
authors = ["Lev Kujawski"]
|
||||
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
|
||||
maintainers-logins = ["lkujaw"]
|
||||
licenses = "MIT-0"
|
||||
website = "https://github.com/lkujaw/blake2s"
|
||||
tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
|
||||
|
||||
[origin]
|
||||
commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
|
||||
url = "git+https://github.com/lkujaw/blake2s.git"
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "brackelib"
|
||||
description = "Library which contains various utility packages."
|
||||
long-description = "Ada library which contains various utility packages. Currently only a few implementations of abstract data types."
|
||||
version = "0.0.2"
|
||||
licenses = "CC0-1.0"
|
||||
website = "https://github.com/bracke/brackelib"
|
||||
tags = ["utility", "adt","stack", "queue"]
|
||||
authors = ["Bent Bracke"]
|
||||
maintainers = ["Bent Bracke <bent@bracke.dk>"]
|
||||
maintainers-logins = ["bracke"]
|
||||
|
||||
[origin]
|
||||
commit = "e08b60411a7469999cf69419780c76237aaa4d35"
|
||||
url = "git+https://github.com/bracke/brackelib.git"
|
||||
|
||||
@@ -1,16 +0,0 @@
|
||||
name = "chests"
|
||||
description = "Chests are bounded containers"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/JeremyGrosser/chests"
|
||||
tags = ["containers", "bounded", "nostd", "embedded"]
|
||||
|
||||
[origin]
|
||||
commit = "45e5b47db75e6f01ca0fab31af7d7c82a7c15e6e"
|
||||
url = "git+https://github.com/JeremyGrosser/chests.git"
|
||||
|
||||
@@ -1,16 +0,0 @@
|
||||
name = "chests"
|
||||
description = "Chests are bounded containers"
|
||||
version = "0.1.1"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/JeremyGrosser/chests"
|
||||
tags = ["containers", "bounded", "nostd", "embedded"]
|
||||
|
||||
[origin]
|
||||
commit = "9f7aa6f0a7abe88fb7fc2c91a44a42d29effd62c"
|
||||
url = "git+https://github.com/JeremyGrosser/chests.git"
|
||||
|
||||
@@ -1,31 +0,0 @@
|
||||
name = "clic"
|
||||
description = "Command Line Interface Components"
|
||||
version = "0.2.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
|
||||
"""
|
||||
|
||||
[configuration]
|
||||
disabled = true # CLIC is an Alire dependency using git submodule, so we can't
|
||||
# use the crate configuration here.
|
||||
|
||||
[[depends-on]]
|
||||
aaa = "~0.2.4"
|
||||
simple_logging = "^1.2.0"
|
||||
ansiada = "~0.1.0"
|
||||
ada_toml = "~0.2.0"
|
||||
|
||||
[origin]
|
||||
commit = "5a1f32326013784113a336a1aded509270dacc76"
|
||||
url = "git+https://github.com/alire-project/clic.git"
|
||||
@@ -1,28 +0,0 @@
|
||||
name = "clic"
|
||||
description = "Command Line Interface Components"
|
||||
version = "0.2.1"
|
||||
|
||||
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 = "c7aabf94e0946ae3a5b77c29cc45fd28f70e17f6"
|
||||
url = "git+https://github.com/alire-project/clic.git"
|
||||
|
||||
@@ -1,34 +0,0 @@
|
||||
description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
|
||||
long-description = '''# cortex-m
|
||||
|
||||
Ada drivers for the peripherals of ARM Cortex-M micro-controllers
|
||||
(NVIC,\nSysTick, etc.)
|
||||
|
||||
This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
|
||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
|
||||
|
||||
Any bug report, issue, contribution must be adressed to the [Ada Drivers
|
||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
|
||||
|
||||
'''
|
||||
|
||||
name = "cortex_m"
|
||||
version = "0.4.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
authors=["AdaCore"]
|
||||
website="https://github.com/AdaCore/Ada_Drivers_Library/"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["embedded", "arm", "nostd"]
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.3"
|
||||
gnat_arm_elf = ">=11"
|
||||
|
||||
[configuration.variables]
|
||||
core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
|
||||
|
||||
[origin]
|
||||
commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
|
||||
url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "dependency_graph_extractor"
|
||||
description = "Extract dependency information from Ada projects"
|
||||
version = "0.1.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
|
||||
tags = ["extract", "dependency", "analysis", "graph", "graphml"]
|
||||
|
||||
authors = ["Pierre van de Laar"]
|
||||
maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
|
||||
maintainers-logins = ["pjljvandelaar"]
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "^22.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "71bc61cd13d542edf4732643f208273d435c33a9"
|
||||
url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "dependency_graph_extractor"
|
||||
description = "Extract dependency information from Ada projects"
|
||||
version = "22.0.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
website = "https://github.com/TNO/Dependency_Graph_Extractor-Ada"
|
||||
tags = ["extract", "dependency", "analysis", "graph", "graphml"]
|
||||
|
||||
authors = ["Jeroen Ketema", "Pierre van de Laar"]
|
||||
maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
|
||||
maintainers-logins = ["pjljvandelaar"]
|
||||
|
||||
executables = ["dependency_graph_extractor"]
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "^22.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "992fc1c438fff2917f5cbdbfe6ca449933ee6fd5"
|
||||
url = "git+https://github.com/TNO/Dependency_Graph_Extractor-Ada.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "edc_client"
|
||||
description = "Client library for: github.com/hgrodriguez/embedded-dashboard-console"
|
||||
version = "1.3.3"
|
||||
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.1.0" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "cb659e252a0ea7a23f7c6789113d4bfefff295f0"
|
||||
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.4.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.1.0" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "604711851d356014b653e2f50218ebcfe50f05a0"
|
||||
url = "git+https://github.com/hgrodriguez/edc_client.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "eeprom_i2c"
|
||||
description = "EEPROM I2C drivers library for embedded platforms"
|
||||
version = "2.0.1"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Holger Rodriguez"]
|
||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
||||
maintainers-logins = ["hgrodriguez"]
|
||||
tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
|
||||
website = "https://github.com/hgrodriguez/eeprom_i2c"
|
||||
|
||||
[[depends-on]] # Added by alr
|
||||
hal = "~0.1.0" # Added by alr
|
||||
[[depends-on]] # Added by alr
|
||||
gnat_arm_elf = "^11.2.3" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "c01692bc92bc536cf35918e4aa2ed8ba7cec7ab3"
|
||||
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "eeprom_i2c"
|
||||
description = "EEPROM I2C drivers library for embedded platforms"
|
||||
version = "3.0.1"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Holger Rodriguez"]
|
||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
||||
maintainers-logins = ["hgrodriguez"]
|
||||
tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
|
||||
website = "https://github.com/hgrodriguez/eeprom_i2c"
|
||||
|
||||
[[depends-on]] # Added by alr
|
||||
hal = "~0.1.0" # Added by alr
|
||||
[[depends-on]] # Added by alr
|
||||
gnat_arm_elf = "^11.2.3" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
|
||||
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "eeprom_i2c"
|
||||
description = "EEPROM I2C drivers library for embedded platforms"
|
||||
version = "3.2.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Holger Rodriguez"]
|
||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
||||
maintainers-logins = ["hgrodriguez"]
|
||||
tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
|
||||
website = "https://github.com/hgrodriguez/eeprom_i2c"
|
||||
|
||||
[[depends-on]] # Added by alr
|
||||
hal = "~0.1.0" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
|
||||
url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
name = "endianness"
|
||||
description = "Convenience subprograms to convert between Big- and Little-endianness"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/AntonMeep/endianness"
|
||||
licenses = "ISC"
|
||||
tags = ["spark", "endianness", "system"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[origin]
|
||||
commit = "0fdb81cde626f68c726eaac5c1211a65e6a06a33"
|
||||
url = "git+https://github.com/AntonMeep/endianness.git"
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "epoll"
|
||||
description = "Linux epoll binding"
|
||||
version = "0.1.1"
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["linux", "epoll", "net"]
|
||||
website = "https://github.com/JeremyGrosser/epoll-ada"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
'...' = false
|
||||
|
||||
[origin]
|
||||
commit = "5475faed094db88b70de29afe74e204dff87447c"
|
||||
url = "git+https://github.com/JeremyGrosser/epoll-ada.git"
|
||||
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "evdev"
|
||||
description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
|
||||
version = "2.0.0"
|
||||
website = "https://github.com/onox/evdev-ada"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["evdev", "force-feedback"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
project-files = ["evdev.gpr", "evdev_info.gpr"]
|
||||
executables = ["evdev-ada"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
'...' = false
|
||||
|
||||
[origin]
|
||||
commit = "78c027582c31314663a4b1ddac9d3e12a3639404"
|
||||
url = "git+https://github.com/onox/evdev-ada.git"
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "evdev"
|
||||
description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
|
||||
version = "2.0.1"
|
||||
website = "https://github.com/onox/evdev-ada"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["evdev", "force-feedback"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
project-files = ["evdev.gpr", "evdev_info.gpr"]
|
||||
executables = ["evdev-ada"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
'...' = false
|
||||
|
||||
[origin]
|
||||
commit = "571a6bc0f0d3c112753ddfb90f572833c575070c"
|
||||
url = "git+https://github.com/onox/evdev-ada.git"
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "fastpbkdf2_ada"
|
||||
description = "Binding and an Ada wrapper to fastpbkdf2"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/AntonMeep/fastpbkdf2_ada"
|
||||
licenses = "ISC"
|
||||
tags = ["pbkdf2", "cryptography"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
openssl = "~1.1.1"
|
||||
|
||||
[origin]
|
||||
commit = "c46be9fde5330e96e4ae7e52a77ada60b7f89fe6"
|
||||
url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
name = "fastpbkdf2_ada"
|
||||
description = "Binding and an Ada wrapper to fastpbkdf2"
|
||||
version = "2.0.0"
|
||||
website = "https://github.com/AntonMeep/fastpbkdf2_ada"
|
||||
licenses = "ISC"
|
||||
tags = ["pbkdf2", "cryptography"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
openssl = "~1.1.1"
|
||||
|
||||
[origin]
|
||||
commit = "ef1c2f3ad47ef550709434f65ff49395f486fd19"
|
||||
url = "git+https://github.com/AntonMeep/fastpbkdf2_ada.git"
|
||||
|
||||
@@ -1,32 +0,0 @@
|
||||
name = "garlic"
|
||||
description = "GNAT Library for Ada Distributed Environment (garlic)"
|
||||
website = "https://github.com/reznikmm/garlic/wiki"
|
||||
version = "6.0.1"
|
||||
tags = ["dsa", "distributed", "annex", "network", "glade"]
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["reznikmm"]
|
||||
licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
|
||||
|
||||
project-files = ["gnat/garlic.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GARLIC_BUILD_MODE = ["dev", "prod"]
|
||||
|
||||
[environment.'case(os)'.windows.PATH]
|
||||
append = "${CRATE_ROOT}/.libs/relocatable"
|
||||
|
||||
[environment.'case(os)'.linux.LD_LIBRARY_PATH]
|
||||
append = "${CRATE_ROOT}/.libs/relocatable"
|
||||
|
||||
[environment.'case(os)'.macos.DYLD_LIBRARY_PATH]
|
||||
append = "${CRATE_ROOT}/.libs/relocatable"
|
||||
|
||||
[origin]
|
||||
commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
|
||||
url = "git+https://github.com/reznikmm/garlic.git"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "getopt"
|
||||
description = "POSIX getopt(3) for Ada"
|
||||
version = "1.2.2"
|
||||
licenses = "MPL-2.0"
|
||||
|
||||
website = "https://git.sr.ht/~nytpu/getopt-ada"
|
||||
tags = ["arguments", "options", "flags", "getopt"]
|
||||
|
||||
authors = ["nytpu"]
|
||||
maintainers = ["nytpu <alex@nytpu.com>"]
|
||||
maintainers-logins = ["nytpu"]
|
||||
|
||||
[gpr-externals]
|
||||
LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
|
||||
COMPILE_CHECKS = ["enabled", "disabled"]
|
||||
RUNTIME_CHECKS = ["enabled", "disabled"]
|
||||
STYLE_CHECKS = ["enabled", "disabled"]
|
||||
CONTRACTS = ["enabled", "disabled"]
|
||||
BUILD_MODE = ["debug", "optimize"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
|
||||
"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
|
||||
]
|
||||
url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "getopt"
|
||||
description = "POSIX getopt(3) for Ada"
|
||||
version = "2.0.0"
|
||||
licenses = "MPL-2.0"
|
||||
|
||||
website = "https://git.sr.ht/~nytpu/getopt-ada"
|
||||
tags = ["arguments", "options", "flags", "getopt"]
|
||||
|
||||
authors = ["nytpu"]
|
||||
maintainers = ["nytpu <alex@nytpu.com>"]
|
||||
maintainers-logins = ["nytpu"]
|
||||
|
||||
[gpr-externals]
|
||||
GETOPT_LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
|
||||
GETOPT_COMPILE_CHECKS = ["enabled", "disabled"]
|
||||
GETOPT_RUNTIME_CHECKS = ["enabled", "disabled"]
|
||||
GETOPT_STYLE_CHECKS = ["enabled", "disabled"]
|
||||
GETOPT_CONTRACTS = ["enabled", "disabled"]
|
||||
GETOPT_BUILD_MODE = ["debug", "optimize"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha256:2c0816539b61aa27c3accac795ab9278102857c836f27c498bf09387ae2c92d9",
|
||||
"sha512:84570b13d0dc49c9a7e548780607e50b01b12de8f147ac484efcc35e8f69e4be773665aecbaa4c6bf875101a70d4a9e72c0d616fda04f097dd6f45d5a896019c",
|
||||
]
|
||||
url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v2.0.0.tar.gz"
|
||||
|
||||
@@ -1,15 +0,0 @@
|
||||
description = "Decoding a broad variety of image formats"
|
||||
name = "gid"
|
||||
version = "10.0.0"
|
||||
authors = ["Gautier de Montmollin"]
|
||||
licenses = "MIT"
|
||||
maintainers = ["fabien.chouteau@gmail.com"]
|
||||
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
|
||||
project-files = ["gid.gpr"]
|
||||
|
||||
[gpr-externals]
|
||||
GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/gen-img-dec/files/gid_010.zip"
|
||||
hashes = ["sha512:ea4b473fc5020e8cd2248aa02e65a5d9d606994392130d5bd024e93e6c1de402e9a54f59adf0dbfa9c80163f1b61f300e3dce7d7e5544006073646e3c5dc00c3"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "10.3.2"
|
||||
provides = ["gnat=10.3.2"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-linux64-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:ff53fd8aa25f5f7bfbc139ea25244f2d04a9d3513b3de499f06c2d9e0a26ebf0"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-darwin-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:f3daf3dcbef8416a45c2910597608214b44b45a9f75e8f8059f409839eff0e1f"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-windows64-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:add183ea21cae95b3ca12de442d69c418d3f007d972238621f13103f12233967"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "11.2.2"
|
||||
provides = ["gnat=11.2.2"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-linux64-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:c3c48e322cf14ff1d145392dc4722d9471dae41c5a3845b093130f5a0e373f07"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-darwin-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:48dbf3535ff6c5ba63eacf16f0603b7797dac23d94db0cde380577ab0f66030e"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-windows64-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:9bb39396ab4b1214a484a3802c9cc800440e6c7d93df325d3416a0306505fd48"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "11.2.3"
|
||||
provides = ["gnat=11.2.3"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-linux64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:811265cb750f3e1fd96a3dac48cdd190fe06b3fe7feb5bc4f2a44e97296b13fa"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-darwin-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:ab1035b1649e259cae17bde628a85a4bcaf3f8819adafee0edb76697810b50ee"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-arm-elf-windows64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:432ce2fbbeb544e85a3b656fa6dcab16a9c7d9187f36e22461039d082d59296e"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "11.2.4"
|
||||
provides = ["gnat=11.2.4"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_avr_elf"
|
||||
version = "11.2.4"
|
||||
provides = ["gnat=11.2.4"]
|
||||
description = "The GNAT Ada compiler - AVR cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "gnat_math_extensions"
|
||||
description = "Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices"
|
||||
website = "https://github.com/simonjwright/gnat_math_extensions"
|
||||
version = "1.1.0"
|
||||
licenses= "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
authors = ["Simon Wright"]
|
||||
maintainers = ["Simon Wright <simon@pushface.org>"]
|
||||
maintainers-logins = ["simonjwright"]
|
||||
|
||||
project-files = ["gnat_math_extensions.gpr"]
|
||||
|
||||
tags = ["matrices", "blas", "lapack"]
|
||||
|
||||
[[depends-on]]
|
||||
"libblas" = "*"
|
||||
"liblapack" = "*"
|
||||
|
||||
[origin]
|
||||
commit = "e1f68c35cfb4539450341cede99ffc980510219c"
|
||||
url = "git+https://github.com/simonjwright/gnat_math_extensions.git"
|
||||
|
||||
@@ -1,6 +1,5 @@
|
||||
name = "gnat_native"
|
||||
version = "10.3.1"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -8,6 +7,8 @@ licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
provides = ["gnat=10.3.1"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_native"
|
||||
version = "10.3.2"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-windows64-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:b187d9541ce60bbf46d979c638351a501450df1597389cb97e7e996f6aa84d09"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-darwin-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:e112fd3fe78aab5825164830f20f0e2a99557cf2645ad3202da0e2798ec108d3"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-linux-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:d7078088b5ff812e828048c5a50417a7c63724c7181a37ff39cd49e25c154fc6"]
|
||||
@@ -1,6 +1,5 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.1"
|
||||
provides = ["gnat=11.2.1"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -8,6 +7,8 @@ licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
provides = ["gnat=11.2.1"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.2"
|
||||
provides = ["gnat=11.2.2"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-windows64-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:b741ebbc9c2559106e453cd3a180cf5a442e956d68c1812c0d21eedf782bd38a"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-darwin-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:207b1d85d34cb39cf317bb142cdf519f5eb2d6a83981ae985e210bcec6e69c1f"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-linux-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:f1b33dee2865ccd237bda784025962f6331c9b3dfc87ec2b1f798f12641df69d"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.3"
|
||||
provides = ["gnat=11.2.3"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-windows64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:9ac3889918afe98b53ae101d290d940998b72d7a0f0a3ade52b3fc6efb5d3d89"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-darwin-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:f008a8a75922f77ec896f881f51359af9c16380db202dfd6ffd48b999e8cb45d"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-x86_64-linux-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:d255cfb3263d0a0664850b3fb15d16d400bdb386d460d80e763839308ccdf10a"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.4"
|
||||
provides = ["gnat=11.2.4"]
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "10.3.2"
|
||||
provides = ["gnat=10.3.2"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-linux64-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:15ce9c58f2871336d944f20d39b230a92da2e21bc9e60b59e693327ba463a83a"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-darwin-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:02b8746589190112a9aa5798f3c38831c423baac26451240432a357a7324ddc1"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-windows64-10.3.0-2.tar.gz"
|
||||
hashes = ["sha256:f7f96169b92c5aacc415aa105e4baf40dbd49a0ba75eed0a97e3586bdf2aa5da"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "11.2.2"
|
||||
provides = ["gnat=11.2.2"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-linux64-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:5d0c03e8df93c716476d423bbdc4c1150a370f769be30c3e6a1d909197cb6b1d"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-darwin-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:b2cba6792286e082194d8759d652c2cf51b5c715a52f90bb8c311b34c4e4e084"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-windows64-11.2.0-2.tar.gz"
|
||||
hashes = ["sha256:37b33190b9db1ac9cf6b608b50bc176d314895105ef5f626b0efb6846360c40a"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "11.2.3"
|
||||
provides = ["gnat=11.2.3"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-linux64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:591103c4d3bba69ed86e0f3b99c48eab268bc3a817201d3717e68d1d65db03f6"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-darwin-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:09cc51a67b542d035a31c86be1eade2f6a2a665d00f366cef2d71956d9879bcd"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-3/gnat-riscv64-elf-windows64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:3f0c25f24f0a54acd2877e4e76aa4ea7b4c4ffc27d973d5447e0d91a79bf46bf"]
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "11.2.4"
|
||||
provides = ["gnat=11.2.4"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
|
||||
hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]
|
||||
@@ -1,37 +0,0 @@
|
||||
name = "gnatcoll"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - Core packages"
|
||||
website = "https://github.com/adacore/gnatcoll-core"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["gnatcoll.gpr"]
|
||||
tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
GNATCOLL_OS = ["windows", "unix", "osx"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[gpr-set-externals."case(os)".linux]
|
||||
GNATCOLL_OS = "unix"
|
||||
[gpr-set-externals."case(os)".macos]
|
||||
GNATCOLL_OS = "osx"
|
||||
[gpr-set-externals."case(os)".windows]
|
||||
GNATCOLL_OS = "windows"
|
||||
|
||||
[gpr-set-externals]
|
||||
GNATCOLL_VERSION = "22.0.0"
|
||||
GNATCOLL_BUILD_MODE = "PROD"
|
||||
|
||||
[[depends-on]]
|
||||
libgpr = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-core/archive/v22.0.0/gnatcoll-core-22.0.0.zip"
|
||||
hashes=['sha512:620c2f23bc047b82e659c7282d6306bc9c8b09e7ec428a9e39722802164ca2962628e5d91a33a00921707033d121bd7a179fffd4a439a0b48df21869b35e82d9']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_gmp"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["gmp/gnatcoll_gmp.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
libgmp = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,32 +0,0 @@
|
||||
name = "gnatcoll_iconv"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - iconv binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["iconv/gnatcoll_iconv.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
|
||||
# environement variable as not being set. So we use a harmless linker option to
|
||||
# have a non-empty GNATCOLL_ICONV_OPT.
|
||||
[gpr-set-externals."case(os)".linux]
|
||||
GNATCOLL_ICONV_OPT = "-v"
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
[depends-on."case(os)".windows]
|
||||
libiconv = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_lzma"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - lzma binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["lzma/gnatcoll_lzma.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
liblzma = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_omp"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - OpenMP binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["omp/gnatcoll_omp.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
libgomp = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,26 +0,0 @@
|
||||
name = "gnatcoll_postgres"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - postgres"
|
||||
website = "https://github.com/adacore/gnatcoll-db"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["postgres/gnatcoll_postgres.gpr"]
|
||||
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
gnatcoll_sql = "~22.0.0"
|
||||
postgresql = "*"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
|
||||
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_readline"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - readline binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["readline/gnatcoll_readline.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "readline", "cli"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
libreadline = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,24 +0,0 @@
|
||||
name = "gnatcoll_sql"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - sql"
|
||||
website = "https://github.com/adacore/gnatcoll-db"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["sql/gnatcoll_sql.gpr"]
|
||||
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
|
||||
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_sqlite"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - sqlite"
|
||||
website = "https://github.com/adacore/gnatcoll-db"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
|
||||
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
gnatcoll_sql = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
|
||||
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
|
||||
@@ -1,28 +0,0 @@
|
||||
name = "gnatcoll_syslog"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - syslog binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["syslog/gnatcoll_syslog.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "syslog", "logging"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[available.'case(os)']
|
||||
'windows' = false
|
||||
'...' = true
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,27 +0,0 @@
|
||||
name = "gnatcoll_xref"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - xref"
|
||||
website = "https://github.com/adacore/gnatcoll-db"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["xref/gnatcoll_xref.gpr"]
|
||||
tags = ["gnatcoll", "database", "xref", "ali"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
gnatcoll_iconv = "~22.0.0"
|
||||
gnatcoll_sql = "~22.0.0"
|
||||
gnatcoll_sqlite = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
|
||||
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcoll_zlib"
|
||||
version = "22.0.0"
|
||||
description = "GNAT Components Collection - zlib binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["zlib/gnatcoll_zlib.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
zlib = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
|
||||
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
|
||||
@@ -1,16 +1,14 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0.1"
|
||||
|
||||
description = "Coverage Analysis Tool"
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["coverage", "analysis", "test"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
|
||||
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0.2"
|
||||
|
||||
description = "Coverage Analysis Tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["coverage", "analysis", "test"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-linux-21.0-2.tar.gz"
|
||||
hashes = ["sha256:7f9c225e36ba277c35ac2fd053190a8a1c36f47cdb3e8b68d74178d7c903dcb3"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-darwin-21.0-2.tar.gz"
|
||||
hashes = ["sha256:b02987db79b51f5c815d5550b8688337c7706105cd713179d2a7a5657a78fcaa"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-windows64-21.0-2.tar.gz"
|
||||
hashes = ["sha256:154a9bab22cc5656d6d282a0a998c74dd2ebc9a3aff38b9c7a765950db5321d6"]
|
||||
@@ -1,28 +0,0 @@
|
||||
name = "gnatcov"
|
||||
version = "22.0.1"
|
||||
|
||||
description = "Coverage Analysis Tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["coverage", "analysis", "test"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-linux-22.0-1.tar.gz"
|
||||
hashes = ["sha256:eae687f0fb100524933ae37123a1de5ec26e5fca7fe2355cf2b267c9ccc0989a"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-darwin-22.0-1.tar.gz"
|
||||
hashes = ["sha256:a69a9af451dbeaa1ab8c9d8c430ea25ae9e05b7595073c38e1576241f0630371"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-windows64-22.0-1.tar.gz"
|
||||
hashes = ["sha256:29e99b2faf507bf5919e7f60fa052694666de9326bd89a06eea18bad590a0448"]
|
||||
@@ -1,33 +0,0 @@
|
||||
name = "gnatdist_garlic"
|
||||
description = "The configuration tool gnatdist for GARLIC"
|
||||
website = "https://github.com/reznikmm/garlic/wiki"
|
||||
version = "6.0.1"
|
||||
tags = ["dsa", "distributed", "annex", "network", "glade"]
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["reznikmm"]
|
||||
licenses = "GPL-2.0-or-later"
|
||||
|
||||
project-files = ["../gnat/gnatdist.gpr"]
|
||||
|
||||
executables = ["gnatdist"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment.PATH]
|
||||
append = "${CRATE_ROOT}/.bin"
|
||||
|
||||
[[forbids]]
|
||||
polyorb="*"
|
||||
|
||||
|
||||
|
||||
[origin]
|
||||
commit = "90ef4b6f01c95df7e04c8f3e4c41c275f23acea9"
|
||||
subdir = "./Dist/"
|
||||
url = "git+https://github.com/reznikmm/garlic.git"
|
||||
|
||||
@@ -1,26 +0,0 @@
|
||||
name = "gnatprove"
|
||||
version = "11.2.3"
|
||||
description = "Automatic formal verification of SPARK code"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
|
||||
hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]
|
||||
@@ -1,22 +0,0 @@
|
||||
name = "gprbuild"
|
||||
version = "21.0.2"
|
||||
description = "The GPRBuild Ada/multilanguage build tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-linux-21.0.0-2.tar.gz"
|
||||
hashes = ["sha256:6675f899832a17fdcf4e09ada8844cc519cd5070dca3c9c6b28a7eac6085114e"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-darwin-21.0.0-2.tar.gz"
|
||||
hashes = ["sha256:4f77240c83373412c62f55bda8cbf1136b53e9706dabcaab6c400b52cbadeaf3"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-windows64-21.0.0-2.tar.gz"
|
||||
hashes = ["sha256:9ac7bb44268e0f8d4dcf1666e9ba1aa3d93309f22bd010d352a17575c25fd5d6"]
|
||||
@@ -1,25 +0,0 @@
|
||||
name = "gprbuild"
|
||||
version = "22.0.1"
|
||||
description = "The GPRBuild Ada/multilanguage build tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz"
|
||||
hashes = ["sha256:24dfc1b54655edd4f85589e7e7dbd0bee24d087f25d5b0f13d3224fe7acf85b8"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-darwin-22.0.0-1.tar.gz"
|
||||
hashes = ["sha256:b1220e2b24ce8fdb28344ed9c79c81c1fd2e7e3b05839d35167ceda54050def3"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-windows64-22.0.0-1.tar.gz"
|
||||
hashes = ["sha256:c842bbc58b28ad0f1c1f7ba147d59e2c9fc4b8f74355ac734831bc779159b47e"]
|
||||
@@ -1,16 +0,0 @@
|
||||
description = "HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada"
|
||||
name = "hac"
|
||||
version = "0.11.0"
|
||||
authors = ["Gautier de Montmollin"]
|
||||
website = "https://hacadacompiler.sourceforge.io/"
|
||||
licenses = "MIT"
|
||||
maintainers = ["gdemont@hotmail.com"]
|
||||
maintainers-logins = ["zertovitch"]
|
||||
project-files = ["hac.gpr"]
|
||||
|
||||
[gpr-externals]
|
||||
HAC_Build_Mode = ["Debug", "Fast", "Small"]
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/hacadacompiler/files/hac-2022-06-19-v.0.11.zip"
|
||||
hashes = ["sha512:c596ed7c814406defbbb0d2dbf94c167236f36dc514e681ca2523045698d3fa4346e0b87ade272d4ed5a6047f61e9d4bdd033967bdb893fb4967a9af6c01982d"]
|
||||
@@ -1,27 +0,0 @@
|
||||
description = "Hardware Abstraction Layer (HAL)"
|
||||
|
||||
long-description = '''# hal
|
||||
|
||||
Hardware Abstraction Layer: interfaces definitions to abstract access to common
|
||||
hardware devices and protocols
|
||||
|
||||
This crate is a snapshot of the `hal` in [Ada Drivers
|
||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
|
||||
|
||||
Any bug report, issue, contribution must be adressed to the [Ada Drivers
|
||||
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
|
||||
|
||||
'''
|
||||
|
||||
name = "hal"
|
||||
version = "0.3.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["hal.gpr"]
|
||||
tags = ["embedded", "hal", "nostd"]
|
||||
|
||||
[origin]
|
||||
commit = "095ae5140d55ba5bc3905295d1029e79e1f11d43"
|
||||
url = "git+https://github.com/Fabien-Chouteau/hal.git"
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
description = '"Hello, world!" demonstration project'
|
||||
description = "\"Hello, world!\" demonstration project"
|
||||
name = "hello"
|
||||
version = "1.0.1"
|
||||
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "hmac"
|
||||
description = "HMAC implemented in Ada"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/AntonMeep/hmac"
|
||||
licenses = "ISC"
|
||||
tags = ["cryptography", "security", "hmac"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
sha1 = "^1.0.0"
|
||||
sha2 = "^1.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "d88a7b576bb62ad7d5c6375424107f132879b34b"
|
||||
url = "git+https://github.com/AntonMeep/hmac.git"
|
||||
|
||||
@@ -1,19 +0,0 @@
|
||||
name = "hmac"
|
||||
description = "HMAC implemented in Ada"
|
||||
version = "2.0.0"
|
||||
website = "https://github.com/AntonMeep/hmac"
|
||||
licenses = "ISC"
|
||||
tags = ["cryptography", "security", "hmac"]
|
||||
|
||||
authors = ["Anton Fediushin"]
|
||||
maintainers = ["Anton Fediushin <imantonmeep@gmail.com>"]
|
||||
maintainers-logins = ["AntonMeep"]
|
||||
|
||||
[[depends-on]]
|
||||
sha1 = "^2.0.0"
|
||||
sha2 = "^2.0.0"
|
||||
|
||||
[origin]
|
||||
commit = "d8046c212cc27744710cfa075462ac4ff766f1c6"
|
||||
url = "git+https://github.com/AntonMeep/hmac.git"
|
||||
|
||||
@@ -1,13 +0,0 @@
|
||||
description = "A standalone, portable Ada package for configuration files"
|
||||
name = "ini_files"
|
||||
version = "10.0.0"
|
||||
licenses = "MIT"
|
||||
authors = ["Rolf Ebert", "Gautier de Montmollin"]
|
||||
website = "https://sourceforge.net/p/ini-files/"
|
||||
maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"]
|
||||
maintainers-logins = ["RREE", "zertovitch"]
|
||||
project-files = ["ini_files.gpr"]
|
||||
|
||||
[origin]
|
||||
url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"
|
||||
hashes = ["sha512:6f2bab21ce53d8b4448d30c0fc1b0bd4ec070120f6343ff176dbec338530e8d7948e14fd8e991b26f108f60cd7dc44531a537c8ca087c66ffca4d9993de32f60"]
|
||||
+1
-1
@@ -1 +1 @@
|
||||
version = "1.2"
|
||||
version = "1.1"
|
||||
|
||||
@@ -1,23 +0,0 @@
|
||||
name = "iterators"
|
||||
description = "Functional iterators a la Rust"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
website = "https://github.com/mosteo/iterators"
|
||||
|
||||
licenses = "LGPL-3.0-only"
|
||||
tags = ["iterators", "functional"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
aaa = "~0.2.1"
|
||||
gnat = "^10" # gnat 11 is causing many new errors, migration pending
|
||||
|
||||
[origin]
|
||||
commit = "18995a4dc100b945a63ba49861d14a015a36a527"
|
||||
url = "git+https://github.com/mosteo/iterators.git"
|
||||
|
||||
@@ -1,23 +0,0 @@
|
||||
name = "itsybitsy_bsp"
|
||||
description = "Board support package for Arduino ItsyBitsy"
|
||||
version = "0.0.3"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Holger Rodriguez"]
|
||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
||||
maintainers-logins = ["hgrodriguez"]
|
||||
tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]] # Added by alr
|
||||
hal = "~0.1" # Added by alr
|
||||
[[depends-on]] # Added by alr
|
||||
rp2040_hal = "^1" # Added by alr
|
||||
|
||||
[configuration.values]
|
||||
rp2040_hal.Flash_Chip = "w25qxx"
|
||||
|
||||
[origin]
|
||||
commit = "233852ed7994c73082aa996fd50ce878cdfae5f9"
|
||||
url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
name = "itsybitsy_bsp"
|
||||
description = "Board support package for Arduino ItsyBitsy"
|
||||
version = "0.0.4"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Holger Rodriguez"]
|
||||
maintainers = ["Holger Rodriguez <github@roseng.ch>"]
|
||||
maintainers-logins = ["hgrodriguez"]
|
||||
tags = ["embedded", "nostd", "itsybitsy", "rp2040", "bsp"]
|
||||
website = "https://pico-doc.synack.me/"
|
||||
|
||||
[[depends-on]] # Added by alr
|
||||
hal = "~0.1" # Added by alr
|
||||
[[depends-on]] # Added by alr
|
||||
rp2040_hal = "^1" # Added by alr
|
||||
|
||||
[origin]
|
||||
commit = "7d01d9d21b36f10312c11a5b9d682feee85645de"
|
||||
url = "git+https://github.com/hgrodriguez/itsybitsy_bsp.git"
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user