Check that direct dependencies exist

This way, test actions will get executed when they are appropriate instead of a
plain build.

.github/workflows/build-crate.yml

@@ -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

.github/workflows/build-native.yml

@@ -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

index/ad/ada_toml/ada_toml-0.1.0.toml

@@ -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>"]

index/ad/ada_toml/ada_toml-0.2.0.toml

@@ -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>"]

index/ad/ada_toml/ada_toml-0.3.0.toml

@@ -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"]

index/ad/adabots/adabots-1.0.1.toml

@@ -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"
+

index/au/audio_base/audio_base-1.0.0.toml

@@ -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"

index/cl/clic/clic-0.1.0.toml

@@ -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"
+

index/cl/clic/clic-0.1.1.toml

@@ -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"

index/di/dir_iterators/dir_iterators-0.0.3.toml

@@ -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 = '''
+[![Build Status](https://github.com/pyjarrett/dir_iterators/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/dir_iterators/actions)
+[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/dir_iterators.json)](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"
+

index/em/emojis/emojis-1.0.0.toml

@@ -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"

index/ge/get_password/get_password-1.0.0-rc.toml

@@ -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"
+

index/gn/gnat/gnat-external.toml

@@ -1,10 +0,0 @@
-description = "GNAT is a compiler for the Ada programming language"
-name = "gnat"
-
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-[[external]]
-kind = "version-output"
-version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
-version-command = ["gnat", "--version"]

index/gn/gnat_arm_elf/gnat_arm_elf-10.3.1.toml

@@ -0,0 +1,27 @@
+name = "gnat_arm_elf"
+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"]
+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-1/gnat-arm-elf-linux64-10.3.0-1.tar.gz"
+hashes = ["sha256:8f71f65acc2eb45adc335318f7c9b33bfe77121fb17b404e252da969de6621a2"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-darwin-10.3.0-1.tar.gz"
+hashes = ["sha256:2e090fa57235829873f8b3154a80ed890dd11c3d7c7f9a6b1cbb9921cce674f2"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-windows64-10.3.0-1.tar.gz"
+hashes = ["sha256:7562c6f8beb9732fad32be692abf93e9aa54d39837f8232edeb593ba2cfc29fe"]

index/gn/gnat_arm_elf/gnat_arm_elf-11.2.1.toml

@@ -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"]

index/gn/gnat_external/gnat_external-external.toml

@@ -0,0 +1,17 @@
+description = "GNAT is a compiler for the Ada programming language"
+name = "gnat_external"
+
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+kind = "version-output"
+version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
+version-command = ["gnat", "--version"]
+provides = "gnat"
+
+# We do not want to have system external definitions because in typical systems
+# like Debian/Ubuntu only one version at a time can be installed. Hence using
+# different versions in different crates/configurations would imply messing the
+# users' system. Let them manually configure the compiler they want when they
+# do not want one of the pre-packaged Alire versions.

index/gn/gnat_native/gnat_native-10.3.1.toml

@@ -0,0 +1,28 @@
+name = "gnat_native"
+version = "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
+
+provides = ["gnat=10.3.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-10.3.0-1/gnat-x86_64-windows64-10.3.0-1.tar.gz"
+hashes = ["sha256:6d85b367c642195308440f5b8bdc10b529e2014d58c4ada06e9c8a1f86bf5342"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-darwin-10.3.0-1.tar.gz"
+hashes = ["sha256:20b3092f830adda081737e2d66322da8d4ad2bb9f5aa985bd18312d04fc61458"]
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-linux-10.3.0-1.tar.gz"
+hashes = ["sha256:8b7c5dcd858ba01bbb66053bcc2899a7015ef426b0f90d47b5b142b90886a6a2"]

index/gn/gnat_native/gnat_native-11.2.1.toml

@@ -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"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-10.3.1.toml

@@ -0,0 +1,27 @@
+name = "gnat_riscv64_elf"
+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"]
+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-1/gnat-riscv64-elf-linux64-10.3.0-1.tar.gz"
+hashes = ["sha256:209ee8df59c3f84412f9cb5121a2df4db45daedce47fbd19f7318461b1a4c00a"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-darwin-10.3.0-1.tar.gz"
+hashes = ["sha256:a64d12884ab5a6892e0263ed136dd73f1917fc21a80c127b9495059dd3c1c70d"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-windows64-10.3.0-1.tar.gz"
+hashes = ["sha256:f20c48b6097529361ab540fa17728292dc304749745e0222e6f17eb710337a22"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.1.toml

@@ -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"]

index/gn/gnatcov/gnatcov-21.0.1.toml

@@ -0,0 +1,23 @@
+name = "gnatcov"
+version = "21.0.1"
+
+description = "The GNAT Ada compiler - ARM cross-compiler"
+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/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
+hashes = ["sha256:a1f859a747df7d6451776c9d32a51ba9e47f7fabeeb9749511cdd69fbe28ebef"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-darwin-21.0-1.tar.gz"
+hashes = ["sha256:9aadf309133481d72bba5512b63b16d360a04ae960c2047484b71d47c39e3d2a"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-windows64-21.0-1.tar.gz"
+hashes = ["sha256:8b38e414fde33549c177fe7e263e3a8a7276c4721a9138597a5d341296d41768"]

index/gp/gprbuild/gprbuild-21.0.1.toml

@@ -0,0 +1,22 @@
+name = "gprbuild"
+version = "21.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"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-linux-21.0.0-1.tar.gz"
+hashes = ["sha256:349f6f95165901e9f5099e2046e62fdb2290745a6f984e15e1759f456362d646"]
+
+[origin."case(os)".macos."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-darwin-21.0.0-1.tar.gz"
+hashes = ["sha256:0193f1acb608045539f5568e22395007892cb2a44c89fb9eb170293621c66309"]
+
+[origin."case(os)".windows."case(word-size)".bits-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-windows64-21.0.0-1.tar.gz"
+hashes = ["sha256:c75588476b295107dddcd302b44e9eef86feebcb0c5168518335da6122264c8f"]

index/gp/gprbuild/gprbuild-external.toml

@@ -0,0 +1,14 @@
+description = "The GPRBuild Ada/multilanguage build tool"
+name = "gprbuild"
+
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+kind = "version-output"
+version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*"
+version-command = ["gprbuild", "--version"]
+
+[[external]]
+kind = "system"
+origin = ["gprbuild"]

index/index.toml

@@ -1 +1 @@
-version = "1.0"
+version = "1.1"

index/li/libgpr/libgpr-21.0.0.toml

@@ -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]

index/mc/mcp2221/mcp2221-1.19928.2.toml

@@ -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"
+

index/mc/mcp2221/mcp2221-1.19937.1.toml

@@ -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"
+

index/mi/microbit_bsp/microbit_bsp-0.1.0.toml

@@ -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]]

index/mi/microbit_bsp/microbit_bsp-0.2.0.toml

@@ -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]]

index/pi/pico_bsp/pico_bsp-0.6.0.toml

@@ -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"
+

index/pi/pico_examples/pico_examples-0.6.0.toml

@@ -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"
+

index/ra/raspberry_bsp/raspberry_bsp-1.0.0.toml

@@ -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

index/re/remoteio/remoteio-1.19928.2.toml

@@ -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"
+

index/re/remoteio/remoteio-1.19937.1.toml

@@ -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"
+

index/rp/rp2040_hal/rp2040_hal-0.6.0.toml

@@ -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"
+

index/vs/vss/vss-22.0.0-20210830.toml

@@ -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)"

index/we/weechat_ada/weechat_ada-3.0.0.toml

@@ -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"

scripts/gh-build-crate.sh

@@ -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