Compare commits
10 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| cf180f0ce5 | |||
| b7462bd93a | |||
| c54667ab96 | |||
| b8007e299d | |||
| 2ca2db1b01 | |||
| 89d1010a0a | |||
| c8cd0a8307 | |||
| 33d096ccba | |||
| c00f77aeaa | |||
| 3c0d28e4d1 |
@@ -0,0 +1,17 @@
|
||||
name = "ada_lua"
|
||||
description = "An Ada binding for lua"
|
||||
version = "0.1.0"
|
||||
authors = ["Nicolas Roche <roche@adacore.com>"]
|
||||
maintainers = ["Nicolas Roche <roche@adacore.com>"]
|
||||
maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
|
||||
website = "https://github.com/adacore/ada-lua"
|
||||
licenses = ["GMGPL 3.0"]
|
||||
tags = ["lua", "binding", "script"]
|
||||
|
||||
[[depends-on]]
|
||||
liblua = "~5.3"
|
||||
|
||||
[origin]
|
||||
commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
|
||||
url = "git+https://github.com/AdaCore/ada-lua.git"
|
||||
|
||||
@@ -0,0 +1,22 @@
|
||||
name = "bbqueue"
|
||||
description = "DMA friendly lock-free BipBuffer"
|
||||
version = "0.1.0"
|
||||
|
||||
licenses = ["MIT"]
|
||||
authors = ["Fabien Chouteau"]
|
||||
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
|
||||
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
|
||||
|
||||
long-description = """An Ada/SPARK proved implementation of James Munns'
|
||||
BBQueue (https://github.com/jamesmunns/bbqueue)"""
|
||||
|
||||
[[depends-on]]
|
||||
atomic = "*"
|
||||
gnat = ">=10"
|
||||
|
||||
[origin]
|
||||
commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
||||
|
||||
@@ -0,0 +1,15 @@
|
||||
name = "dotenv"
|
||||
description = "Loads environment variables from .env for Ada projects."
|
||||
version = "1.0.0"
|
||||
|
||||
authors = ["Heziode"]
|
||||
maintainers = ["Heziode <heziode@protonmail.com>"]
|
||||
maintainers-logins = ["Heziode"]
|
||||
licenses = ["BSD 2-Clauses"]
|
||||
website = "https://github.com/Heziode/ada-dotenv"
|
||||
tags = ["dotenv", "env", "environment", "variables", "config", "settings"]
|
||||
|
||||
[origin]
|
||||
commit = "a19c7797b88954d90e3b11bc003eca0d262f3a39"
|
||||
url = "git+https://github.com/Heziode/ada-dotenv.git"
|
||||
|
||||
@@ -0,0 +1,14 @@
|
||||
name = "littlefs"
|
||||
description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
|
||||
version = "0.1.0"
|
||||
licenses = ["BSD 3-Clauses"]
|
||||
authors = ["Fabien Chouteau"]
|
||||
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
website = "https://github.com/Fabien-Chouteau/littlefs-ada"
|
||||
tags = ["embedded", "filesystem", "nostd", "flash"]
|
||||
|
||||
[origin]
|
||||
commit = "90f31b47aad40519b9288d8adfbdf459310fff7f"
|
||||
url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
|
||||
|
||||
@@ -0,0 +1,17 @@
|
||||
description = "Example project for the MiniSAM D51"
|
||||
name = "minisamd51_example"
|
||||
version = "0.1.1"
|
||||
licenses = ["BSD 3-Clauses"]
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
authors = ["Fabien Chouteau <chouteau@adacore.com>"]
|
||||
tags = ["embedded", "nostd", "samd51", "minisam"]
|
||||
website="https://github.com/Fabien-Chouteau/minisamd51_example"
|
||||
|
||||
[[depends-on]]
|
||||
minisamd51_bsp = "^0.1.0"
|
||||
|
||||
[origin]
|
||||
commit = "098d9273990a4447b5a2574c3b4b6c060b8005bf"
|
||||
url = "git+https://github.com/Fabien-Chouteau/minisamd51_example.git"
|
||||
|
||||
@@ -0,0 +1,21 @@
|
||||
name = "startup_gen"
|
||||
version = "21.0.0"
|
||||
description = "Generates startup files (crt0 and linker script)"
|
||||
website = "https://github.com/AdaCore/startup-gen"
|
||||
authors = ["AdaCore"]
|
||||
executables = ["startup-gen"]
|
||||
licenses = ["GPL 3.0"]
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["startup_gen.gpr"]
|
||||
tags = ["embedded", "zfp", "nostd"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~21.0.0"
|
||||
libgpr = "~21.0.0"
|
||||
templates_parser = "~21.0.0"
|
||||
gnat = ">=10"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/startup-gen/archive/v21.0.0.zip"
|
||||
hashes=['sha512:75bdb0979ad6891655359e023a8ddcbe0f507f5b5d844892f91e4048a9ade4ab1f37319c0a817be2dff2f60becbd7ba6e17cc03ca1d22267f1a34660a09f17dd']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "win32ada"
|
||||
version = "21.0.0"
|
||||
description = "Ada API to the Windows library"
|
||||
website = "https://github.com/adacore/win32ada"
|
||||
authors = ["Intermetrics", "AdaCore"]
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["windows", "api"]
|
||||
|
||||
[gpr-externals]
|
||||
PRJ_TARGET = ["Win32", "Win64"]
|
||||
PRJ_BUILD = ["Debug", "Release"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[gpr-set-externals]
|
||||
TARGET = "Win64"
|
||||
PRJ_TARGET = "Win64"
|
||||
PRJ_BUILD = "Release"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/win32ada/archive/v21.0.0/win32ada-21.0.0.zip"
|
||||
hashes=['sha512:67cd45b8e501fc2fc3dc759bb839c1fd287f3a05e1ba427af1d7b2aab0f196391dde472be65f7620eb75ce39bff031b8ee91a49f878d01c496dfeffd4e0a6a7a']
|
||||
Reference in New Issue
Block a user