diff --git a/index/ad/adacl_embedded/adacl_embedded-7.1.1.toml b/index/ad/adacl_embedded/adacl_embedded-7.1.1.toml new file mode 100644 index 00000000..a1bb92a0 --- /dev/null +++ b/index/ad/adacl_embedded/adacl_embedded-7.1.1.toml @@ -0,0 +1,77 @@ +name = "adacl_embedded" +description = "Ada Embedded Library" +long-description = """ + +## AdaCL Embedded - Lightweight Embedded Ada Library + +AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms. + +It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded +strings, and wide strings are avoided or kept to an absolute minimum. + +### Current Features + +* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer. + +### Configuration Options + +* `Variant` + * `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes. + * `tasking` - for runtimes with tasking support. +* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024) +* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled)) + +A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages, +etc.pp). + +Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the +buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with +the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code +completely. + +Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/) +Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html) +""" +version = "7.1.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://sourceforge.net/projects/adacl/" +tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"] + +[build-switches] +"*".ada_version = "Ada2022" +"*".source_encoding = "UTF_8" +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.debug_info = "Yes" +development.optimization = "Debug" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.debug_info = "No" +release.optimization = "Performance" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.debug_info = "Yes" +validation.optimization = "Debug" +validation.runtime_checks = "Everything" + +[configuration.variables] +Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" } +Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 } +Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 } + +# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:4feddadbc5e900b65ccfa3bed4a4becb9afb9cc89ac3d865e0ea0ecf9477eee6", +"sha512:e611feee8b969e7bf3ca61033a70660ae389f06264ed94027d5d12a55ded8f2e9f44088155740182e627431f12b66753745faba18016f431490ce64f6868e43b", +] +url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.1.tgz" + diff --git a/index/pi/pico_xbsp/pico_xbsp-1.8.0.toml b/index/pi/pico_xbsp/pico_xbsp-1.8.0.toml new file mode 100644 index 00000000..b21e70c5 --- /dev/null +++ b/index/pi/pico_xbsp/pico_xbsp-1.8.0.toml @@ -0,0 +1,87 @@ +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 builds upon Jeremy Grosser's official pico_bsp and adds a growing set of clean, reusable components for Ada +developers targeting the RP2040. It is developed alongside the [Pi Ada +Tutorial](https://pi-ada-tutorial.sourceforge.io/) but is equally suitable for any standalone embedded Ada project. + +Current components: +* Pico.Analog - Analogue GPIO using PWM +* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM +* Pico.Debug_IO - Multi output interface for debug output +* Pico.Tone - Square-wave tone generation using PWM +* Pico.UART_IO - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1) +* Pico.USB_IO - Simple USB text I/O for direct connection to a PC terminal +* Pico.Utils - Miscellaneous utilities + +The crate is available in two variants: +* `no_tasking` (default) - small, fast, and compatible with the light runtime +* `tasking` - thread-safe using protected objects (requires a tasking runtime) + +* Event_Log_Output + * "none" - deactivate output entirely. + * "swd" - use Ada.Text_IO which uses semihosting to output to GDB. Don't forget to activate with + `arm semihosting enable`. + * "usb" - use `Pico.USB_IO` which in turn uses `USB.Device.Serial` for output. You will need a serial terminal + to read the output. + * "uart" - use `Pico.UART_IO` which in turn uses `RP.UART` for output. You will need a Debug Probe or a RS232C to + USB interface as well as a serial terminal to read the output. + +* USB_TX_Buffer_Size & USB_RX_Buffer_Size + Read and write buffers can be configured separately for greater flexibility. + The default value of 128 bytes equals two USB block sizes and enables reliable bulk transfers. + The minimum supported size is 64 bytes (one USB block). Larger multi-block transfers may fail if the buffer + is set too small. + +All packages include full GNATdoc annotations. + +Useful links: +* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc) +* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/) +* [Tutorial homepage](https://pi-ada-tutorial.sourceforge.io/) + +The library will continue to grow with each new tutorial chapter while remaining a clean, independent crate. +""" +version = "1.8.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]] +adacl_embedded = "^7.1.2" +pico_bsp = "^2.2" +usb_embedded = "^1.0.0" + +[configuration.variables] +Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking"} +Event_Log_Output = {type = "Enum", values = ["none", "swd", "usb", "uart"], default = "none"} +USB_TX_Buffer_Size = {type = "Integer", first = 64, last = 1024 , default = 128} +USB_RX_Buffer_Size = {type = "Integer", first = 64, last = 1024 , default = 128} + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:bde7b8601f37d7002f7929fd003682941aa42c582e8cf268ba9139500d440c19", +"sha512:5807b90337e323729bc985ace234dfe51d2af190631c9829e0d7d3255c395d4dc7150b466caf9e8b845d098dd03bea2c3b90c9cea4dfe020da670ee84cc14c2c", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.8.0.tgz" +