source

pico_ada_c01_blink

1.3.0

Chapter 1: Blinking LEDs

Website Community CIResults All crate versions Download JSON

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

Contained in Chapter 01 are:

  1. blink - Jeremy Grosser Ada sample
    • Chapter 1.1 Blink internal LED
    • Chapter 1.2 Blink external LED

Read the full tutorial at Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi Pico

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).

GNATdoc documentation: https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/

SourceForge repository: https://sourceforge.net/projects/pi-ada-tutorial/

Authors
Martin Krischik <krischik@users.sourceforge.net>
Maintainers
Martin Krischik <krischik@users.sourceforge.net>
Maintainer profiles
@krischik
Licenses
GPL-3.0-or-later
Website
https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.3.0.tgz
Tags
raspberry, pi, pico, rp2040, ada2022, embedded
Executables
blink, sketch_01_1_blink, sketch_01_2_blink
Manifest
index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.3.0.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": [
      "-gnat2022"
    ]
  },
  "development": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Overflow"
  },
  "release": {
    "compile_checks": "Warnings",
    "contracts": "No",
    "runtime_checks": "Default"
  },
  "validation": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Everything"
  }
}
Additional origin data
{
  "hashes": [
    "sha256:fc5c9e22af149da9ce381ae327efc4b40490dbc378e04f9bebdcd3a6f4cc58f1",
    "sha512:e493c90391f422a70cca7cd1236a3fa33a2366c76ce09d25479bbdc9dc4bfe6be20cae0d0e2d1f63997f3aa6456136fe26561ed23b8293bf11f52c5d4671bd4c"
  ]
}