From 484eff6048d404e4b02fff63178831dcd9c6a998 Mon Sep 17 00:00:00 2001 From: Martin Krischik Date: Tue, 14 Apr 2026 15:35:30 +0200 Subject: [PATCH] pico_xbsp 1.4.0 (via `alr publish`) (#1867) --- index/pi/pico_xbsp/pico_xbsp-1.4.0.toml | 66 +++++++++++++++++++++++++ 1 file changed, 66 insertions(+) create mode 100644 index/pi/pico_xbsp/pico_xbsp-1.4.0.toml diff --git a/index/pi/pico_xbsp/pico_xbsp-1.4.0.toml b/index/pi/pico_xbsp/pico_xbsp-1.4.0.toml new file mode 100644 index 00000000..9f092640 --- /dev/null +++ b/index/pi/pico_xbsp/pico_xbsp-1.4.0.toml @@ -0,0 +1,66 @@ +name = "pico_xbsp" +description = "Extended board support package for Raspberry Pi Pico" +long-description = """Extended board support package (XBSP) for the Raspberry Pi Pico. + +This crate extends the official pico_bsp from Jeremy Grosser with additional, +reusable components. It is designed for general use in any Ada project targeting +the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial. + +It is developed in parallel with the Pi Ada Tutorial[](https://pi-ada-tutorial.sourceforge.io/) +and therefore also supplies the exact support packages used in the tutorial +chapters. This dual role makes pico_xbsp equally suitable for: + +* Standalone embedded Ada projects that only need the extra functionality, and +* Readers following the tutorial who want ready-made, well-documented building + blocks. + +Current content: + +1. Pico.Analog - Simplified analogue GPIO using Pulse Width Modulation (PWM). +2. Pico.UART_IO - Simplified UART Text Output (Input comes later). + +All packages are supplied with complete GNATDOC annotations. + +GNATdoc documentation: +https://pi-ada-tutorial.sourceforge.io/gnatdoc/ + +SourceForge repository: +https://sourceforge.net/projects/pi-ada-tutorial/ + +The crate will grow with each new tutorial chapter while remaining a clean, +independent library. +""" +version = "1.4.0" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +pico_bsp = "^2.2" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:0ec66a3f9a53fa481faf62d2da18c5fdf4beb14badadd8340edc076f4b620cfd", +"sha512:10de48f5c332fdca43d1235d65548ec43dfa9be757e43501545f6f0f2c0babef7d3679792f0b0ca1f09eedf6013712ca4891fb307c5d80991400aa4265ce155b", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.4.0.tgz" +