Compare commits
42 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 440b95005c | |||
| 64013fc279 | |||
| d918e18e56 | |||
| 889ce5b21e | |||
| 26d9147abf | |||
| 33038b1609 | |||
| a09140f021 | |||
| 86659c3195 | |||
| ffd49df662 | |||
| e7c53a6146 | |||
| f24436e0f1 | |||
| 0d57828de3 | |||
| 148248846f | |||
| b10d18768d | |||
| e67d834252 | |||
| ecc0dd2fff | |||
| 909b47b459 | |||
| c5a75385d9 | |||
| bdc53ebf74 | |||
| 784e8105ef | |||
| ea4946244b | |||
| c260660ae2 | |||
| 526dc9e01b | |||
| 9bf2f7f835 | |||
| 75264a9fa5 | |||
| 9b5792cb12 | |||
| 04f4b1a642 | |||
| 6b53b29257 | |||
| ca79380e4a | |||
| 6d4e6d6cec | |||
| ea6dd823d9 | |||
| 5c367d573a | |||
| 4d4f222046 | |||
| b2ac55bfb7 | |||
| 4069382a51 | |||
| ddc3120ec1 | |||
| 7b8b8c5be0 | |||
| 03efd72937 | |||
| bbb3c93637 | |||
| 1bb9541ca1 | |||
| e98f64fb48 | |||
| e034baf38b |
@@ -78,6 +78,8 @@ jobs:
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones
|
||||
|
||||
- name: Test crate (Linux)
|
||||
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
|
||||
|
||||
@@ -0,0 +1,69 @@
|
||||
name: Toolchain
|
||||
# Build the submitted crate with a native toolchain from Alire
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.os }}
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
os:
|
||||
- macos-latest
|
||||
- ubuntu-latest
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
# need the full history or else grafted partial branches confuse the
|
||||
# changed files detectors (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
|
||||
# For the devel branch we need a compiler available to build alr in
|
||||
# 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-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: fsf # faster install?
|
||||
|
||||
- name: Set up GNAT toolchain (Community)
|
||||
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: community
|
||||
|
||||
# By default, this sets up the newest indexed native toolchain
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
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@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: scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "aaa"
|
||||
version = "0.2.3"
|
||||
description = "Alex's Ada Assortment (of miscellaneous utilities)"
|
||||
|
||||
long-description = """
|
||||
Alex's Ada Assortment of Utilities
|
||||
|
||||
- Text formatting (paragraphs, tables).
|
||||
- Indefinite containers.
|
||||
- Enumeration validity/conversions of string images.
|
||||
- On-demand stack backtraces.
|
||||
- String vectors.
|
||||
- Simple subprocess spawning.
|
||||
- Write-through minimal cache for objects stored in files
|
||||
"""
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
tags = ["miscellanea", "utility"]
|
||||
website = "https://github.com/mosteo/aaa"
|
||||
|
||||
[origin]
|
||||
commit = "12201a008c07e6ef0e4f21d327c941bed97d7166"
|
||||
url = "git+https://github.com/mosteo/aaa.git"
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
description = "TOML parser for Ada "
|
||||
description = "TOML parser for Ada"
|
||||
name = "ada_toml"
|
||||
version = "0.1.0"
|
||||
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
description = "TOML parser for Ada "
|
||||
description = "TOML parser for Ada"
|
||||
name = "ada_toml"
|
||||
version = "0.2.0"
|
||||
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
|
||||
@@ -0,0 +1,110 @@
|
||||
description = "TOML parser for Ada"
|
||||
name = "ada_toml"
|
||||
version = "0.3.0"
|
||||
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
licenses = "BSD-3-Clause"
|
||||
maintainers = ["pmderodat@kawie.fr"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
project-files = ["ada_toml.gpr"]
|
||||
long-description = """
|
||||
ada-toml: TOML parser for Ada
|
||||
=============================
|
||||
|
||||
`ada-toml` is a pure Ada library for parsing and creating
|
||||
[TOML](https://github.com/toml-lang/toml#toml) documents. It conforms to the
|
||||
[version 1.0.0](https://toml.io/en/v1.0.0) of the format standard.
|
||||
|
||||
|
||||
Quick tutorial
|
||||
--------------
|
||||
|
||||
All basic types and subprograms are in the `TOML` package. All "nodes" in a
|
||||
TOML documents are materialized using the `TOML.TOML_Value` type. Since TOML
|
||||
values make up a tree, this type has reference semantics. This means that
|
||||
modifying a TOML node does not modify the corresponding `TOML_Value` value
|
||||
itself, but rather the TOML value that is referenced.
|
||||
|
||||
Parsing a TOML file is as easy as using the `TOML.File_IO.Load_File` function:
|
||||
|
||||
```ada
|
||||
declare
|
||||
Result : constant TOML.Read_Result :=
|
||||
TOML.File_IO.Load_File ("config.toml");
|
||||
begin
|
||||
if Result.Success then
|
||||
Ada.Text_IO.Put_Line ("config.toml loaded with success!");
|
||||
else
|
||||
Ada.Text_IO.Put_Line ("error while loading config.toml:");
|
||||
Ada.Text_IO.Put_Line
|
||||
(Ada.Strings.Unbounded.To_String (Result.Message));
|
||||
end if;
|
||||
end;
|
||||
```
|
||||
|
||||
Each TOML value has kind, defining which data it contains (a boolean, an
|
||||
integer, a string, a table, ...). To each kind, one or several primitives are
|
||||
associated to let one process the underlying data:
|
||||
|
||||
```ada
|
||||
case Result.Kind is
|
||||
when TOML.TOML_Boolean =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Boolean'Image);
|
||||
|
||||
when TOML.TOML_Integer =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_Integer'Image);
|
||||
|
||||
when TOML.TOML_String =>
|
||||
Ada.Text_IO.Put_Line ("Boolean: " & Result.As_String);
|
||||
|
||||
when TOML.TOML_Array =>
|
||||
Ada.Text_IO.Put_Line ("Array of " & Result.Length & " elements");
|
||||
|
||||
when others =>
|
||||
null;
|
||||
end case;
|
||||
```
|
||||
|
||||
There are also primitives to build TOML values:
|
||||
|
||||
```ada
|
||||
declare
|
||||
Bool : constant TOML.TOML_Value := TOML.Create_Boolean (False);
|
||||
Int : constant TOML.TOML_Value := TOML.Create_Integer (10);
|
||||
Str : constant TOML.TOML_Value := TOML.Create_String ("Hello, world");
|
||||
|
||||
Table : constant TOML.TOML_Value := TOML.Create_Table;
|
||||
begin
|
||||
Table.Set ("bool_field", Bool);
|
||||
Table.Set ("int_field", Int);
|
||||
Table.Set ("str_field", Str);
|
||||
end;
|
||||
```
|
||||
|
||||
And finally one can turn a tree of TOML nodes back in text form:
|
||||
|
||||
```ada
|
||||
Ada.Text_IO.Put_Line ("TOML document:");
|
||||
Ada.Text_IO.Put_Line (Table.Dump_As_String);
|
||||
```
|
||||
|
||||
|
||||
Contributing
|
||||
------------
|
||||
|
||||
The development of `ada-toml` happens on
|
||||
[GitHub](https://github.com/pmderodat/ada-toml). Everyone is welcome to
|
||||
contribute to this project: please read our [contribution
|
||||
rules](https://github.com/pmderodat/ada-toml/tree/master/CONTRIBUTING.rst) if
|
||||
you consider doing so.
|
||||
"""
|
||||
|
||||
[gpr-externals]
|
||||
ADA_TOML_BUILD_MODE = ["dev", "prod"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[gpr-set-externals]
|
||||
ADA_TOML_BUILD_MODE = "prod"
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/pmderodat/ada-toml/archive/v0.3.tar.gz"
|
||||
hashes = ["sha512:862d230bf28c393243b01425b259a2fd5d1cf33d3da521eea5f5533691efb46cd3fa335941bcd768b5da635896737b5ee51cbd593d84df58785db6d4c836afd2"]
|
||||
@@ -0,0 +1,18 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "1.0.0"
|
||||
|
||||
authors = ["Tama McGlinn"]
|
||||
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
|
||||
maintainers-logins = ["TamaMcGlinn"]
|
||||
licenses = "MIT"
|
||||
project-files = ["adabots.gpr"]
|
||||
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aws = "^21.0.0" # This line was added by `alr with`
|
||||
|
||||
[origin]
|
||||
commit = "159c2547f3a059d83a183ca70b75fee572f7fbaf"
|
||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "adabots"
|
||||
description = "Learn Ada by programming Minecraft robots"
|
||||
version = "1.0.1"
|
||||
|
||||
authors = ["Tama McGlinn"]
|
||||
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
|
||||
maintainers-logins = ["TamaMcGlinn"]
|
||||
|
||||
licenses = "MIT"
|
||||
project-files = ["adabots.gpr"]
|
||||
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
|
||||
|
||||
[[depends-on]] # This line was added by `alr with`
|
||||
aws = "^21.0.0" # This line was added by `alr with`
|
||||
|
||||
[origin]
|
||||
commit = "a31a416c1f09e59ab1d1ab0b132aca225c66be48"
|
||||
url = "git+https://github.com/TamaMcGlinn/AdaBots.git"
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
description = "Basic Ada packages for audio applications"
|
||||
long-description = """
|
||||
# Audio Base
|
||||
This crate contains basic Ada packages for audio applications.
|
||||
"""
|
||||
name = "audio_base"
|
||||
version = "1.0.0"
|
||||
website="https://github.com/Ada-Audio/audio_base"
|
||||
licenses = "MIT"
|
||||
authors=["Gustavo A. Hoffmann"]
|
||||
maintainers = ["gusthoff@gusthoff.com"]
|
||||
maintainers-logins = ["gusthoff"]
|
||||
project-files = ["audio_base.gpr"]
|
||||
tags = ["audio", "riff"]
|
||||
|
||||
[origin]
|
||||
commit = "8646d0adc2be09c57dd16952a329c4342e5ddb3b"
|
||||
url = "git+https://github.com/Ada-Audio/audio_base.git"
|
||||
@@ -0,0 +1,31 @@
|
||||
name = "clic"
|
||||
description = "Command Line Interface Components"
|
||||
version = "0.1.0"
|
||||
|
||||
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
|
||||
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
|
||||
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
|
||||
licenses = "MIT"
|
||||
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
|
||||
"""
|
||||
|
||||
# TODO: uncomment for alr 1.1.0
|
||||
# [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.3"
|
||||
simple_logging = "^1.2.0"
|
||||
ansiada = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "ac734659560ffa98346c4ddc97d8966471d70374"
|
||||
url = "git+https://github.com/alire-project/clic.git"
|
||||
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "clic"
|
||||
description = "Command Line Interface Components"
|
||||
version = "0.1.1"
|
||||
|
||||
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
|
||||
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
|
||||
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
|
||||
licenses = "MIT"
|
||||
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
|
||||
"""
|
||||
|
||||
# TODO: uncomment for alr 1.1.0
|
||||
# [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.3"
|
||||
simple_logging = "^1.2.0"
|
||||
ansiada = "~0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "32a93777a3e1796534e07c59966075a3d6f4f503"
|
||||
url = "git+https://github.com/alire-project/clic.git"
|
||||
@@ -0,0 +1,74 @@
|
||||
name = "dir_iterators"
|
||||
description = "Ways of moving around directory trees"
|
||||
version = "0.0.3"
|
||||
website = "https://github.com/pyjarrett/dir_iterators"
|
||||
authors = ["Paul Jarrett"]
|
||||
licenses = "Apache-2.0"
|
||||
|
||||
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
|
||||
maintainers-logins = ["pyjarrett"]
|
||||
tags = ["dir", "files", "walk"]
|
||||
|
||||
long-description = '''
|
||||
[](https://github.com/pyjarrett/dir_iterators/actions)
|
||||
[](https://alire.ada.dev/crates/dir_iterators.html)
|
||||
|
||||
## Iterator-based directory walks
|
||||
|
||||
Provides convenient ways to walk directories based on Ada 2012 user-defined
|
||||
iterators.
|
||||
|
||||
Inspired by [walkdir for Rust](https://github.com/BurntSushi/walkdir).
|
||||
|
||||
|
||||
## Walking a directory tree recursively
|
||||
|
||||
```ada
|
||||
with Ada.Directories;
|
||||
with Ada.Text_IO;
|
||||
with Dir_Iterators.Recursive;
|
||||
|
||||
-- ...
|
||||
|
||||
Dir_Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk
|
||||
:= Dir_Iterators.Recursive.Walk (Dir);
|
||||
|
||||
for Dir_Entry of Dir_Walk loop
|
||||
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
|
||||
end loop;
|
||||
```
|
||||
|
||||
## Walking a directory tree recursively with a filter
|
||||
|
||||
Use a filter to prune directories and files from the walk.
|
||||
|
||||
```ada
|
||||
with Ada.Directories;
|
||||
with Ada.Text_IO;
|
||||
with Dir_Iterators.Recursive;
|
||||
|
||||
package AD renames Ada.Directories;
|
||||
|
||||
-- ...
|
||||
|
||||
procedure Foo (Include_Dot_Files : Boolean; Dir_Root : String) is
|
||||
function Filter (E : Ada.Directories.Directory_Entry_Type) return Boolean is
|
||||
Name : constant String := Ada.Directories.Simple_Name(E);
|
||||
begin
|
||||
return Include_Dot_Files
|
||||
or else (not (Name'Length > 1 and then Name(1) = '.'));
|
||||
end Filter;
|
||||
|
||||
Walk : constant Dir_Iterators.Recursive.Recursive_Dir_Walk :=
|
||||
Dir_Iterators.Recursive.Walk (Dir_Root, Filter'Access);
|
||||
begin
|
||||
for Dir_Entry of Walk loop
|
||||
Ada.Text_IO.Put_Line(Ada.Directories.Full_Name(Dir_Entry));
|
||||
end loop;
|
||||
end Foo;
|
||||
```
|
||||
'''
|
||||
[origin]
|
||||
commit = "9a345982c4680cea101a4295da1ead5610526a3d"
|
||||
url = "git+https://github.com/pyjarrett/dir_iterators.git"
|
||||
|
||||
@@ -0,0 +1,17 @@
|
||||
name = "emojis"
|
||||
description = "A library to replace names between colons with emojis"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/onox/emojis"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["emoji", "string", "text", "unicode"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "e9d5c4ef79b45a8be73c6e98dceb70c291d1fbed"
|
||||
url = "git+https://github.com/onox/emojis.git"
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "felix"
|
||||
description = "X/Open Native Language System (NLS) for Ada"
|
||||
version = "0.2.0"
|
||||
|
||||
authors = ["Lev Kujawski"]
|
||||
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
|
||||
maintainers-logins = ["lkujaw"]
|
||||
licenses = "MIT-0"
|
||||
website = "https://github.com/lkujaw/felix"
|
||||
tags = ["ada1995", "i18n", "nls",
|
||||
"localization", "localisation", "l10n"]
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on.'case(os)'.windows]
|
||||
msys2_runtime = ">=3.0"
|
||||
|
||||
[gpr-set-externals.'case(os)']
|
||||
'windows' = { SYSTEM_API = "WIN32" }
|
||||
'...' = { SYSTEM_API = "POSIX" }
|
||||
|
||||
[environment.'case(distribution)']
|
||||
'msys2' = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/" }
|
||||
|
||||
[origin]
|
||||
commit = "7409bde64df3467f6d8b6aceb96eba2aac920014"
|
||||
url = "git+https://github.com/lkujaw/felix.git"
|
||||
|
||||
@@ -0,0 +1,26 @@
|
||||
name = "get_password"
|
||||
description = "Read a string without echo, in password-like style"
|
||||
version = "1.0.0-rc"
|
||||
long-description = "This is a small Ada library that provides a procedure Get_Password that reads a string from the terminal replacing each character with a *. The input can be terminated both by the user pressing end-of-line or when the buffer is filled. Currently it works only on POSIX-based system. This version was checked with Spark"
|
||||
licenses = "MIT"
|
||||
website = "https://gitlab.com/my-ada-library/get_password"
|
||||
|
||||
authors = ["Riccardo Bernardini"]
|
||||
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
|
||||
maintainers-logins = ["fintatarta"]
|
||||
tags = ["password", "echo", "textio"]
|
||||
|
||||
[gpr-set-externals.'case(os)']
|
||||
linux = { OS_FOR_GPR = "posix" }
|
||||
windows = { OS_FOR_GPR = "windows" }
|
||||
macos = { OS_FOR_GPR = "posix" }
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
windows = false
|
||||
macos = false
|
||||
|
||||
[origin]
|
||||
commit = "0999eb5b4890649c73fc0327ef7514de4fb73df7"
|
||||
url = "git+https://gitlab.com/my-ada-library/get_password.git"
|
||||
|
||||
+2
-2
@@ -1,6 +1,6 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "10.3-1"
|
||||
provides = ["gnat=10.3-1"]
|
||||
version = "10.3.1"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "11.2.1"
|
||||
provides = ["gnat=11.2.1"]
|
||||
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-1/gnat-arm-elf-linux64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:68f7c5d3e009c156d6c3d274c5da9fd369b1e85743c9bdfe4548e2c376efcebd"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:9343d45fe3eaa5d7d1cfcf03166c64303adb5524fa03634bb1cada61787a2226"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:b2d3b1d266b5e13e97809462a6169d690591e81a1b1885e9501f4e1a99c34421"]
|
||||
+2
-2
@@ -1,5 +1,5 @@
|
||||
name = "gnat_native"
|
||||
version = "10.3-1"
|
||||
version = "10.3.1"
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -7,7 +7,7 @@ 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"]
|
||||
provides = ["gnat=10.3.1"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.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
|
||||
|
||||
provides = ["gnat=11.2.1"]
|
||||
|
||||
[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-1/gnat-x86_64-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:3ed9e2d781e395dcc74544f691fbc15176f853a20d926b7409356c58a89e44ed"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:25e76394ceeadda9a3a689e80e0e22492fc76a3b3d53a54bf90b8b1bdcbc3c7d"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-linux-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:216754299ee9d79a4a1935c29800308007fb1304bfd4833980e0b4a67b2924bb"]
|
||||
+2
-2
@@ -1,6 +1,6 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "10.3-1"
|
||||
provides = ["gnat=10.3-1"]
|
||||
version = "10.3.1"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "11.2.1"
|
||||
provides = ["gnat=11.2.1"]
|
||||
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-1/gnat-riscv64-elf-linux64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:71151d7902b127f5f68d206f6134d1c18d203f8269e11970cab28e0ff5ff801e"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:359f6d99dc55b01432dc8fa8190ba8bfe7f2e6a78b458cca45fa41bbcd04a9c7"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:a04a8bd99ac1ec576aba2a69b6608fd78d805c737de59c30f570bd5dd5a82a97"]
|
||||
@@ -1,5 +1,5 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0-1"
|
||||
version = "21.0.1"
|
||||
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
@@ -1,5 +1,5 @@
|
||||
name = "gprbuild"
|
||||
version = "21.0.0-1"
|
||||
version = "21.0.1"
|
||||
description = "The GPRBuild Ada/multilanguage build tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
@@ -16,6 +16,7 @@ GPR_BUILD = ["debug", "production", "coverage", "profiling"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnat = "/=2021" # Does not build with GNAT Community 2021
|
||||
xmlada = "~21.0.0"
|
||||
|
||||
[origin]
|
||||
|
||||
@@ -0,0 +1,12 @@
|
||||
description = "A simple library for communicating with USB and Bluetooth HID devices"
|
||||
name = "libhidapi"
|
||||
licenses = "BSD-3-Clause OR GPL-3.0-only OR custom-hidapi"
|
||||
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
[external.origin."case(distribution)"]
|
||||
"debian|ubuntu" = ["libhidapi-dev"]
|
||||
arch = ["hidapi"]
|
||||
@@ -0,0 +1,26 @@
|
||||
name = "libsimpleio"
|
||||
description = "Linux Simple I/O Library bindings for GNAT Ada"
|
||||
version = "1.19882.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["libsimpleio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
|
||||
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux' = true
|
||||
"..." = false
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha512:eb0dd86e69e4a5c583cce74bbbf5fbe4f8e45d545c226e56ba082a05a8941d6adbad7b38364d84a059feed701550bc851f8cc360a29b460a8df251bee99479d0",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/libsimpleio-1.19882.1.tbz2"
|
||||
|
||||
@@ -0,0 +1,12 @@
|
||||
description = "A cross-platform library to access USB devices"
|
||||
name = "libusb"
|
||||
licenses = "LGPL-2.1-or-later"
|
||||
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
[external.origin."case(distribution)"]
|
||||
"debian|ubuntu" = ["libusb-1.0-0-dev"]
|
||||
arch = ["libusb"]
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql.gpr"]
|
||||
tags = ["sql", "datadase", "db"]
|
||||
tags = ["sql", "database", "db"]
|
||||
|
||||
[[depends-on]]
|
||||
matreshka_league = "18.1.0"
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql.gpr"]
|
||||
tags = ["sql", "datadase", "db"]
|
||||
tags = ["sql", "database", "db"]
|
||||
|
||||
[[depends-on]]
|
||||
matreshka_league = "20.1.0"
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql_firebird.gpr"]
|
||||
tags = ["sql", "datadase", "db", "firebird"]
|
||||
tags = ["sql", "database", "db", "firebird"]
|
||||
|
||||
[[depends-on]]
|
||||
libfbclient = "any"
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql_mysql.gpr"]
|
||||
tags = ["sql", "datadase", "db", "mysql", "mariadb"]
|
||||
tags = ["sql", "database", "db", "mysql", "mariadb"]
|
||||
|
||||
[[depends-on]]
|
||||
libmysqlclient = "any"
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql_oracle.gpr"]
|
||||
tags = ["sql", "datadase", "db", "oracle"]
|
||||
tags = ["sql", "database", "db", "oracle"]
|
||||
|
||||
[[depends-on]]
|
||||
libclntsh = "any"
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql_postgresql.gpr"]
|
||||
tags = ["sql", "datadase", "db", "postgresql"]
|
||||
tags = ["sql", "database", "db", "postgresql"]
|
||||
|
||||
# Configure on msys2 fails to work with pg_config
|
||||
[available.'case(os)']
|
||||
|
||||
@@ -7,7 +7,7 @@ licenses = "BSD-3-Clause"
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
project-files = ["build_matreshka_sql_sqlite3.gpr"]
|
||||
tags = ["sql", "datadase", "db", "sqlite"]
|
||||
tags = ["sql", "database", "db", "sqlite"]
|
||||
|
||||
[[depends-on]]
|
||||
libsqlite3 = "any"
|
||||
|
||||
@@ -0,0 +1,47 @@
|
||||
name = "mcp2221"
|
||||
description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
|
||||
version = "1.19928.2"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/simpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["mcp2221.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux|windows' = true
|
||||
"..." = false
|
||||
|
||||
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libhidapi = "~0.8"
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libusb = "~1.0"
|
||||
|
||||
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
|
||||
|
||||
[[actions."case(os)".linux]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
|
||||
|
||||
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
|
||||
|
||||
[[actions."case(os)".windows]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha512:55b6c3181571ca2557be57c232b4a91b050edebcae6aeb0ecd104510ec937a8390d0180d882e4326f35c1f85b0f7d64b1f63cc0d6b059736ca40f0a3f380ef54",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/mcp2221-1.19928.2.tbz2"
|
||||
|
||||
@@ -0,0 +1,47 @@
|
||||
name = "mcp2221"
|
||||
description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
|
||||
version = "1.19937.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["mcp2221.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux|windows' = true
|
||||
"..." = false
|
||||
|
||||
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libhidapi = "~0.8"
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libusb = "~1.0"
|
||||
|
||||
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
|
||||
|
||||
[[actions."case(os)".linux]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
|
||||
|
||||
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
|
||||
|
||||
[[actions."case(os)".windows]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha512:5caf240f629b0d133121e5765dd2df591f45e2221373b010c74c9e870fea308d445d2e957cbe5806ad0ecff846a6a3ec15c8c8fcd84ae7b532998cd2a5eba2fe",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/mcp2221-1.19937.1.tbz2"
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
description = "Middleware layer of the Ada Drivers Library project"
|
||||
description = "Board Support Package for the BBC micro:bit v1"
|
||||
long-description = '''# microbit BSP
|
||||
|
||||
Board Support Package for the BBC micro:bit https://microbit.org/
|
||||
@@ -8,7 +8,6 @@ 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 = "microbit_bsp"
|
||||
@@ -17,7 +16,6 @@ licenses = "BSD-3-Clause"
|
||||
website="https://github.com/AdaCore/Ada_Drivers_Library/"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["adl_middleware.gpr"]
|
||||
tags = ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"]
|
||||
|
||||
[[depends-on]]
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
description = "Middleware layer of the Ada Drivers Library project"
|
||||
description = "Board Support Package for the BBC micro:bit v1"
|
||||
long-description = '''# microbit BSP
|
||||
|
||||
Board Support Package for the BBC micro:bit https://microbit.org/
|
||||
@@ -8,7 +8,6 @@ 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 = "microbit_bsp"
|
||||
@@ -17,7 +16,6 @@ licenses = "BSD-3-Clause"
|
||||
website="https://github.com/AdaCore/Ada_Drivers_Library/"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["adl_middleware.gpr"]
|
||||
tags = ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"]
|
||||
|
||||
[[depends-on]]
|
||||
|
||||
@@ -0,0 +1,14 @@
|
||||
name = "msys2_runtime"
|
||||
description = "POSIX emulation library for Windows"
|
||||
|
||||
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
|
||||
maintainers-logins = ["lkujaw"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
[external.origin.'case(distribution)']
|
||||
'msys2' = ["msys2-runtime-devel"]
|
||||
|
||||
[external.available.'case(distribution)']
|
||||
'msys2' = true
|
||||
'...' = false
|
||||
@@ -0,0 +1,15 @@
|
||||
name = "optional"
|
||||
description = "Optional values a la java.lang.Optional"
|
||||
version = "0.1"
|
||||
tags = ["optional", "functional"]
|
||||
licenses = "LGPL-3.0-only"
|
||||
website = "https://github.com/mosteo/optional/"
|
||||
|
||||
authors = ["Alejandro R. Mosteo"]
|
||||
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
[origin]
|
||||
commit = "1aa0e20bf7cd010c4b59e6ab7cc4b089790b796e"
|
||||
url = "git+https://github.com/mosteo/optional.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "0.6.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://github.com/JeremyGrosser/pico_bsp"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "~0.6"
|
||||
|
||||
[origin]
|
||||
commit = "b7a5868eb3bef041630530d371c8e2361c6feed0"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -0,0 +1,33 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "0.6.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://github.com/JeremyGrosser/pico_examples"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adafruit_feather_rp2040/blink_feather.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "~0.6"
|
||||
|
||||
[origin]
|
||||
commit = "e674c7a232455130357ea7b87c4dd7e3ad612915"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
name = "raspberry_bsp"
|
||||
description = "Board Support package for Raspberry PI v1, v2 and B+"
|
||||
version = "1.0.0"
|
||||
|
||||
authors = ["Tama McGlinn"]
|
||||
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
|
||||
maintainers-logins = ["TamaMcGlinn"]
|
||||
|
||||
licenses = "MIT"
|
||||
tags = ["raspberry", "pi"]
|
||||
website = "https://github.com/TamaMcGlinn/ada_raspio"
|
||||
|
||||
[origin]
|
||||
commit = "a15c773223e31c3ba97dc806897ab1feec2ff5a3"
|
||||
url = "git+https://github.com/TamaMcGlinn/ada_raspio.git"
|
||||
|
||||
[available."case(os)"]
|
||||
windows = false
|
||||
@@ -0,0 +1,47 @@
|
||||
name = "remoteio"
|
||||
description = "Remote I/O Protocol Client Library for GNAT Ada"
|
||||
version = "1.19928.2"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/simpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["remoteio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux|windows' = true
|
||||
"..." = false
|
||||
|
||||
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libhidapi = "~0.8"
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libusb = "~1.0"
|
||||
|
||||
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
|
||||
|
||||
[[actions."case(os)".linux]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
|
||||
|
||||
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
|
||||
|
||||
[[actions."case(os)".windows]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha512:6f9f2f580b06ea18d2b462ee08408741d5fecbcd554114802e7303f2d05dd7025592f6a9f2a1205d5dcf782a4c0950c324aab9213be296c692ddfec838ed436f",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/remoteio-1.19928.2.tbz2"
|
||||
|
||||
@@ -0,0 +1,47 @@
|
||||
name = "remoteio"
|
||||
description = "Remote I/O Protocol Client Library for GNAT Ada"
|
||||
version = "1.19937.1"
|
||||
licenses = "BSD-1-Clause"
|
||||
website = "https://github.com/pmunts/libsimpleio"
|
||||
|
||||
authors = ["Philip Munts"]
|
||||
maintainers = ["Philip Munts <phil@munts.net>"]
|
||||
maintainers-logins = ["pmunts"]
|
||||
|
||||
project-files = ["remoteio.gpr", "programs.gpr"]
|
||||
|
||||
tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
|
||||
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
|
||||
|
||||
[available."case(os)"]
|
||||
'linux|windows' = true
|
||||
"..." = false
|
||||
|
||||
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libhidapi = "~0.8"
|
||||
|
||||
[[depends-on]]
|
||||
[depends-on."case(os)"."linux"]
|
||||
libusb = "~1.0"
|
||||
|
||||
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
|
||||
|
||||
[[actions."case(os)".linux]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
|
||||
|
||||
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
|
||||
|
||||
[[actions."case(os)".windows]]
|
||||
type = "post-fetch"
|
||||
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
|
||||
|
||||
[origin]
|
||||
hashes = [
|
||||
"sha512:fc6c694fddf9a62f419ca3c189698c0761b3fbe5c6133d30c11ba2176471f88d019de47c058cadc6eaf253efefcf36bd5ce54637b17481a8fde85894d2d2e84f",
|
||||
]
|
||||
url = "http://repo.munts.com/alire/remoteio-1.19937.1.tbz2"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "rp2040_hal"
|
||||
description = "Drivers and HAL for the RP2040 micro-controller family"
|
||||
version = "0.6.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
|
||||
website = "https://github.com/JeremyGrosser/rp2040_hal"
|
||||
|
||||
[[depends-on]]
|
||||
cortex_m = "~0.3"
|
||||
hal = "~0.1"
|
||||
|
||||
[origin]
|
||||
commit = "a3ea286762cd60c0e24c3979e0d812fc3dbe3917"
|
||||
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
name = "vss"
|
||||
description = "Advanced string and text manipulation with Unicode support"
|
||||
version = "22.0.0-20210830"
|
||||
tags = ["unicode", "json", "text"]
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/VSS"
|
||||
|
||||
project-files = ["gnat/vss_text.gpr", "gnat/vss_json.gpr"]
|
||||
|
||||
[origin]
|
||||
commit = "92cfa4bd5d1116841b1d63b4011bb9a6f33fa7f8"
|
||||
url = "git+https://github.com/AdaCore/VSS.git"
|
||||
|
||||
|
||||
[[depends-on]]
|
||||
gnat = ">=2020|(>=11 & <=2000)"
|
||||
@@ -0,0 +1,17 @@
|
||||
name = "weechat_ada"
|
||||
description = "Ada 2012 library for WeeChat plug-ins"
|
||||
version = "3.0.0"
|
||||
website = "https://github.com/onox/weechat-ada"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["chat", "irc", "weechat"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "f69eefc2d6e5f15199a9eef0a51e10aefc844946"
|
||||
url = "git+https://github.com/onox/weechat-ada.git"
|
||||
+83
-27
@@ -6,6 +6,26 @@ trap 'echo "Interrupted" >&2 ; exit 1' INT
|
||||
set -o errexit
|
||||
set -o nounset
|
||||
|
||||
function check_dependencies_exist() {
|
||||
for dep in $(alr with | tail +1); do
|
||||
if [[ $dep =~ ([a-z0-9_]+)[^a-z0-9_] ]]; then # this should always match the crate name
|
||||
local crate=${BASH_REMATCH[1]}
|
||||
|
||||
if alr list | cut -f1 -d' ' | grep -qw $crate; then
|
||||
return 0 # found
|
||||
else
|
||||
echo "Direct dependency is unknown: $dep (crate name: $crate)"
|
||||
return 1
|
||||
fi
|
||||
else
|
||||
echo Could not identify dependency crate name in: $dep
|
||||
return 1
|
||||
fi
|
||||
done
|
||||
|
||||
return 0
|
||||
}
|
||||
|
||||
# See whats happening
|
||||
git log --graph --decorate --pretty=oneline --abbrev-commit --all | head -30
|
||||
|
||||
@@ -15,6 +35,10 @@ CHANGES=$(git diff --name-only HEAD~1)
|
||||
# Bulk changes for the record
|
||||
echo Changed files: $CHANGES
|
||||
|
||||
# Disable assistant. This is necessary despite the setup-alire action doing it
|
||||
# too, because we sometimes run inside a Docker with fresh configuration
|
||||
alr toolchain --disable-assistant
|
||||
|
||||
# Show alr metadata
|
||||
alr version
|
||||
|
||||
@@ -34,7 +58,7 @@ for file in $CHANGES; do
|
||||
continue
|
||||
fi
|
||||
|
||||
if ! [ -f ./$file ]; then
|
||||
if ! [ -f ./"$file" ]; then
|
||||
echo Skipping deleted file: $file
|
||||
continue
|
||||
fi
|
||||
@@ -43,34 +67,48 @@ for file in $CHANGES; do
|
||||
is_system=false
|
||||
|
||||
crate=$(basename $file .toml | cut -f1 -d-)
|
||||
echo Testing crate: $crate
|
||||
version=$(basename $file .toml | cut -f2- -d-)
|
||||
milestone="$crate=$version"
|
||||
echo Testing crate: $milestone
|
||||
# Remember that version can be "external", in which case we do not know the
|
||||
# actual version, and indeed the test will only work if the external is the
|
||||
# newest version. This probably merits a way of being tested properly, but
|
||||
# that will require changes in alr.
|
||||
|
||||
if [[ $version = external ]]; then
|
||||
echo Downgrading milestone to plain crate name
|
||||
milestone=$crate
|
||||
fi
|
||||
|
||||
# Show info for the record
|
||||
echo PLATFORM-INDEPENDENT CRATE INFO $crate
|
||||
alr show $crate
|
||||
alr show --external $crate
|
||||
alr show --external-detect $crate
|
||||
echo PLATFORM-INDEPENDENT CRATE INFO $milestone
|
||||
alr show $milestone
|
||||
alr show --external $milestone
|
||||
alr show --external-detect $milestone
|
||||
|
||||
echo PLATFORM-DEPENDENT CRATE INFO $crate
|
||||
alr show --system $crate
|
||||
alr show --external --system $crate
|
||||
alr show --external-detect --system $crate
|
||||
crateinfo=$(alr show --external-detect --system $crate)
|
||||
echo PLATFORM-DEPENDENT CRATE INFO $milestone
|
||||
alr show --system $milestone
|
||||
alr show --external --system $milestone
|
||||
alr show --external-detect --system $milestone
|
||||
crateinfo=$(alr show --external-detect --system $milestone)
|
||||
|
||||
echo CRATE DEPENDENCIES $crate
|
||||
alr show --solve --detail --external-detect $crate
|
||||
solution=$(alr show --solve --detail --external-detect $crate)
|
||||
echo CRATE DEPENDENCIES $milestone
|
||||
alr show --solve --detail --external-detect $milestone
|
||||
solution=$(alr show --solve --detail --external-detect $milestone)
|
||||
|
||||
# Check that no direct dependency is unknown
|
||||
check_dependencies_exist()
|
||||
|
||||
# Skip on explicit unavailability
|
||||
if alr show --system $crate | grep -q 'Available when: False'; then
|
||||
echo SKIPPING crate build: $crate UNAVAILABLE on system
|
||||
if alr show --system $milestone | grep -q 'Available when: False'; then
|
||||
echo SKIPPING crate build: $milestone UNAVAILABLE on system
|
||||
continue
|
||||
fi
|
||||
|
||||
# In unsupported platforms, externals are properly reported as missing. We
|
||||
# can skip testing of such a crate since it will likely fail.
|
||||
if grep -q 'Dependencies (external):' <<< $solution ; then
|
||||
echo SKIPPING build for crate $crate with MISSING external dependencies
|
||||
echo SKIPPING build for crate $milestone with MISSING external dependencies
|
||||
continue
|
||||
fi
|
||||
|
||||
@@ -84,13 +122,20 @@ for file in $CHANGES; do
|
||||
echo No need to update system repositories
|
||||
fi
|
||||
|
||||
# Detect whether the crate is binary to skip build
|
||||
is_binary=false
|
||||
if grep -iq 'binary archive' <<< $crateinfo; then
|
||||
echo Crate is BINARY
|
||||
is_binary=true
|
||||
fi
|
||||
|
||||
# Alternatives for when the crate itself comes from an external. Only system
|
||||
# externals should be tested.
|
||||
if grep -q 'Origin: external path' <<< $crateinfo ; then
|
||||
echo SKIPPING detected external crate $crate
|
||||
echo SKIPPING detected external crate $milestone
|
||||
continue
|
||||
elif grep -q 'Origin: system package' <<< $crateinfo ; then
|
||||
echo INSTALLING detected system crate $crate
|
||||
echo INSTALLING detected system crate $milestone
|
||||
is_system=true
|
||||
elif grep -q 'Not found:' <<< $crateinfo && \
|
||||
grep -q 'There are external definitions' <<< $crateinfo
|
||||
@@ -101,23 +146,34 @@ for file in $CHANGES; do
|
||||
|
||||
# Detect missing dependencies for clearer error
|
||||
if grep -q 'Dependencies cannot be met' <<< $solution ; then
|
||||
echo FAIL: crate $crate dependencies cannot be met
|
||||
echo FAIL: crate $milestone dependencies cannot be met
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Actual checks
|
||||
echo DEPLOYING CRATE $crate
|
||||
alr get -d --build -n $crate
|
||||
echo DEPLOYING CRATE $milestone
|
||||
if $is_binary; then
|
||||
echo SKIPPING BUILD for BINARY crate, FETCHING only
|
||||
build_flag=""
|
||||
else
|
||||
build_flag="--build"
|
||||
fi
|
||||
|
||||
alr get -d $build_flag -n $milestone
|
||||
|
||||
if $is_system; then
|
||||
echo DETECTING INSTALLED PACKAGE via crate $crate
|
||||
alr show -d --external-detect $crate
|
||||
echo DETECTING INSTALLED PACKAGE via crate $milestone
|
||||
alr show -d --external-detect $milestone
|
||||
elif $is_binary; then
|
||||
echo FETCHED BINARY crate OK
|
||||
else
|
||||
echo LISTING EXECUTABLES of crate $crate
|
||||
cd ${crate}_*
|
||||
cd ${crate}_${version}_*
|
||||
echo BUILD ENVIRONMENT
|
||||
alr printenv
|
||||
echo LISTING EXECUTABLES of crate $milestone
|
||||
alr run -d --list
|
||||
cd ..
|
||||
fi
|
||||
|
||||
echo CRATE $crate TEST ENDED SUCCESSFULLY
|
||||
echo CRATE $milestone TEST ENDED SUCCESSFULLY
|
||||
done
|
||||
|
||||
Reference in New Issue
Block a user