From c9c3a64972bcc8c220e2ba023ca7f7b67f8c4103 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Date: Mon, 25 Nov 2024 10:13:57 +0100
Subject: [PATCH] bare_runtime 14.0.0 (#1298)

---
 .../ba/bare_runtime/bare_runtime-14.0.0.toml  | 57 +++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 index/ba/bare_runtime/bare_runtime-14.0.0.toml

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 <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"
+