diff --git a/index/ba/bare_runtime/bare_runtime-14.0.0.toml b/index/ba/bare_runtime/bare_runtime-14.0.0.toml new file mode 100644 index 00000000..3ae4c7d8 --- /dev/null +++ b/index/ba/bare_runtime/bare_runtime-14.0.0.toml @@ -0,0 +1,57 @@ +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 "] +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" +