{
  "authors": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "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": {
      "light_tasking_rp2040": {
        "Board": "rpi_pico",
        "Max_CPUs": 2
      },
      "rp2040_hal": {
        "Interrupts": "bb_runtimes",
        "Use_Startup": false
      }
    }
  },
  "depends-on": [
    {
      "light_tasking_rp2040": "^15.2",
      "pico_bsp": "^2.2"
    }
  ],
  "description": "Chapter 2 - Button & LED",
  "executables": [
    "sketch_02_1_button_and_led",
    "sketch_02_2_table_lamp"
  ],
  "licenses": "GPL-3.0-or-later",
  "long-description": "Controlling an LED with a button on the\nRaspberry Pi Pico using Ada - two simple but useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off\ncontrol, then move to a toggle-style table lamp with software debounce.\n\n1. Sketch_02_1_Button_And_Led - Chapter 2.1 Switch LED with Button\n1. Sketch_02_2_Table_Lamp     - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 1 Reloaded: Dual-Core Light Tasking -\nBlinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led)\n",
  "maintainers": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "maintainers-logins": [
    "krischik"
  ],
  "name": "pico_ada_c02_button_and_led",
  "origin": {
    "hashes": [
      "sha256:5bf96e1e41324365b333b0f73ca049ede8b3be55335c172fc1001d404a8df447",
      "sha512:297154659361a5ff480dfccc618ac66fa21f32b3432ab82c1e76f686cebe2dd4fd65fb2bf6eb4cdef63281c0a09f8d90247e9acee8160c6cff9cd0308ea97321"
    ],
    "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.2.0.tgz"
  },
  "tags": [
    "raspberry",
    "pi",
    "pico",
    "rp2040",
    "tasking",
    "light-tasking",
    "ada2022"
  ],
  "version": "1.2.0",
  "website": "https://sourceforge.net/projects/pi-ada-tutorial/"
}