pico_ada_c01_blink 1.1.0 (via alr publish) (#1828)

2026-03-19 16:07:44 +01:00
parent f21c4462de
commit a7bfb5606d
1 changed files with 61 additions and 0 deletions
@@ -0,0 +1,61 @@
+name                        = "pico_ada_c01_blink"
+description                 = "Chapter 1: Blinking LEDs"
+long-description            = """Getting Started with Ada on the Raspberry Pi Pico
+This create implement the samples of Chapter 1 of the
+[Freenove Kit for Raspberry Pi Pico C Tutorial](https://docs.freenove.com/projects/fnk0058/en/latest/fnk0058/codes/C.html)
+
+Contained in Chapter 01 are:
+
+1. blink - Jeremy Grosser Ada sample 
+2. - Chapter 1.1 Blink internal LED
+3. - Chapter 1.2 Blink external LED
+
+Read the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada
+on the Raspberry Pi
+Pico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink)
+
+> Starting simple with LED blinking in Ada - internal LED, external LED with
+> proper renaming, and a look at why Ravenscar looks so clean (even if it's not
+> quite ready for everyday use yet).
+"""
+
+version                     = "1.1.0"
+licenses                    = "GPL-3.0-or-later"
+authors                     = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers                 = ["Martin Krischik <krischik@users.sourceforge.net>"]
+maintainers-logins          = ["krischik"]
+website                     = "https://sourceforge.net/projects/pi-ada-tutorial/"
+tags                        = ["raspberry", "pi", "pico", "rp2040", "ada2022"]
+executables                 = [
+    "blink",
+    "sketch_01_1_blink",
+    "sketch_01_2_blink"
+]
+
+[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"
+
+# vim: set textwidth=72 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]
+archive-name = "pico_ada_c01_blink-1.1.0.tgz"
+hashes = [
+"sha256:8d7cbb413e05d5d8f049fca814cf8429a91afca708434fa6c506fc2ab5d7febc",
+"sha512:e336c569d55b4167147211c20384c4b3e24fa3b08e9815370a2cd9c254e005791de74760f51af2add10614638fbc31ef03b072f6a415286899fabeb4afef72b4",
+]
+url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.1.0.tgz/download"
+