name = "bare_runtime"
description = "Minimal Ada/SPARK run-time for embedded or other restricted targets"
version = "14.0.0"

long-description = """
## Usage

First edit you `alire.toml` file and add the following elements:
 - Add `bare_runtime` in the dependency list:
   ```toml
   [[depends-on]]
   bare_runtime = "*"
   ```
 - Add cross GNAT in the dependency list (e.g. gnat_arm_elf):
   ```toml
   [[depends-on]]
   gnat_arm_elf = "*"
   ```
 - Set the architecture build switches, we use ARM Cortex-M4F as an example here:
   ```toml
   [gpr-set-externals]
   BARE_RUNTIME_SWITCHES = "-mlittle-endian -mthumb -mfloat-abi=hard -mcpu=cortex-m4 -mfpu=fpv4-sp-d16"
   ```

Then edit your project file to add the following elements:
 - "with" the run-time project file. With this, gprbuild will compile the run-time before your application
   ```ada
   with "bare_runtime.gpr";
   ```
 - Specify the `Target` and `Runtime` attributes:
   ```ada
      for Target use "arm-eabi";
      for Runtime ("Ada") use Bare_Runtime'Runtime ("Ada");
"""

authors = ["AdaCore"]
maintainers = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["embedded", "runtime"]
website = "https://github.com/Fabien-Chouteau/bare_runtime"

[configuration]
generate_gpr = false
generate_c = false

[configuration.variables]
LCH_Print_Info = { type = "Boolean", default = false }
LCH_Reset = { type = "Boolean", default = false }

[[depends-on]]
gnat = "^14"

[origin]
commit = "095db6f0be63e3ee266b8dea6d00e8d0e07e7144"
url = "git+https://github.com/Fabien-Chouteau/bare_runtime.git"