-
Notifications
You must be signed in to change notification settings - Fork 101
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'alire/stable-1.2.1' into stable-1.2.1
- Loading branch information
Showing
64 changed files
with
1,836 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -17,7 +17,7 @@ on: | |
|
||
jobs: | ||
|
||
diff: | ||
DIFF: | ||
|
||
runs-on: ubuntu-latest | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
name = "libstdcpp" | ||
description = "libraries for statically linking with c++ - development files" | ||
maintainers = ["Jan <[email protected]>"] | ||
maintainers-logins = ["janverschelde"] | ||
[[external]] | ||
kind = "system" | ||
[external.origin."case(distribution)"] | ||
"fedora" = ["libstdc++-static"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
Crates that require some future feature or bugfix. | ||
|
||
The versions under this folder are future index versions. | ||
|
||
## Future crates | ||
|
||
- `libstdcpp`: requires a bugfix in alr 2.0 for package names in rpm-based | ||
distros that contain characters that have special meanings in regexes (like | ||
the '+' in `libstdc++-static` |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,47 @@ | ||
description = "An Ada Lexical Analyzer Generator" | ||
name = "aflex" | ||
version = "1.7" | ||
licenses = "Unlicense" | ||
authors = ["John Self"] | ||
maintainers = ["[email protected]"] | ||
maintainers-logins = ["stcarrez"] | ||
tags = ["parser", "generator", "grammar"] | ||
website = "https://github.com/Ada-France/aflex" | ||
executables = ["aflex"] | ||
long-description = """ | ||
Aflex is a lexical analyzer generating tool similar to the Unix tool lex. | ||
The first implementation was written by John Self of the Arcadia project | ||
at the University of California, Irvine. The last version that was released | ||
appeared to be the aflex 1.4a released in 1994. | ||
Aflex was used and improved by P2Ada, the Pascal to Ada translator. | ||
This version of Aflex is derived from the P2Ada aflex implementation | ||
released in August 2010. | ||
This version brings a number of improvements: | ||
- Aflex generates the spec and body files as separate files so that | ||
there is no need to use gnatchop to split the DFA and IO files. | ||
- Aflex uses the lex file name to generate the package name and | ||
it supports child package with the `%unit` directive. | ||
- Aflex supports reentrant scanner through the use of `%option reentrant`, | ||
`%yyvar` and `%yydecl` directives. | ||
""" | ||
|
||
[gpr-externals] | ||
AFLEX_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] | ||
|
||
[configuration] | ||
disabled = true | ||
|
||
[environment] | ||
PATH.prepend = "${CRATE_ROOT}/bin" | ||
MANPATH.prepend = "${CRATE_ROOT}/man" | ||
|
||
[origin] | ||
commit = "77dbb4dadecc689de9e050652e8900ad40a47da5" | ||
url = "git+https://github.com/Ada-France/aflex.git" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,91 @@ | ||
description = "Advanced Resource Embedder" | ||
name = "are" | ||
version = "1.4.0" | ||
authors = ["[email protected]"] | ||
licenses = "Apache-2.0" | ||
maintainers = ["[email protected]"] | ||
maintainers-logins = ["stcarrez"] | ||
project-files = ["are_tool.gpr"] | ||
tags = ["resource", "embedder", "generator"] | ||
website = "https://gitlab.com/stcarrez/resource-embedder" | ||
executables = ["are"] | ||
long-description = """ | ||
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/build.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder) | ||
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder) | ||
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/resource-embedder/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/resource-embedder) | ||
[![Documentation Status](https://readthedocs.org/projects/resource-embedder/badge/?version=latest)](https://resource-embedder.readthedocs.io/en/latest/?badge=latest) | ||
The resource embedder allows to embed files in binaries by producing C, Ada or Go source | ||
files that contain the original files. | ||
To generate a `config.ads` and `config.adb` Ada package with the resources, you may use: | ||
``` | ||
are --lang=Ada -o src --resource=config --name-access --fileset='**/*.conf' config | ||
``` | ||
Complex resource integrations are best described with and XML and are generated with: | ||
``` | ||
are --lang=Ada -o src --rule=package.xml --name-access . | ||
``` | ||
For Ada, it generates the following package declaration with the `Get_Content` function | ||
that gives access to the files. The Ada body contains the content of each embedded file. | ||
```Ada | ||
package Config is | ||
function Get_Content (Name : in String) | ||
return access constant String; | ||
end Config; | ||
``` | ||
""" | ||
|
||
[available.'case(os)'] | ||
linux = true | ||
windows = true | ||
macos = true | ||
'...' = false | ||
|
||
[[depends-on]] | ||
xmlada = "~23.0.0" | ||
utilada = "^2.6.0" | ||
elada = "^1.8.6" | ||
|
||
[gpr-externals] | ||
ARE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] | ||
ARE_SWITCH = ["NO_CALLBACK", "HAS_CALLBACK"] | ||
UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbsd64", "freebsd32", "freebsd64"] | ||
|
||
[gpr-set-externals] | ||
ARE_BUILD = "distrib" | ||
ARE_SWITCH = "HAS_CALLBACK" | ||
|
||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-32] | ||
UTIL_OS = "linux32" | ||
|
||
[gpr-set-externals."case(os)".linux."case(word-size)".bits-64] | ||
UTIL_OS = "linux64" | ||
|
||
[gpr-set-externals."case(os)".macos] | ||
UTIL_OS = "macos64" | ||
|
||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-32] | ||
UTIL_OS = "win32" | ||
|
||
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64] | ||
UTIL_OS = "win64" | ||
|
||
[configuration] | ||
disabled = true | ||
|
||
[environment] | ||
PATH.prepend = "${CRATE_ROOT}/bin" | ||
MANPATH.prepend = "${CRATE_ROOT}/man" | ||
|
||
[origin] | ||
commit = "a458cb9ec097961321fa730df5a93a1606a69624" | ||
url = "git+https://gitlab.com/stcarrez/resource-embedder.git" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,39 @@ | ||
name = "asfml" | ||
description = "An Ada binding to SFML, the Simple and Fast Multimedia Library" | ||
version = "2.6.0" | ||
long-description = """ | ||
[![ASFML logo](https://raw.githubusercontent.com/mgrojo/ASFML/master/images/ASFML_Logo.svg)](https://www.sfml-dev.org) | ||
![Ada (GNAT)](https://github.com/mgrojo/ASFML/workflows/Ada%20(GNAT)/badge.svg) | ||
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby) | ||
[![Mentioned in Awesome Ada](https://awesome.re/mentioned-badge.svg)](https://github.com/ohenley/awesome-ada) | ||
ASFML is an Ada semi-thick binding to the | ||
[SFML](https://www.sfml-dev.org/) library. It uses Ada types and | ||
portable defined types which eliminates the inclusion of Ada interface | ||
libraries, but most of the functions are directly imported. | ||
# Documentation | ||
Generated API documentation can be consulted [online](https://mgrojo.github.io/ASFML/doc/). | ||
The Ada API follows the [CSFML](https://26.customprotocol.com/csfml/index.htm) interface, but | ||
with some changes and additions for ease of use. | ||
Applicability of the [SFML documentation](https://www.sfml-dev.org/learn.php) is usually straightforward. | ||
""" | ||
|
||
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"] | ||
maintainers = ["Manuel Gomez <[email protected]>"] | ||
maintainers-logins = ["mgrojo"] | ||
|
||
licenses = "custom-zlib-acknowledgement" | ||
website = "https://mgrojo.github.io/ASFML/" | ||
tags = ["audio", "games", "opengl", "cross-platform", "multimedia", "binding", "graphics", "sfml"] | ||
|
||
[[depends-on]] | ||
libcsfml = "^2.6.0" | ||
|
||
[origin] | ||
commit = "244787934b6bc738a8d6219ff6d4bf4a7c93f5bb" | ||
url = "git+https://github.com/mgrojo/ASFML.git" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,37 @@ | ||
description = "Ada Web Server" | ||
website = "https://github.com/adacore/aws" | ||
name = "aws" | ||
version = "24.0.0" | ||
authors = ["AdaCore"] | ||
licenses = "GPL-3.0-only WITH GCC-exception-3.1" | ||
maintainers = ["[email protected]"] | ||
maintainers-logins = ["Fabien-Chouteau"] | ||
project-files = ["install_dir/share/gpr/aws.gpr"] | ||
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"] | ||
|
||
# Since the AWS project doesn't build alone with just gprbuild we build and | ||
# install with the Makefile from post-fetch actions. | ||
[[actions]] | ||
type = "post-fetch" | ||
command = ["make", "setup", "ZLIB=false", "DEMOS=false", | ||
"LAL=false", "XMLADA=false", "SOCKET=openssl", "prefix=install_dir", | ||
"PRJ_BUILD=Release"] | ||
[[actions]] | ||
type = "post-fetch" | ||
command = ["make", "all", "ENABLE_SHARED=false"] | ||
[[actions]] | ||
type = "post-fetch" | ||
command = ["make", "install-lib-native", "install-tools-native", "--jobs=1", "ENABLE_SHARED=false"] | ||
|
||
[[depends-on]] | ||
xmlada = "~24.0.0" | ||
gnatcoll = "~24.0.0" | ||
make = "*" | ||
gnat = ">=12" | ||
openssl = "*" | ||
|
||
[origin] | ||
# The archive is built with git archive to include templates-parser sub-module: | ||
# $ git-archive-all --prefix=aws-24.0.0 aws-24.0.0-with-templates-parser.zip | ||
url="https://github.com/AdaCore/aws/releases/download/v24.0.0/aws-24.0.0-with-templates-parser.zip" | ||
hashes=['sha512:2b75fe6dc1bf676b6bd949354e352a94c918c109f8065179634ccba6e17329ba48163deb4bceb506eaf1e2a1446378bbe3439ea007a7dc5dd77286e56b497c4c'] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,47 @@ | ||
description = "An Ada LARL(1) parser generator" | ||
name = "ayacc" | ||
version = "1.4.1" | ||
licenses = "Unlicense" | ||
authors = ["David Taback", "Deepak Tolani"] | ||
maintainers = ["[email protected]"] | ||
maintainers-logins = ["stcarrez"] | ||
executables = ["ayacc"] | ||
tags = ["parser", "generator", "grammar"] | ||
website = "https://github.com/Ada-France/ayacc" | ||
long-description = """ | ||
Ayacc is an Ada parser generator in the style of yacc(1). | ||
The first implementation was written by David Taback and Deepak Tolani | ||
at the University of California, Irvine. The last version that was released | ||
appeared to be the Ayacc 1.1 released in 1994. | ||
Ayacc was used and improved by P2Ada, the Pascal to Ada translator. | ||
This version of Ayacc is derived from the P2Ada ayacc implementation | ||
released in August 2010. | ||
This version brings a number of improvements: | ||
- Ayacc now uses more standard options to configure the code generation | ||
- The parser was improved to configure the parser stack size and | ||
support Ada child packages. | ||
- The grammar supports the %unit directive to control the Ada child packages. | ||
- Several options provide a better control of the generated code. | ||
- Ayacc can generate a reentrant parser. | ||
""" | ||
|
||
[gpr-externals] | ||
AYACC_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"] | ||
|
||
[configuration] | ||
disabled = true | ||
|
||
[environment] | ||
PATH.prepend = "${CRATE_ROOT}/bin" | ||
MANPATH.prepend = "${CRATE_ROOT}/man" | ||
|
||
[origin] | ||
commit = "2ec635a270080bce7cd42403ba28729173ed7c88" | ||
url = "git+https://github.com/Ada-France/ayacc.git" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,30 @@ | ||
name = "bme280" | ||
description = "Driver for BME280 Humidity sensor" | ||
version = "1.0.0" | ||
|
||
authors = ["Max Reznik"] | ||
maintainers = ["Max Reznik <[email protected]>"] | ||
maintainers-logins = ["reznikmm"] | ||
licenses = "Apache-2.0 WITH LLVM-exception" | ||
website = "https://github.com/reznikmm/bme280" | ||
tags = ["sensor", "humidity", "temperature", "pressure", "driver"] | ||
project-files = ["gnat/bme280.gpr"] | ||
|
||
[configuration] | ||
output_dir = "gnat" | ||
generate_ada = false | ||
generate_c = false | ||
|
||
[build-switches] | ||
development.optimization = ["-O0"] | ||
development.style_checks = ["-gnaty"] | ||
development.contracts = "Yes" | ||
|
||
[[depends-on]] | ||
hal = "~0.3.0" | ||
gnat = ">=11 & <2000" # Uses Ada 2022 syntax | ||
|
||
[origin] | ||
commit = "85a38919aa896c4c2a66825a135c87149224044c" | ||
url = "git+https://github.com/reznikmm/bme280.git" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.