Compare commits

...

10 Commits

Author SHA1 Message Date
Quentin Dauprat cf180f0ce5 Add Dotenv 1.0.0 (#239)
* Add Dotenv 1.0.0

* Update dotenv-1.0.0.toml
2021-01-23 11:24:38 +01:00
Fabien Chouteau b7462bd93a minisamd51_example 0.1.1 (#237) 2021-01-14 18:04:02 +01:00
Fabien Chouteau c54667ab96 win32ada 21.0.0 (#233) 2021-01-12 17:49:38 +01:00
Fabien Chouteau b8007e299d ada_lua-0.1.0.toml: fix website field (#231) 2021-01-08 11:11:56 +01:00
Fabien Chouteau 2ca2db1b01 ada_lua 0.1.0 (#230) 2021-01-07 21:42:42 +01:00
Fabien Chouteau 89d1010a0a startup_gen 21.0.0 (#227) 2021-01-07 21:40:22 +01:00
Fabien Chouteau c8cd0a8307 bbqueue 0.1.0 (#216)
* bbqueue 0.1.0

* Update bbqueue-0.1.0.toml
2021-01-04 19:03:41 +01:00
Alejandro R Mosteo 33d096ccba Revert "lua 5.4.2 (#220)" (#221)
This reverts commit c00f77aeaa.
2021-01-04 17:59:52 +01:00
Felix Patschkowski c00f77aeaa lua 5.4.2 (#220)
* Adding the Lua scripting language

* Added built executable to PATH.
2020-12-28 13:12:02 +01:00
Fabien Chouteau 3c0d28e4d1 littlefs 0.1.0 (#219) 2020-12-23 17:56:36 +01:00
7 changed files with 131 additions and 0 deletions
+17
View File
@@ -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"
+22
View File
@@ -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"
+15
View File
@@ -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"
+14
View File
@@ -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']
+25
View File
@@ -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']