{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Minimal Ada/SPARK run-time for embedded or other restricted targets",
    "development_only": false,
    "latest_version": "14.0.0",
    "name": "bare_runtime",
    "selected_version": "14.0.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "14.2.0",
            "requirement": "^14",
            "resolved": true,
            "version": "14.2.0-patchset.1.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/ba/bare_runtime/bare_runtime-14.0.0.toml",
        "version": "14.0.0"
      }
    ]
  },
  "schema_version": 4
}