nrf52-runtimes 15.0.0 (#1503)

This commit is contained in:
Daniel King
2025-06-09 13:16:50 +01:00
committed by GitHub
parent c48440571a
commit 854b03995f
9 changed files with 504 additions and 0 deletions
@@ -0,0 +1,56 @@
name = "embedded_nrf52832"
description = "embedded runtime for the nRF52832 SoC"
version = "15.0.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `embedded_nrf52832` in the dependency list:
```toml
[[depends-on]]
embedded_nrf52832 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
"""
authors = ["AdaCore", "Daniel King"]
maintainers = ["Daniel King <damaki.gh@gmail.com>"]
maintainers-logins = ["damaki"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["embedded", "runtime"]
website = "https://github.com/damaki/nrf52-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
generate_gpr = false
generate_c = false
output_dir = "gnat_user"
[configuration.variables]
Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
Use_SWO_Trace = { type = "Boolean", default = true }
Use_Reset_Pin = { type = "Boolean", default = true }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:86a62d22e667064a057de6d02bdd884933b4a451c3044c1ca04c03e5f74cb492",
"sha512:92c5beba3f429a6484759bb45d0c885bd5eb800b1cc37b89d58819687564d2dc5c92866e9edde04519b6b73f31153ac8555a579bef206aab676accc4a2b1938a",
]
url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.0/embedded-nrf52832-15.0.0.tar.gz"
@@ -0,0 +1,56 @@
name = "embedded_nrf52833"
description = "embedded runtime for the nRF52833 SoC"
version = "15.0.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `embedded_nrf52833` in the dependency list:
```toml
[[depends-on]]
embedded_nrf52833 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
"""
authors = ["AdaCore", "Daniel King"]
maintainers = ["Daniel King <damaki.gh@gmail.com>"]
maintainers-logins = ["damaki"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["embedded", "runtime"]
website = "https://github.com/damaki/nrf52-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
generate_gpr = false
generate_c = false
output_dir = "gnat_user"
[configuration.variables]
Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
Use_SWO_Trace = { type = "Boolean", default = true }
Use_Reset_Pin = { type = "Boolean", default = true }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:39538c36a16a5c0c16c81105fcdfcb54f24c883878022784458a6a801cdace98",
"sha512:6f0904c84cf75b117e520b8aa2dc9716d9714a6e6fa16e87ddaf8266f2810f2ca19a00107eac6b400d1b60e3ae4ed9ef093a8a0c6eaf936f23cc9c8ab38b8bca",
]
url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.0/embedded-nrf52833-15.0.0.tar.gz"
@@ -0,0 +1,56 @@
name = "embedded_nrf52840"
description = "embedded runtime for the nRF52840 SoC"
version = "15.0.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `embedded_nrf52840` in the dependency list:
```toml
[[depends-on]]
embedded_nrf52840 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
"""
authors = ["AdaCore", "Daniel King"]
maintainers = ["Daniel King <damaki.gh@gmail.com>"]
maintainers-logins = ["damaki"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["embedded", "runtime"]
website = "https://github.com/damaki/nrf52-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
generate_gpr = false
generate_c = false
output_dir = "gnat_user"
[configuration.variables]
Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
Use_SWO_Trace = { type = "Boolean", default = true }
Use_Reset_Pin = { type = "Boolean", default = true }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:11b8070d279ed2485098d2284414c3eb54a511958d5c140bf307711ae32223b5",
"sha512:3210b5d602efaccdcee58e908b5a0b8df1d2e831f59094cc23eebda6d47f95063b376625e7cd6c74e86431a9e4d023ffff9b82107588d9e3bb8d94a8d69de79c",
]
url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.0/embedded-nrf52840-15.0.0.tar.gz"