source
bare_runtime
14.0.0Minimal Ada/SPARK run-time for embedded or other restricted targets
14.0.0
Usage
First edit you alire.toml file and add the following elements:
- Add
bare_runtimein the dependency list:[[depends-on]] bare_runtime = "*" - Add cross GNAT in the dependency list (e.g. gnat_arm_elf):
[[depends-on]] gnat_arm_elf = "*" - Set the architecture build switches, we use ARM Cortex-M4F as an example here:
[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
with "bare_runtime.gpr"; - Specify the
TargetandRuntimeattributes:for Target use "arm-eabi"; for Runtime ("Ada") use Bare_Runtime'Runtime ("Ada");