Update diff-release.yml

2022-05-03 15:27:24 +02:00
37 changed files with 12 additions and 821 deletions
@@ -12,7 +12,7 @@ jobs:

    - name: Set up stable `alr`
      if: contains(github.base_ref, 'stable-')
-      uses: alire-project/setup-alire@v1
+      uses: alire-project/setup-alire@latest-stable

    - name: Set up GNAT for devel `alr`
      if: contains(github.base_ref, 'devel-')
@@ -22,9 +22,7 @@ jobs:

    - name: Set up devel `alr`
      if: contains(github.base_ref, 'devel-')
-      uses: alire-project/setup-alire@v1
-      with:
-        branch: master
+      uses: alire-project/setup-alire@latest-devel

    - run: alr index --list

@@ -1,7 +0,0 @@
-# Changes to the index format that require versioning
-
-## 1.2
-
- Build profiles and switches.
- New `subdir` property in git remotes.
- New `host-arch` key for case expressions.
@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.5"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "521a8669cf8dbd0eeb71d22d2634421265d52f62"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,27 +0,0 @@
-name = "aaa"
-version = "0.2.6"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = "LGPL-3.0-only"
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "dfd6339b556c5537dbbb34ed2c72cc3f5c277a58"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,15 +0,0 @@
-name = "ansiada"
-description = "ANSI escape sequences"
-version = "1.0.0"
-
-licenses = "MIT"
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-tags = ["ansi", "terminal"]
-
-[origin]
-commit = "dc770a5a6cdaad8668c32b0cd4625a7d648f8ca2"
-url = "git+https://github.com/mosteo/ansi-ada.git"
-
@@ -1,28 +0,0 @@
-name = "clic"
-description = "Command Line Interface Components"
-version = "0.2.1"
-
-authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
-maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["mosteo", "Fabien-Chouteau"]
-licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
-tags = ["cli", "command-line", "user-input", "tty"]
-website = "https://github.com/alire-project/clic"
-long-description = """
-Command Line Interface Components:
- - "git like" subcommand handling
- - TTY color and formatting
- - User input queries
- - User configuration
-"""
-
-[[depends-on]]
-aaa = "~0.2.4"
-simple_logging = "^1.2.0"
-ansiada = "^1.0"
-ada_toml = "~0.2|~0.3"
-
-[origin]
-commit = "c7aabf94e0946ae3a5b77c29cc45fd28f70e17f6"
-url = "git+https://github.com/alire-project/clic.git"
-
@@ -1,34 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.4.0"
-licenses = "BSD-3-Clause"
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["embedded", "arm", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-gnat_arm_elf = ">=11"
-
-[configuration.variables]
-core = { type = "Enum", values = ["m0", "m0p", "m4", "m4f", "m7f", "m7df"] }
-
-[origin]
-commit = "7cfb8c9b2f03a5f461c113b6acf3b6245c627cc7"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-
@@ -1,20 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.0.1"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-[[depends-on]]  # Added by alr
-gnat_arm_elf = "^11.2.3"  # Added by alr
-
-[origin]
-commit = "b5f8a79cedb8588e1a6882b48ecc79c9a2a49d4c"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-
@@ -1,18 +0,0 @@
-name = "eeprom_i2c"
-description = "EEPROM I2C drivers library for embedded platforms"
-version = "3.2.0"
-licenses = "BSD-3-Clause"
-
-authors = ["Holger Rodriguez"]
-maintainers = ["Holger Rodriguez <github@roseng.ch>"]
-maintainers-logins = ["hgrodriguez"]
-tags = ["embedded", "nostd", "eeprom", "rp2040", "i2c"]
-website = "https://github.com/hgrodriguez/eeprom_i2c"
-
-[[depends-on]]  # Added by alr
-hal = "~0.1.0"  # Added by alr
-
-[origin]
-commit = "c6d81ebc6b10a9d163d4735841cb694c4cd175e2"
-url = "git+https://github.com/hgrodriguez/eeprom_i2c.git"
-
@@ -1,27 +0,0 @@
-name = "getopt"
-description = "POSIX getopt(3) for Ada"
-version = "1.2.2"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/getopt-ada"
-tags = ["arguments", "options", "flags", "getopt"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:b5ade9bcda49c1dc74554137fe961e4d4c072d29fcf99a7219ccb4c2827ae84e",
-"sha512:4556349572048135747631aa1c89d657282e745ccde9f7126dfb29e4648d301b778c583f83703ad72e73ca74741e2484b1dcd341d3f4c1ed589a59b71a5ccfdd",
-]
-url = "https://git.sr.ht/~nytpu/getopt-ada/archive/v1.2.2.tar.gz"
-
@@ -1,40 +0,0 @@
-description = "An Ada graphical toolkit based on Gtk+"
-website = "https://github.com/adacore/gtkada"
-name = "gtkada"
-version = "23.0.0-20220512"
-authors = ["AdaCore"]
-licenses = "GPL-3.0-only WITH GCC-exception-3.1"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["install_dir/lib/gnat/gtkada.gpr"]
-tags = ["gtk", "gui"]
-
-[[actions]]
-type = "post-fetch"
-command = ["bash", "configure", "--with-GL=no"]
-
-# Since the GTKAda project doesn't build alone with just gprbuild we build and
-# install with the Makefile from post-fetch action.
-[[actions]]
-type = "post-fetch"
-command = ["make", "all", "install", "prefix=install_dir"]
-
-[[depends-on]]
-make = "*"
-pkg_config = "*"
-libgtk3 = "^3"
-
-[depends-on.'case(os)'.windows]
-winpthreads = "*"
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
-
-[environment.'case(distribution)']
-msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
-msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
-
-[origin]
-url="git+https://github.com/AdaCore/gtkada.git"
-commit = "I2d6c321ea97591d31f425bd148f2ed33b84a89a8"
-
@@ -1 +1 @@
-version = "1.2"
+version = "1.1"
@@ -1,21 +0,0 @@
-name = "j2ada"
-description = "Almost Java to Ada translator"
-version = "1.4.2"
-tags = ["java", "translator"]
-
-authors = ["Pascal Pignard"]
-maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
-maintainers-logins = ["Blady-Com"]
-website = "https://github.com/Blady-Com/j2ada"
-
-licenses = "CECILL-2.1"
-
-executables = ["j2ada"]
-
-[gpr-set-externals.'case(os)']
-macos   = { J2ADA_LINKER_FLAGS = "-Wl,-no_pie" } # needed for symbolic exception traceback 
-
-[origin]
-commit = "79a4663450089d4dc2acdbb4c656624b6f43269a"
-url = "git+https://github.com/Blady-Com/j2ada.git"
-
@@ -1,22 +0,0 @@
-name = "json"
-description = "An Ada 2012 library for parsing JSON"
-version = "5.0.2"
-website = "https://github.com/onox/json-ada"
-licenses = "Apache-2.0"
-tags = ["json"]
-
-executables = ["pretty_print"]
-
-project-files = ["json.gpr", "json_pretty_print.gpr"]
-
-authors = ["onox"]
-maintainers = ["onox <denkpadje@gmail.com>"]
-maintainers-logins = ["onox"]
-
-[configuration]
-disabled = true
-
-[origin]
-url = "git+https://github.com/onox/json-ada.git"
-commit = "d429d7af880ab9ed38d58ac08c1c9a16e7697752"
-subdir = "json"
@@ -1,14 +0,0 @@
-description = "Basic Linear Algebra Subprograms"
-name = "libblas"
-licenses = "custom-blas-2017"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["libblas-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -1,31 +0,0 @@
-name = "libkeccak"
-description = "SHA-3 and related algorithms"
-version = "3.0.0"
-licenses = "BSD-3-Clause"
-website = "https://github.com/damaki/libkeccak"
-tags = [
-    "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli",
-    "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash",
-    "kangarootwelve"
-]
-
-authors = ["Daniel King"]
-maintainers = ["Daniel King <damaki.gh@gmail.com>"]
-maintainers-logins = ["damaki"]
-
-[[depends-on]]
-gnat = ">=11.0.0"
-
-[gpr-externals]
-LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
-LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"]
-LIBKECCAK_CONTRACTS = ["enabled", "disabled"]
-LIBKECCAK_BUILD_MODE = ["debug", "optimize"]
-LIBKECCAK_ARCH = ["generic", "x86_64"]
-LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"]
-[origin]
-commit = "f33be1c8120196d90f600b14d669b11d16149bf9"
-url = "git+https://github.com/damaki/libkeccak.git"
-
@@ -1,14 +0,0 @@
-description = "Linear Algebra Package"
-name = "liblapack"
-licenses = "BSD-3-Clause"
-
-authors = ["Simon Wright"]
-maintainers = ["Simon Wright <simon@pushface.org>"]
-maintainers-logins = ["simonjwright"]
-
-[[external]]
-kind="system"
-[external.origin."case(distribution)"]
-"macos" = []
-"debian|ubuntu" = ["liblapack-dev"]
-"msys2" = ["mingw-w64-x86_64-lapack"]
@@ -1,15 +0,0 @@
-name = "libtls"
-description = "A new TLS library"
-website = "https://man.openbsd.org/tls_init.3"
-tags = ["tls", "ssl"]
-licenses = "ISC"
-
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libtls-dev"]
-"arch|centos|fedora" = ["libretls"]
-msys2 = ["mingw-w64-libressl"]
@@ -1,35 +0,0 @@
-name = "linenoise_ada"
-description = "Bindings to the Linenoise line editing library"
-version = "1.1.1"
-licenses = "BSD-2-Clause"
-
-project-files = ["linenoise.gpr"]
-
-website = "https://git.sr.ht/~nytpu/linenoise-ada"
-tags = ["linenoise", "readline", "line-editing"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[available.'case(os)']
-linux   = true
-macos   = true
-windows = false
-'...'   = false
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:09aa2452b34c2714858e06cceeae52f366a79f452fec667d5a78d3252a31b40f",
-"sha512:c098d1281992702d8fd889e73d19feeaa10770f00bdb40ad0cb1627cd6cb48bf8272e8cfe8fc5fb4a0fa64125f9b4d4a04e43012a06ba9dda1ff21695b11cf04",
-]
-url = "https://git.sr.ht/~nytpu/linenoise-ada/archive/v1.1.1.tar.gz"
-
@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.1.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-
-[origin]
-commit = "14c7842aa16ad970ca0eb53f6cbf31cc2b648a72"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
-
@@ -1,18 +0,0 @@
-name = "midi"
-description = "Library to encode and decode MIDI messages"
-version = "0.2.0"
-licenses = "MIT"
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/MIDI"
-tags = ["midi", "embedded", "nostd"]
-
-[[depends-on]]
-hal = "~0.3.0"
-bbqueue = "~0.3.0"
-gnat = ">=11"
-
-[origin]
-commit = "6a6306df92ca026119ef193d8837ba9ef9eebfd1"
-url = "git+https://github.com/Fabien-Chouteau/MIDI.git"
@@ -1,20 +0,0 @@
-name = "minirest"
-description = "Minimalist Ada REST client library"
-version = "0.2"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-tags = ["rest"]
-website = "https://github.com/mosteo/minirest"
-
-[[depends-on]]
-aaa = "~0.2.1|~0.3"
-curl = "*"
-
-[origin]
-commit = "a50d0f7cc1c546b9dd61bc3dd3004e4b953fb9f2"
-url = "git+https://github.com/mosteo/minirest.git"
-
@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.5.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://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.5"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "22a7257552168a489f514bc4da65cbc641985b60"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-
@@ -1,22 +0,0 @@
-name = "pico_bsp"
-description = "Board support package for Raspberry Pi Pico"
-version = "1.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://pico-doc.synack.me/"
-
-[[depends-on]]
-hal = "~0.1"
-rp2040_hal = "^1.6"
-
-[configuration.values]
-rp2040_hal.Flash_Chip = "w25qxx"
-
-[origin]
-commit = "5796813759fdbb37a65f704eea08bdb414296dcc"
-url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
-
@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.5.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = "BSD-3-Clause"
-tags = ["embedded", "nostd", "pico", "rp2040"]
-website = "https://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.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_assemble/pio_assemble.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",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.5"
-chests = "~0.1.1"
-
-[origin]
-commit = "2494b8fd8e66fc5805f85a2d4c391fa926786e20"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-
@@ -1,39 +0,0 @@
-name = "pico_examples"
-description = "Examples for Ada on the Raspberry Pi Pico"
-version = "1.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://pico-doc.synack.me/"
-auto-gpr-with=false
-project-files = [
-    "adc_continuous/adc_continuous.gpr",
-    "adc_hello/adc_hello.gpr",
-    "blink/blink.gpr",
-    "gpio_interrupts/gpio_interrupts.gpr",
-    "multicore/multicore.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_assemble/pio_assemble.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",
-    "uart_interrupt/uart_interrupt.gpr",
-    "usb_echo/usb_echo.gpr",
-    "ws2812_demo/ws2812_demo.gpr"]
-
-[[depends-on]]
-pico_bsp = "^1.6"
-chests = "~0.1.1"
-
-[origin]
-commit = "0e814acca3e5d8b0890e7086a95f3bef24531267"
-url = "git+https://github.com/JeremyGrosser/pico_examples.git"
-
@@ -1,24 +0,0 @@
-name = "rejuvenation"
-description = "Analysis and manipulation of Ada code based on concrete patterns"
-version = "22.0.1"
-licenses = "BSD-3-Clause"
-website = "https://github.com/TNO/Rejuvenation-Ada"
-tags = ["analysis", "manipulation", "transformation"]
-
-authors = ["Pierre van de Laar", "Arjan J. Mooij"]
-maintainers = ["Pierre van de Laar <pierre.van.de.laar@gmail.com>"]
-maintainers-logins = ["pjljvandelaar"]
-
-[[depends-on]]
-libadalang = "^22.0.0"          #  remove this dependency when libadalang is 
-                                #  already installed on your system
-                                #  and accessible via your GPR_PROJECT_PATH
-
-# libadalang_tools = "^22.0.0"    #  needs gnatpp from libadalang_tools installed on PATH
-                                  #  Alire is not yet capable to add gnatpp to PATH.
-                                  #  see https://github.com/AdaCore/libadalang-tools/issues/21
-
-[origin]
-commit = "a6990d10a3b81067d7b8dc0407361a38a9b2c3dc"
-url = "git+https://github.com/TNO/Rejuvenation-Ada.git"
-
@@ -1,15 +0,0 @@
-name = "resources"
-description = "Utility library to handle project resources at run-time"
-version = "0.1.0"
-
-licenses = "MIT"
-website = "https://github.com/alire-project/resources"
-tags = ["utils"]
-
-authors = ["Alire Team"]
-maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
-maintainers-logins = ["Fabien-Chouteau", "mosteo"]
-
-[origin]
-commit = "a418da627ec3d18f50f60edaee41a2f47f173a0e"
-url = "git+https://github.com/alire-project/resources.git"
@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.5.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://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "fee519d49256de7ffb4ffa7820bd70b809f3a7d4"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-
@@ -1,28 +0,0 @@
-name = "rp2040_hal"
-description = "Drivers and HAL for the RP2040 micro-controller family"
-version = "1.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://pico-doc.synack.me/"
-
-[[depends-on]]
-cortex_m = "~0.3"
-hal = "~0.1"
-usb_embedded = "~0.2"
-gnat_arm_elf = "^11.2"
-
-[configuration.variables]
-Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
-Use_Startup = {type = "Boolean", default = true}
-
-[configuration.values]
-atomic.Backend = "armv6m"
-
-[origin]
-commit = "548c38843e13d5bbd2ea8854b9a333f29edf4d47"
-url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
-
@@ -1,15 +0,0 @@
-name = "stopwatch"
-description = "Keep track of elapsed time"
-version = "0.1.0"
-tags = ["timer", "stopwatch", "chronometer"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-licenses = "MIT"
-
-[origin]
-commit = "624a7c877a01fa0f9c38fa01af8cafe9a220e76b"
-url = "git+https://github.com/mosteo/stopwatch.git"
-
@@ -1,30 +0,0 @@
-name = "tlsada"
-description = "Bindings for libtls"
-version = "2.4.1"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/tlsada"
-tags = ["tls", "ssl"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[[depends-on]]
-libtls = "^3.5"
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:fff6f7613b46d8c2c5d030b2b1f34b3d3245cacf8c36d640057b4e168d85f2bc",
-"sha512:db65fa3e63053548dd8ebf50e06634ac6bfc9e1b9fef79d968954b6039566366615fe42a21aa6cd2272027208cff910181a0eabae84bcc938d704c7f5fe34967",
-]
-url = "https://git.sr.ht/~nytpu/tlsada/archive/v2.4.1.tar.gz"
-
@@ -1,18 +0,0 @@
-name = "toml_slicer"
-description = "Edit TOML files directly without parsing"
-version = "0.1.1"
-licenses = "MIT"
-tags = ["toml"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-website = "https://github.com/mosteo/toml_slicer"
-
-[[depends-on]]
-aaa = "~0.2.4|~0.3"
-
-[origin]
-commit = "65fb5313c45642dc232f69f729a8a207de4faae9"
-url = "git+https://github.com/mosteo/toml_slicer.git"
-
@@ -1,15 +0,0 @@
-name = "uri_ada"
-description = "Processing of URI strings"
-version = "2.0"
-licenses = "MIT"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-
-tags = ["uri", "url", "utility"]
-
-[origin]
-commit = "02a0780d7757e9e79b3410c3a34960655cacea3d"
-url = "git+https://github.com/mosteo/uri-ada.git"
-
@@ -1,27 +0,0 @@
-name = "uri_mime"
-description = "URI & MIME Type Parsing and Manupulation"
-version = "1.3.1"
-licenses = "MPL-2.0"
-
-website = "https://git.sr.ht/~nytpu/uri-mime-ada"
-tags = ["uri", "url", "mime", "media-type"]
-
-authors = ["nytpu"]
-maintainers = ["nytpu <alex@nytpu.com>"]
-maintainers-logins = ["nytpu"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["dynamic", "relocatable", "static", "static-pic"]
-COMPILE_CHECKS = ["enabled", "disabled"]
-RUNTIME_CHECKS = ["enabled", "disabled"]
-STYLE_CHECKS = ["enabled", "disabled"]
-CONTRACTS = ["enabled", "disabled"]
-BUILD_MODE = ["debug", "optimize"]
-
-[origin]
-hashes = [
-"sha256:166cc99fc5f5a137dfda5a407d31d7f4df1f3a049739fea9da7335941e208071",
-"sha512:cd600f0f7725bea9c8927f981c593ef879ca3a84008f1f1b50d2a79fc41d17f77cc0d50d93632a64a615a4ccedcdc13b863e0c877c3cbfb14ed1f5d122f27539",
-]
-url = "https://git.sr.ht/~nytpu/uri-mime-ada/archive/v1.3.1.tar.gz"
-
@@ -1,25 +0,0 @@
-name = "usb_embedded"
-description = "An Ada USB stack for embedded devices"
-version = "0.3.0"
-
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/usb_embedded"
-licenses = "BSD-3-Clause"
-tags = ["embedded", "usb", "hid", "midi", "nostd"]
-
-[[depends-on]]
-hal = "~0.3"
-bbqueue = "~0.3.0"
-
-[configuration.variables]
-Control_Buffer_Size = {type = "Integer", first = 256, default = 256 }
-String_Buffer_Size = {type = "Integer", first = 0, default = 256 }
-Max_Strings = {type = "Integer", first = 0, default = 10 }
-Event_Log_Buffer_Size = {type = "Integer", first = 0, default = 0 }
-
-[origin]
-commit = "ed111b350df2a61893f6d3deaac53bfa14f47f01"
-url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
-
@@ -6,8 +6,8 @@ trap 'echo "Interrupted" >&2 ; exit 1' INT
 set -o errexit
 set -o nounset

-# Ensure all alr runs are non-interactive and able to output unexpected errors
-alias alr="alr -d -n"
+# Ensure all alr runs are non-interactive
+alias alr="alr -n"

 # See whats happening
 git log --graph --decorate --pretty=oneline --abbrev-commit --all | head -30
@@ -126,7 +126,7 @@ for file in $CHANGES; do

   # Install an Alire-provided gprbuild whenever there is a non-external gnat in solution
   if grep -iq 'gnat_' <<< $solution && ! grep -iq 'gnat_external' <<< $solution; then
-      gnat_dep=$(grep -E -o '^   gnat_[a-z0-9_]*=\S*' <<< $solution | tail -1 | xargs)
+      gnat_dep=$(grep -E -o '^   gnat_.*=\S*' <<< $solution | xargs)
      gnat_dep=${gnat_dep:-gnat_native}
      echo "INSTALLING indexed gprbuild compatible with $gnat_dep"
      alr toolchain --select $gnat_dep gprbuild
@@ -171,31 +171,22 @@ for file in $CHANGES; do
      echo SKIPPING BUILD for SYSTEM crate, FETCHING only
   fi

-   alr -q get $milestone
+   alr -d -q get $milestone

   if $is_system; then
      echo DETECTING INSTALLED PACKAGE via crate $milestone
-      alr show --external-detect $milestone
+      alr -d show --external-detect $milestone
   elif $is_binary; then
      echo FETCHED BINARY crate OK
   else
-      echo FETCHED SOURCE crate OK, deployed at $(alr get --dirname $milestone)
-
-      # Enter the deployment dir
-      cd $(alr get --dirname $milestone)
-
+      echo FETCHED SOURCE crate OK
+      cd ${crate}_${version_noextras}_*
      echo BUILD ENVIRONMENT
      alr printenv
-
      echo BUILDING CRATE
-      alr build --release
-      # As normally dependencies/executables are built in release mode, we also
-      # check any submissions in this mode. Should we go overboard and check the
-      # three profile modes?
-
+      alr -d build
      echo LISTING EXECUTABLES of crate $milestone
-      alr run --list
-
+      alr -d run --list
      cd ..
   fi