source

pico_ada_c05_rgb

1.5.0

Chapter 4: RGBLED

Website Community CIResults All crate versions Download JSON

1.5.0

Contained in Chapter 05 are:

  1. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light
  2. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light

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

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_c05_rgb
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.0.tgz
Tags
raspberry, pi, pico, rp2040, tasking, light-tasking, ada2022, embedded
Executables
sketch_05_1_random_color_light, sketch_05_2_gradient_color_light
Manifest
index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml
Build and platform metadata 3 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"
  }
}
Configuration
{
  "values": {
    "embedded_rp2040": {
      "Board": "rpi_pico",
      "Max_CPUs": 2
    },
    "rp2040_hal": {
      "Interrupts": "bb_runtimes",
      "Use_Startup": false
    }
  }
}
Additional origin data
{
  "hashes": [
    "sha256:b74ee8652d51ef76005baacc490ff882b897a032b6ddf5c57554dff680679555",
    "sha512:efe04e13f616f34eb075e2a5ee958b87fb3b7e8b796651818ec2e76c55e5792dd67635821eb0cf75551b6484b2103df1768fa93abbd0cc60604b8be85ced027f"
  ]
}