{
  "authors": [
    "AdaCore"
  ],
  "configuration": {
    "generate_c": false,
    "generate_gpr": false,
    "variables": {
      "LCH_Print_Info": {
        "default": false,
        "type": "Boolean"
      },
      "LCH_Reset": {
        "default": false,
        "type": "Boolean"
      }
    }
  },
  "depends-on": [
    {
      "gnat": "^14"
    }
  ],
  "description": "Minimal Ada/SPARK run-time for embedded or other restricted targets",
  "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1",
  "long-description": "## Usage\n\nFirst edit you `alire.toml` file and add the following elements:\n - Add `bare_runtime` in the dependency list:\n   ```toml\n   [[depends-on]]\n   bare_runtime = \"*\"\n   ```\n - Add cross GNAT in the dependency list (e.g. gnat_arm_elf):\n   ```toml\n   [[depends-on]]\n   gnat_arm_elf = \"*\"\n   ```\n - Set the architecture build switches, we use ARM Cortex-M4F as an example here:\n   ```toml\n   [gpr-set-externals]\n   BARE_RUNTIME_SWITCHES = \"-mlittle-endian -mthumb -mfloat-abi=hard -mcpu=cortex-m4 -mfpu=fpv4-sp-d16\"\n   ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project file. With this, gprbuild will compile the run-time before your application\n   ```ada\n   with \"bare_runtime.gpr\";\n   ```\n - Specify the `Target` and `Runtime` attributes:\n   ```ada\n      for Target use \"arm-eabi\";\n      for Runtime (\"Ada\") use Bare_Runtime'Runtime (\"Ada\");\n",
  "maintainers": [
    "Fabien Chouteau <fabien.chouteau@gmail.com>"
  ],
  "maintainers-logins": [
    "Fabien-Chouteau"
  ],
  "name": "bare_runtime",
  "origin": {
    "commit": "095db6f0be63e3ee266b8dea6d00e8d0e07e7144",
    "url": "git+https://github.com/Fabien-Chouteau/bare_runtime.git"
  },
  "tags": [
    "embedded",
    "runtime"
  ],
  "version": "14.0.0",
  "website": "https://github.com/Fabien-Chouteau/bare_runtime"
}