Compare commits

...

71 Commits

Author SHA1 Message Date
Fabien Chouteau 7ed3ffa614 libgpr-21.0.0: incompatibility with GNAT Community 2021 2021-08-31 15:40:07 +02:00
Alejandro R. Mosteo 39751981cc gprbuild external 2021-08-19 12:25:59 +02:00
Alejandro R. Mosteo 39ab6f5272 Merge new crates in 1.0 2021-08-19 12:11:40 +02:00
Fabien Chouteau ea03846608 ada_toml 0.2 (#315) 2021-08-17 13:04:42 +02:00
Fabien Chouteau accf7d8079 Fix some GNATcoll descriptions (#316)
* Update gnatcoll_gmp-21.0.0.toml

Fix description

* Update gnatcoll_omp-21.0.0.toml

Fix description
2021-08-17 13:00:53 +02:00
Fabien Chouteau 19edb482e0 shoot_n_loot, pygamer 1.0.0 (#314) 2021-08-17 12:12:55 +02:00
Manuel b899a77bca asfml 2.5.1 (#311) 2021-08-17 08:40:21 +02:00
Paul Jarrett b8c3dfbb15 Add trendy_test 0.0.1 (#307)
* Add files via upload

* Add files via upload

* Put toml in the right place.

* Update to new, improved, trendy test 0.0.1
2021-08-04 13:57:57 +02:00
Fabien Chouteau 37ddcd9488 Rename GNAT crates (#302)
* Rename GNAT crates

I changed the names of the crates to what I think is more meaningful.

I  merged the Linux, Windows and macOS under a gnat_native that will be
easier to understand and use in my opinion.

I also added a licenses field.

One thing that we may want to improve is the values for the case
statements, for instance `[origin."case(os)".macos."case(word-size)".bits-64]`
will soon be a blocking point to support macOS on the M1.

Instead of word size we probably need something like: "case(CPU)" or
"case(arch)". Or even use full platform triplets: "case(host_triplet)".

* Add "provides" to gnat_external

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-07-24 09:50:15 +02:00
Alejandro R. Mosteo 96f39408ed Merge remote-tracking branch 'alire/stable-1.0' into devel-1.1 2021-07-23 14:18:05 +02:00
Lev Kujawski 132301e488 felix 0.1.0, blake2s 0.1.1 (#301)
* blake2s: Update enabling optimizations, disabling development flags

* Add felix 0.1.0
2021-07-22 12:38:57 +02:00
Jeremy Grosser ed203cb5ae rp2040_hal, pico_bsp, and pico_examples 0.5.0 (#300) 2021-07-20 13:20:36 +02:00
onox d15b685c53 canberra_ada 2.0.1 and weechat_ada 2.0.1 (#299)
* canberra_ada 2.0.1

* weechat_ada 2.0.1
2021-07-20 09:51:38 +02:00
Alejandro R. Mosteo da017bc07c gnatcov 21.0-1 for all platforms 2021-07-18 18:56:10 +02:00
Alejandro R. Mosteo cdf8c13253 Fix gprbuild path environment 2021-07-18 14:46:32 +02:00
Alejandro R. Mosteo ec4f281b37 GNAT 10.3-1 for all targets 2021-07-18 14:32:29 +02:00
Alejandro R. Mosteo 8cba1009de gprbuild 21.0.0-1 for all targets 2021-07-18 14:07:27 +02:00
Lev Kujawski dc48f5d6e9 blake2s 0.1.0 (#298) 2021-07-16 10:25:32 +02:00
Manuel 4bbd7f960a asfml 2.5: Ada binding to Simple and Fast Multimedia Library (#297)
* Add crate for asfml: Ada binding to Simple and Fast Multimedia Library

* Fix file location

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-07-15 13:20:42 +02:00
Alejandro R. Mosteo 47492703e6 GNAT releases split per target 2021-07-12 10:11:15 +02:00
Stephane Carrez c7191b9da0 are 1.1.0: Advanced Resource Embedder (#295)
* are 1.1.0: Advanced Resource Embedder

* are 1.1.0: Advanced Resource Embedder

* are 1.1.0: Advanced Resource Embedder

* are 1.1.0: Advanced Resource Embedder
2021-07-12 09:50:18 +02:00
Alejandro R. Mosteo 7f320c8f06 Bump index version 2021-07-09 10:34:20 +02:00
onox f5361238ae json 5.0.0 (#296) 2021-07-06 10:06:53 +02:00
Alejandro R. Mosteo 4f2c55b0cc New gnat 10.3 release 2021-06-30 17:00:55 +02:00
Alejandro R. Mosteo 54a690189d Mark binary crates with no auto-gpr-with 2021-06-29 10:34:45 +02:00
Alejandro R. Mosteo 5ae6b108cd Add binary gprbuild 2021-06-29 10:34:45 +02:00
Alejandro R. Mosteo 8b06ec95e6 test gnat crate 2021-06-29 10:34:45 +02:00
Paul Jarrett cdde3e8fd5 trendy_terminal 0.0.1 (#294) 2021-06-29 10:22:29 +02:00
Paul Jarrett ff2efe9f59 dir_iterators 0.0.2 (#293) 2021-06-28 10:23:31 +02:00
Henrik Härkönen 062e3b1078 cmd_ada 1.0 (#292) 2021-06-25 11:01:38 +02:00
Paul Jarrett 09de0c21a7 progress_indicators 0.0.1 (#290)
* Add progress_indicators 0.0.1

* Point to progress_indicators 0.0.1 w/ no test program.

* Update to version with moved test gpr.
2021-06-25 10:49:51 +02:00
Jeremy Grosser 1cc839b29c rp2040_hal, pico_bsp, pico_examples 0.4.0 (#287) 2021-06-14 12:14:18 +02:00
onox 1c70773d0d inotify 2.0.0 (#286) 2021-06-11 15:26:10 +02:00
Paul Jarrett d0e97e3cc3 dir_iterators 0.0.1 (#284)
* dir_iterators 0.0.1

An iterator-based recursive directory walker and other iterator-based walker which traces up parent directories.

* Remove Ada202x usage and hierarchical dir package usage.
2021-06-10 11:03:22 +02:00
Alejandro R Mosteo b54246c917 zipada 57.0.2 (#285)
* Add files via upload

* Fix MacOS build

* Update to disable linker GC
2021-06-10 08:48:17 +02:00
Jesper Quorning 6f3f6f9302 Fix utilada Windows build (#283)
* Fix UTIL_OS for Windows 2.0.0.

* Fix UTIL_OS for Windows 2.1.0.
2021-06-03 10:53:16 +02:00
Riccardo Bernardini b2ec99fca9 partord 1.0 (#282) 2021-06-01 10:10:37 +02:00
Alejandro R Mosteo b264786fa9 Florist external (#271) 2021-05-19 12:28:15 +02:00
flyx 68f424da6f OpenGLAda 0.9.0 (#280)
* OpenGLAda 0.9.0

* added tags to OpenGLAda manifests
2021-05-19 12:08:03 +02:00
flyx 8c2f2869db FreeTypeAda 0.1 (#279) 2021-05-17 16:46:49 +02:00
flyx c62b1c590c libfreetype external (#278)
* added external libfreetype

* use x86_64 specific msys2 package
2021-05-17 15:17:21 +02:00
WickedShell c37a9c8328 Openglada: Correct libx11 version (#276)
* Openglada: Correct libx11 version

* Index x11 on Arch

* Fix openglada 0.6 dependencies

* Set windowing system on Windows/macOS

* Fix gnat dependency to all platforms

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-05-06 13:20:08 +02:00
onox 7072291467 evdev 1.0.1 (#277) 2021-05-06 09:21:35 +02:00
bmilanov fcdb303aee Fix slip license (#275) 2021-05-03 11:17:55 +02:00
bmilanov 03faaadea0 Add initial slip version (#274) 2021-04-30 16:59:54 +02:00
Fabien Chouteau dec4ee467b atomic 0.3 & bbqueue 0.2 (#273) 2021-04-29 11:10:50 +02:00
onox 031433907d evdev 1.0.0 (#272) 2021-04-29 11:03:27 +02:00
Alejandro R Mosteo c5090d8e74 Template for external crates (#270) 2021-04-27 16:36:07 +02:00
Alejandro R Mosteo b5db94cfe1 Updated documentation (readme, contributing) (#269) 2021-04-06 11:09:02 +02:00
Blady-Com 9abc090af8 UXStrings 0.2.0 (#268) 2021-04-06 11:07:56 +02:00
onox f545e1b830 json 4.0.1 (#266) 2021-03-29 18:41:53 +02:00
Alejandro R Mosteo a8f7ca71fa Re-enable Arch (#265) 2021-03-26 23:12:30 +01:00
onox 9cbed21f07 libglfw3: arch and msys2 native packages (#264) 2021-03-26 11:05:02 +01:00
Alejandro R Mosteo ca016d0aba sdlada 2.5.4-1 (#263)
* sdlada 2.5.4

* Try alternative TOML syntax

* Disable on arch

* Disable gnat CE2020

This gnat version causes errors with access types not trivial to fix (to me).

* Fix for CE2020
2021-03-24 13:22:56 +01:00
Cyril Korshnyak ł 8d4f4c72ab loga 1.0 (#262) 2021-03-15 10:26:35 +01:00
onox 28286bd46b Add libcanberra and canberra_ada (#261)
* Add libcanberra

* Add canberra_ada
2021-03-10 19:26:46 +01:00
Alejandro R Mosteo fa6a87fd49 Replace wrong 'word_size' with 'word-size' (#260)
The old parser for some reason accepted both
2021-03-08 17:32:54 +01:00
Jeremy Grosser 411163df3b Raspberry Pi RP2040 and Pico 0.2.1 (#259)
* rp2040_hal-0.2.1

* pico_bsp-0.2.1

* pico_examples-0.2.1
2021-03-03 11:37:56 +01:00
Blady-Com 82714643cb uxstrings 0.1.2 (#250)
* Add UXStrings library to Alire.

* Set minimal GNAT version for Alire.

* Change version format in conformance to https://semver.org.
Set UXStrings commit to some fixes.
2021-03-01 13:54:23 +01:00
Fabien Chouteau c81a507a1d vss-22.0.0-20210224.toml: licenses should not be an array anymore (#257)
There is a warning for that and we should reject it from the community index.
2021-02-26 10:33:09 +01:00
Maxim Reznik fa620c9cf3 vss 22.0.0-20210224 (#255) 2021-02-24 18:06:57 +01:00
Alejandro R Mosteo 220cdea28b Roll back temporary changes to CI actions (#256) 2021-02-24 17:39:44 +01:00
Alejandro R Mosteo c0e589f834 Fix packaging of zlib_ada (#254) 2021-02-24 15:39:01 +01:00
Alejandro R Mosteo fdfce5f04e Main workflow: check no unknown env values in index (#253) 2021-02-22 19:16:47 +01:00
onox c6788ef23d sparknacl: Convert licenses to SPDX expressions (#252) 2021-02-13 17:00:12 +01:00
onox ec5b09119b inotify 1.0.1 (#247) 2021-02-12 20:22:26 +01:00
Roderick Chapman 562eff310f SPARKNaCl 2.0 (#248) 2021-02-11 12:46:14 +01:00
Alejandro R Mosteo b093430d61 Temporary workaround for the main CI workflow (#249) 2021-02-11 12:04:14 +01:00
Felix Patschkowski ee6b2bdaf4 GWindows 1.4 (#245)
* Added GWindows manifest.

* Point to original GWindows repo.

* Fix temporarily broken build checks

* Added optional, recommended properties after review by Alire team.

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-02-09 10:24:38 +01:00
Alejandro R Mosteo 33bbeb2d69 Fix temporarily broken build checks (#246) 2021-02-09 10:23:57 +01:00
Alejandro R. Mosteo a9068fe972 Bump index version to 1.0 2021-02-04 17:39:49 +01:00
77 changed files with 1563 additions and 106 deletions
+3
View File
@@ -28,6 +28,9 @@ jobs:
- run: alr index --add=. --name=local_index
# Check index contents for unknown config variables
- run: alr index --check
- run: alr index --update-all
- run: alr search --crates
+7 -58
View File
@@ -1,61 +1,10 @@
Thanks for your interest in the Alire project. Here are some pointers for effective contributions.
Thanks for your interest in the Alire project. Please find more information at
one of these sources:
# Contributing crates
- Main repository (development version): https://github.com/alire-project/alire
- Website (stable release information): https://alire.ada.dev
- Live discussion: https://gitter.im/ada-lang/Alire
The process for submitting a new crate or release is currently manual, although automated support through the `alr publish` command is in the roadmap.
The sequence of steps to take is described after some introductory concepts;
you can also ask for help in the [gitter channel](https://gitter.im/ada-lang/Alire) of the project.
Concretely, the documentation about submission of releases is found at
## General concepts
The community index is a collection of [TOML](https://github.com/toml-lang/toml)
files stored in the [alire-index](https://github.com/alire-project/alire-index) repository,
under the [index](https://github.com/alire-project/alire-index/blob/master/index) directory.
Each file is named after the crate it contains.
A crate contains the description of a project, with other metadata,
and the list of available releases (identified by their
[semantic version](https://semver.org/)).
The complete specification of such TOML files is available in this [document](https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md).
## New crates and releases
Contributing a new crate is achieved through a pull-request against the index repository,
in which the TOML file for the crate must be provided. Similarly, a new release is published by
submitting a pull-request with the necessary modifications to the crate file.
### Index branches
The community index is supported through two kinds of branches:
- `stable-x.x.x` branches are used by stable versions of `alr`.
- `devel-x.x.x` branches are used to introduce breaking changes in the index format, during the development of `alr`.
Your `alr` version knows which branch to use, so you do not need to manually select one. However, when submitting crates/releases as pull requests, you must decide to which branch they will be added: selecting the latest stable branch results in the release becoming immediately available to the latest stable `alr`. Conversely, using the latest development branch will make the releases available for testing by unstable clients, and will become generally available with the next stable release of `alr`.
Note that, as of this writing (Dec 2019), only development branches exist, until the first stable release of `alr` is made.
## Checks on contributions
Each crate is "owned" by a list of maintainers, provided with the `maintainers-logins` property of the crate file. After the initial submission, which will be manually approved (see the [POLICY](https://github.com/alire-project/alire-index/blob/master/POLICY.md) for details), the maintainers of a crate are the only people allowed to submit new releases or metadata modifications to the corresponding crate file.
# Detailed steps
These steps describe how to submit a new crate. They are essentially the same for submitting a new release (in the latter case, the existing crate file must be edited instead of created).
1. Prepare a source archive (zip, tar) with the release sources and project files.
1. This archive **must not** contain the `alire` directory generated by `alr` in working directories. The `alire` directory is designed to be put in your VCS ignore list.
1. The archive **must** contain a single directory (name not important) containing, in turn, the sources. This is the kind of archives automatically generated by GitHub, GitLab, Sourceforge... or through `git archive`.
1. Compute an integrity hash for the archive with `alr publish --hash <URL>`
1. The URL can be remote or local (`file://`), although using the final online file is recommended.
1. The final online file should be immutable. Note that online autogenerated archives can be found currently in the index, but should be avoided whenever possible (because of lack of immutability guarantees, see [this conversation](https://github.community/t5/How-to-use-Git-and-GitHub/Ensuring-identical-tarballs-from-releases/m-p/34196/highlight/true#M8997)). In the future, `alr publish` will offer support to generate and upload such files more conveniently.
1. Fill the crate file providing all the necessary information (`[general]` section), dependencies (`depends-on`) and possibly excluded platforms (`available`). See, for example, the [hello world](https://github.com/alire-project/alire-index/blob/master/index/he/hello.toml) crate, or the [empty skeleton](https://github.com/alire-project/alire-index/blob/master/templates/skeleton.toml) template.
1. Place the crate file in the appropriate directory of your locally checked out index repository, and create a new pull request. The detailed substeps are the usual for submitting contributions in GitHub:
1. Fork the community index to your GitHub account.
1. Clone your fork locally and make the changes locally.
1. Commit and push the changes to your fork.
1. Create the pull request from your fork against the community repository through the GitHub web interface (or the [`hub`](https://github.com/github/hub) tool).
1. The base branch you select for the pull request will determine where your changes will become available; see the section on index branches for details.
Once the pull request is verified and merged, the new crate or release will become available for normal use. The open source Ada ecosystem needs all the help it can get, so happy contributing!
- https://alire.ada.dev/docs/#publishing-your-projects-in-alire
+7 -17
View File
@@ -1,23 +1,13 @@
# Alire Catalog
# Alire Community Index
[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Alire)
This repository hosts the official community-maintained index of Ada projects
to be used with the `alr` tool. Please visit
https://github.com/alire-project/alire to download `alr`.
This repository hosts the official community-maintained index to be used with the `alr` tool.
## Contributing crates to the index
Please visit https://github.com/alire-project/alire to download `alr`.
Please check the information in the [CONTRIBUTING.md](CONTRIBUTING.md) file.
Please open a pull request to submit a new release (read
further [here](https://alire.ada.dev/docs/#publishing-your-projects-in-alire)
about it).
## TODO
Here are sources of projects that might be interesting to add to this index:
* [awesome-ada](https://github.com/ohenley/awesome-ada) (Top notch!)
* [GitHub projects, sorted by star
count](https://github.com/search?o=desc&l=Ada&q=ada&s=stars&type=Repositories)
* [AdaIC's Free Tools and
Libraries](http://www.adaic.org/ada-resources/tools-libraries/)
* [Libraries in the Ada Programming
WikiBook](https://en.wikibooks.org/wiki/Ada_Programming/Libraries)
To report an issue, open it at https://github.com/alire-project/alire/issues
+19
View File
@@ -0,0 +1,19 @@
description = "TOML parser for Ada "
name = "ada_toml"
version = "0.2.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = "BSD-3-Clause"
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
[gpr-externals]
ADA_TOML_BUILD_MODE = ["dev", "prod"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals]
ADA_TOML_BUILD_MODE = "prod"
[origin]
url = "https://github.com/pmderodat/ada-toml/archive/v0.2.tar.gz"
hashes = ["sha512:f07de4871e633e1be0fd757daa5996dd8ea2d56eae44bbf27358518b58b6cd47274c9d1686fe669da4c464baf5122c707f9990cfdef7fa8c0b9504558e85dbcb"]
+81
View File
@@ -0,0 +1,81 @@
description = "Advanced Resource Embedder"
name = "are"
version = "1.1.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["are.gpr"]
tags = ["resource", "embedder", "generator"]
website = "https://gitlab.com/stcarrez/resource-embedder"
long-description = """
[![Build Status](https://img.shields.io/jenkins/s/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
[![Test Status](https://img.shields.io/jenkins/t/https/jenkins.vacs.fr/Bionic-Resource-Embedder.svg)](http://jenkins.vacs.fr/job/Bionic-Resource-Embedder/)
[![codecov](https://codecov.io/gh/stcarrez/resource-embedder/branch/master/graph/badge.svg)](https://codecov.io/gh/stcarrez/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 = false
'...' = false
[[depends-on]]
xmlada = "~21.0.0"
[gpr-externals]
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]
BUILD = "distrib"
ARE_SWITCH = "NO_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"
[origin]
commit = "cf491d2c73c90daace4e39dbc221a4b4990a349f"
url = "git+https://github.com/stcarrez/resource-embedder.git"
+19
View File
@@ -0,0 +1,19 @@
name = "asfml"
description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.5.0"
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
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.5"
[origin]
commit = "17e54f663a163ef68359dea1326ad5b8379d8f02"
url = "git+https://github.com/mgrojo/ASFML.git"
+19
View File
@@ -0,0 +1,19 @@
name = "asfml"
description = "ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library"
version = "2.5.1"
authors = ["Manuel Gomez", "Dan Lee Vazquez Garcia"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
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.5"
[origin]
commit = "52a013554bcfb6150e0d6391871356c1443a6b93"
url = "git+https://github.com/mgrojo/ASFML.git"
+15
View File
@@ -0,0 +1,15 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.3.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[origin]
commit = "0371353e27dcad8f4c0d53bea0c319636bc2b49e"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+22
View File
@@ -0,0 +1,22 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "0.2.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 = "~0.3"
gnat = ">=10"
[origin]
commit = "48694afc6b4e088a33592e1e19243fdd1bb38ad7"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+15
View File
@@ -0,0 +1,15 @@
name = "blake2s"
description = "SPARK83 implementation of the BLAKE2s hash function"
version = "0.1.0"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/blake2s"
tags = ["spark", "hash", "blake2", "blake2s"]
[origin]
commit = "822db20dbfd078f05d2d2048bf6af24c65fc37fc"
url = "git+https://github.com/lkujaw/blake2s.git"
+15
View File
@@ -0,0 +1,15 @@
name = "blake2s"
description = "SPARK83 implementation of the BLAKE2s hash function"
version = "0.1.1"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/blake2s"
tags = ["ada1987", "spark", "hash", "blake2", "blake2s"]
[origin]
commit = "dfd349378dca21ca354a6f6858ab9d623c7a949e"
url = "git+https://github.com/lkujaw/blake2s.git"
@@ -0,0 +1,24 @@
name = "canberra_ada"
description = "Ada 2012 bindings for libcanberra"
version = "2.0.0"
website = "https://github.com/onox/canberra-ada"
licenses = "Apache-2.0"
tags = ["canberra", "audio", "sound"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[available.'case(os)']
linux = true
'...' = false
[[depends-on]]
libcanberra = "~0.30.0"
[origin]
hashes = [
"sha512:3de867fe19d8547c2598de8b063137f1fcde27787cfe2e8a1e59103d83f187efea4a6a269f69cb14e2eb3f8c7b182fb6a896e6ece77dd97b1dea659203a9ff5e",
]
url = "https://github.com/onox/canberra-ada/releases/download/v2.0.0/canberra_ada-2.0.0.tgz"
@@ -0,0 +1,21 @@
name = "canberra_ada"
description = "Ada 2012 bindings for libcanberra"
version = "2.0.1"
website = "https://github.com/onox/canberra-ada"
licenses = "Apache-2.0"
tags = ["canberra", "audio", "sound"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[available.'case(os)']
linux = true
'...' = false
[[depends-on]]
libcanberra = "~0.30.0"
[origin]
commit = "d70ce23f945535f68be6af4b3fb73d58f57b1d4c"
url = "git+https://github.com/onox/canberra-ada.git"
+14
View File
@@ -0,0 +1,14 @@
name = "cmd_ada"
description = "Command based text UI, inspired by Python cmd module"
version = "0.0.1"
authors = ["Henrik Härkönen"]
maintainers = ["Henrik Härkönen <heharkon@iki.fi>"]
maintainers-logins = ["heharkon"]
tags = ["ui", "command-line"]
licenses = "Apache-2.0"
[origin]
commit = "fe3d4ab5dfcdad4f682dddbe0d8d8d6a1d4a838a"
url = "git+https://github.com/heharkon/ada_cmd.git"
@@ -0,0 +1,15 @@
name = "dir_iterators"
description = "Ways of moving around directory trees"
version = "0.0.1"
website = "https://github.com/pyjarrett/dir_iterators"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["dir", "files", "walk"]
[origin]
commit = "2e1fcc63ab6a31437096d352d5fe88f3702c1a77"
url = "git+https://github.com/pyjarrett/dir_iterators.git"
@@ -0,0 +1,15 @@
name = "dir_iterators"
description = "Ways of moving around directory trees"
version = "0.0.2"
website = "https://github.com/pyjarrett/dir_iterators"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["dir", "files", "walk"]
[origin]
commit = "614fd41664c1661f28d474823fcad82753efecdb"
url = "git+https://github.com/pyjarrett/dir_iterators.git"
+21
View File
@@ -0,0 +1,21 @@
name = "evdev"
description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
version = "1.0.0"
website = "https://github.com/onox/evdev-ada"
licenses = "Apache-2.0"
tags = ["evdev", "force-feedback"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
project-files = ["evdev.gpr", "evdev_info.gpr"]
executables = ["evdev-ada"]
[available.'case(os)']
linux = true
'...' = false
[origin]
commit = "bf4d256dbf3c178da1c766bb0f76ab5dd188334f"
url = "git+https://github.com/onox/evdev-ada.git"
+21
View File
@@ -0,0 +1,21 @@
name = "evdev"
description = "Ada 2012 library for input and force-feedback using Linux' evdev API"
version = "1.0.1"
website = "https://github.com/onox/evdev-ada"
licenses = "Apache-2.0"
tags = ["evdev", "force-feedback"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
project-files = ["evdev.gpr", "evdev_info.gpr"]
executables = ["evdev-ada"]
[available.'case(os)']
linux = true
'...' = false
[origin]
commit = "6653da99332ef99215ef3fbafe0eb42b6267e4ec"
url = "git+https://github.com/onox/evdev-ada.git"
+20
View File
@@ -0,0 +1,20 @@
name = "felix"
description = "X/Open Native Language System (NLS) for Ada"
version = "0.1.0"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/felix"
tags = ["ada1995", "i18n", "nls",
"localization", "localisation", "l10n"]
# The underlying interface is dependent upon the Unix C library.
[available.'case(os)']
'windows' = false
[origin]
commit = "6b030f1b7fa20684ff06a146f3b48e43bd8bdfd3"
url = "git+https://github.com/lkujaw/felix.git"
+11
View File
@@ -0,0 +1,11 @@
description = "POSIX.5 Ada interface to operating system services"
name = "florist"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian" = ["libflorist2018-dev"]
"ubuntu" = ["libflorist2019-dev"]
@@ -0,0 +1,25 @@
name = "freetypeada"
description = "Thick binding to the FreeType library"
version = "0.1.0"
project-files = ["freetype.gpr"]
authors = ["Felix Krause"]
maintainers = ["Felix Krause <contact@flyx.org>"]
maintainers-logins = ["flyx"]
licenses = "MIT"
website = "https://github.com/flyx/FreeTypeAda"
tags = ["fonts", "rendering"]
[[depends-on]]
[depends-on."case(os)"."linux|windows"]
libfreetype = "^2"
[gpr-set-externals."case(os)"]
"linux|macos" = { FreeType_Linker_Param = "-lfreetype" }
"windows" = { FreeType_Linker_Param = "-lfreetype-6" }
[origin]
commit = "4fd90f573dc83a9b23e462520a60eb6a8dd92878"
url = "git+https://github.com/flyx/FreeTypeAda.git"
-10
View File
@@ -1,10 +0,0 @@
description = "GNAT is a compiler for the Ada programming language"
name = "gnat"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "version-output"
version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
version-command = ["gnat", "--version"]
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "10.3-1"
provides = ["gnat=10.3-1"]
description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-linux64-10.3.0-1.tar.gz"
hashes = ["sha256:8f71f65acc2eb45adc335318f7c9b33bfe77121fb17b404e252da969de6621a2"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-darwin-10.3.0-1.tar.gz"
hashes = ["sha256:2e090fa57235829873f8b3154a80ed890dd11c3d7c7f9a6b1cbb9921cce674f2"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-windows64-10.3.0-1.tar.gz"
hashes = ["sha256:7562c6f8beb9732fad32be692abf93e9aa54d39837f8232edeb593ba2cfc29fe"]
@@ -0,0 +1,17 @@
description = "GNAT is a compiler for the Ada programming language"
name = "gnat_external"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "version-output"
version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
version-command = ["gnat", "--version"]
provides = "gnat"
# We do not want to have system external definitions because in typical systems
# like Debian/Ubuntu only one version at a time can be installed. Hence using
# different versions in different crates/configurations would imply messing the
# users' system. Let them manually configure the compiler they want when they
# do not want one of the pre-packaged Alire versions.
@@ -0,0 +1,28 @@
name = "gnat_native"
version = "10.3-1"
description = "The GNAT Ada compiler - Native"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
provides = ["gnat=10.3-1"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-windows64-10.3.0-1.tar.gz"
hashes = ["sha256:6d85b367c642195308440f5b8bdc10b529e2014d58c4ada06e9c8a1f86bf5342"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-darwin-10.3.0-1.tar.gz"
hashes = ["sha256:20b3092f830adda081737e2d66322da8d4ad2bb9f5aa985bd18312d04fc61458"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-linux-10.3.0-1.tar.gz"
hashes = ["sha256:8b7c5dcd858ba01bbb66053bcc2899a7015ef426b0f90d47b5b142b90886a6a2"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "10.3-1"
provides = ["gnat=10.3-1"]
description = "The GNAT Ada compiler - RISC-V cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-linux64-10.3.0-1.tar.gz"
hashes = ["sha256:209ee8df59c3f84412f9cb5121a2df4db45daedce47fbd19f7318461b1a4c00a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-darwin-10.3.0-1.tar.gz"
hashes = ["sha256:a64d12884ab5a6892e0263ed136dd73f1917fc21a80c127b9495059dd3c1c70d"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-windows64-10.3.0-1.tar.gz"
hashes = ["sha256:f20c48b6097529361ab540fa17728292dc304749745e0222e6f17eb710337a22"]
@@ -1,6 +1,6 @@
name = "gnatcoll_gmp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
@@ -1,6 +1,6 @@
name = "gnatcoll_omp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
description = "GNAT Components Collection - OpenMP binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
+23
View File
@@ -0,0 +1,23 @@
name = "gnatcov"
version = "21.0-1"
description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
hashes = ["sha256:a1f859a747df7d6451776c9d32a51ba9e47f7fabeeb9749511cdd69fbe28ebef"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-darwin-21.0-1.tar.gz"
hashes = ["sha256:9aadf309133481d72bba5512b63b16d360a04ae960c2047484b71d47c39e3d2a"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-windows64-21.0-1.tar.gz"
hashes = ["sha256:8b38e414fde33549c177fe7e263e3a8a7276c4721a9138597a5d341296d41768"]
+22
View File
@@ -0,0 +1,22 @@
name = "gprbuild"
version = "21.0.0-1"
description = "The GPRBuild Ada/multilanguage build tool"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-linux-21.0.0-1.tar.gz"
hashes = ["sha256:349f6f95165901e9f5099e2046e62fdb2290745a6f984e15e1759f456362d646"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-darwin-21.0.0-1.tar.gz"
hashes = ["sha256:0193f1acb608045539f5568e22395007892cb2a44c89fb9eb170293621c66309"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-windows64-21.0.0-1.tar.gz"
hashes = ["sha256:c75588476b295107dddcd302b44e9eef86feebcb0c5168518335da6122264c8f"]
+14
View File
@@ -0,0 +1,14 @@
description = "The GPRBuild Ada/multilanguage build tool"
name = "gprbuild"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "version-output"
version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*"
version-command = ["gprbuild", "--version"]
[[external]]
kind = "system"
origin = ["gprbuild"]
+41
View File
@@ -0,0 +1,41 @@
name = "gwindows"
version = "1.4"
description = "GWindows - Ada Framework for Windows Development"
authors = [
"David Botton",
"Gautier de Montmollin"
]
maintainers = [
"Felix Patschkowski <felix.patschkowski@nexperia.com>"
]
maintainers-logins = [
"patschkowski"
]
licenses = "LGPL-2.0-or-later"
project-files = [
"gnatcom/gnatcom.gpr",
"gnatcom/gnatcom_tools.gpr",
"gwindows/gwindows.gpr"
]
executables = [
"bindcom",
"comscope",
"createcom",
"makeguid"
]
tags = [
"gui"
]
website = "https://sourceforge.net/projects/gnavi/"
[available.'case(os)']
windows = true
'...' = false
[environment.PATH]
prepend = "${CRATE_ROOT}/alire/build/gnatcom/tools"
[origin]
commit = "d0532079a0a2885248c3461d958d5bbab6077f52"
url = "git+https://github.com/zertovitch/gwindows.git"
+24
View File
@@ -0,0 +1,24 @@
name = "inotify"
description = "Ada 2012 library to monitor filesystem events using Linux' inotify API"
version = "1.0.1"
website = "https://github.com/onox/inotify-ada"
licenses = "Apache-2.0"
tags = ["inotify"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
project-files = ["inotify.gpr", "monitor.gpr"]
executables = ["inotify-ada"]
[available.'case(os)']
linux = true
'...' = false
[origin]
hashes = [
"sha512:ccfaedcd13f8c339d5f86599275efa15e8022645da45f9d72f380505d4770d2ffacc892152135a5b5d0b84b2cb5352e1ca11624b5dd7401dff8860b4ab76e478",
]
url = "https://github.com/onox/inotify-ada/releases/download/v1.0.1/inotify-1.0.1.tgz"
+21
View File
@@ -0,0 +1,21 @@
name = "inotify"
description = "Ada 2012 library to monitor filesystem events using Linux' inotify API"
version = "2.0.0"
website = "https://github.com/onox/inotify-ada"
licenses = "Apache-2.0"
tags = ["inotify"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
project-files = ["inotify.gpr", "monitor.gpr"]
executables = ["inotify-ada"]
[available.'case(os)']
linux = true
'...' = false
[origin]
commit = "482c5dadef833b56ae07fdbd6562b62037d4accc"
url = "git+https://github.com/onox/inotify-ada.git"
+1 -1
View File
@@ -1 +1 @@
version = "0.5"
version = "1.1"
+21
View File
@@ -0,0 +1,21 @@
name = "json"
description = "An Ada 2012 library for parsing JSON"
version = "4.0.1"
website = "https://github.com/onox/json-ada"
licenses = "Apache-2.0"
tags = ["json"]
executables = ["pretty_print"]
project-files = ["json.gpr", "json_pretty_print.gpr"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[origin]
hashes = [
"sha512:60937e87a233ba1986849e838dc84010453dae5930c7dc2fa5fbd7f9c15e5b2c20e8014b9ddf5c08dbce4dfc06747d2744af2b81849636416464fc63cd56f597",
]
url = "https://github.com/onox/json-ada/releases/download/v4.0.1/json-4.0.1.tgz"
+20
View File
@@ -0,0 +1,20 @@
name = "json"
description = "An Ada 2012 library for parsing JSON"
version = "5.0.0"
website = "https://github.com/onox/json-ada"
licenses = "Apache-2.0"
tags = ["json"]
executables = ["pretty_print"]
project-files = ["json.gpr", "json_pretty_print.gpr"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[origin]
hashes = [
"sha512:436f59e833f62cc2e9e906ad9db0b424d1b3b11f45c486d86d1dc32edfddd445a8a68d72e03306f3851276df3014bef064c0a5811c2cb65fdb6b770e96e490ae",
]
url = "https://github.com/onox/json-ada/releases/download/v5.0.0/json-5.0.0.tgz"
@@ -0,0 +1,14 @@
name = "libcanberra"
description = "A simple library for playing event sounds"
website = "http://0pointer.net/lennart/projects/libcanberra"
tags = ["canberra", "audio", "sound"]
licenses = "LGPL-2.1-or-later"
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[[external]]
kind = "system"
[external.origin.'case(distribution)']
'debian|ubuntu' = ["libcanberra-dev"]
arch = ["libcanberra"]
+12
View File
@@ -0,0 +1,12 @@
name = "libcsfml"
description = "Libraries for the C Binding of SFML - Development Files"
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
maintainers-logins = ["mgrojo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libcsfml-dev"]
"msys2" = ["mingw-w64-x86_64-csfml"]
"arch" = ["csfml"]
@@ -0,0 +1,12 @@
description = "A freely available software library to render fonts"
name = "libfreetype"
maintainers = ["contact@flyx.org"]
maintainers-logins = ["flyx"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libfreetype6-dev"]
arch = ["freetype2"]
msys2 = ["mingw-w64-x86_64-freetype"]
+4 -1
View File
@@ -6,4 +6,7 @@ maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
origin = ["libglfw3-dev"]
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libglfw3-dev"]
arch = ["glfw"]
msys2 = ["mingw-w64-x86_64-glfw"]
+1
View File
@@ -16,6 +16,7 @@ GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnat = "/=2021" # Does not build with GNAT Community 2021
xmlada = "~21.0.0"
[origin]
+1
View File
@@ -7,4 +7,5 @@ maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"arch" = ["libx11"]
"debian|ubuntu" = ["libx11-dev"]
+15
View File
@@ -0,0 +1,15 @@
name = "loga"
description = "Simple library for simple logging. Like npm package \"debug\", but for Ada"
version = "1.0.0"
authors = ["Cyrill Korshnyak ł"]
maintainers = ["Cyrill Korshnyak <kirillkorshnyak@yandex.com>"]
maintainers-logins = ["mangl-auf"]
tags = ["logging"]
website = "https://github.com/mangl-auf/loga/"
licenses = "Unlicense"
[origin]
commit = "e810ee037029e00fc3cacdde598fe981db51efd5"
url = "git+https://github.com/mangl-auf/loga.git"
+7 -3
View File
@@ -10,16 +10,20 @@ maintainers-logins = ["flyx"]
project-files = ["opengl.gpr", "opengl-glfw.gpr", "opengl-soil.gpr", "opengl-test.gpr"]
[[depends-on]]
gnat = "<8"
[depends-on."case(os)".linux]
libglfw3 = "^3"
libx11 = "^2"
libx11 = "^1"
[gpr-externals]
Auto_Exceptions = ["enabled", "disabled"]
GLFW_Version = ["2", "3"]
Mode = ["debug", "release"]
[gpr-set-externals."case(os)".linux]
Windowing_System = "x11"
[gpr-set-externals."case(os)"]
linux = { Windowing_System = "x11" }
macos = { Windowing_System = "quartz" }
windows = { Windowing_System = "windows" }
[origin]
url = "https://github.com/flyx/OpenGLAda/archive/v0.6.tar.gz"
+30
View File
@@ -0,0 +1,30 @@
name = "openglada"
description = "Thick Ada binding for OpenGL"
version = "0.9.0"
website = "http://flyx.github.io/OpenGLAda/"
authors = ["Felix Krause"]
licenses = "MIT"
maintainers = ["Felix Krause <contact@flyx.org>"]
maintainers-logins = ["flyx"]
project-files = ["opengl.gpr"]
tags = ["opengl", "binding", "rendering", "graphics"]
[[depends-on]]
[depends-on."case(os)".linux]
libx11 = "^1"
[gpr-externals]
Auto_Exceptions = ["enabled", "disabled"]
Mode = ["debug", "release"]
[gpr-set-externals."case(os)"]
linux = { Windowing_System = "x11" }
macos = { Windowing_System = "quartz" }
windows = { Windowing_System = "windows" }
[origin]
hashes = [
"sha512:4deb7effa92ea06c1fc9595700223b8169a85c15c4caf78221d2cfa95205260b5ba6d132d070b3f25d07549a6c9a8cde3b6405631a7d1ff487af8292c44a10e2",
]
url = "https://github.com/flyx/OpenGLAda/releases/download/v0.9.0/openglada-0.9.0.tgz"
@@ -0,0 +1,21 @@
name = "openglada_glfw"
description = "GLFW binding for use with OpenGLAda"
version = "0.9.0"
website = "http://flyx.github.io/OpenGLAda/"
authors = ["Felix Krause"]
licenses = "MIT"
maintainers = ["Felix Krause <contact@flyx.org>"]
maintainers-logins = ["flyx"]
project-files = ["opengl-glfw.gpr"]
tags = ["opengl", "glfw", "binding", "gui"]
[[depends-on]]
openglada = "~0.9.0"
libglfw3 = "^3"
[origin]
hashes = [
"sha512:fc25165caf510898d8c804b0ca4d8f763d49e0bd144ac70a2547f935ee90804b6ea5a1389eee08bb5528546f87eedb5b4e5884360a3a562a57338acea95f0e91",
]
url = "https://github.com/flyx/OpenGLAda/releases/download/v0.9.0/openglada_glfw-0.9.0.tgz"
@@ -0,0 +1,21 @@
name = "openglada_images"
description = "Image loading library for OpenGLAda"
version = "0.9.0"
website = "http://flyx.github.io/OpenGLAda/"
authors = ["Felix Krause"]
licenses = "MIT"
maintainers = ["Felix Krause <contact@flyx.org>"]
maintainers-logins = ["flyx"]
project-files = ["opengl-images.gpr"]
tags = ["opengl", "rendering", "graphics"]
[[depends-on]]
gid = "^9.0.0"
openglada = "~0.9.0"
[origin]
hashes = [
"sha512:b50ef8e7efb037d23d698f8af470a8a715571348f734411acecaa58e48b2edafe06c5c1a395c616650222ad3a183ead952d89ffebf6be72d11d7fefe1c944e8d",
]
url = "https://github.com/flyx/OpenGLAda/releases/download/v0.9.0/openglada_images-0.9.0.tgz"
@@ -0,0 +1,22 @@
name = "openglada_text"
description = "Text rendering library for OpenGLAda"
version = "0.9.0"
website = "http://flyx.github.io/OpenGLAda/"
authors = ["Felix Krause"]
licenses = "MIT"
maintainers = ["Felix Krause <contact@flyx.org>"]
maintainers-logins = ["flyx"]
project-files = ["opengl-text.gpr"]
tags = ["opengl", "rendering", "fonts"]
[[depends-on]]
openglada = "~0.9.0"
freetypeada = "~0.1.0"
[origin]
hashes = [
"sha512:9ca805328a927155a1bc7672115d95a757e7ad2529e8a71d7ac6c148e481b624e724c82eb810d6faa403d5a730042723dae7566a207863f53e290a5066b6f438",
]
url = "https://github.com/flyx/OpenGLAda/releases/download/v0.9.0/openglada_text-0.9.0.tgz"
+20
View File
@@ -0,0 +1,20 @@
name = "partord"
description = "Small library for sorting with partial orders"
version = "1.0.0"
long-description = "This is a generic library that exports a sorting function that can operate with partial ordering, that is, it can happen that for some A /= B neither A < B nor A > B hold."
website="https://gitlab.com/my-ada-library/partord/"
authors = ["Riccardo Bernardini"]
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
maintainers-logins = ["fintatarta"]
licenses = "MIT"
tags = ["sorting"]
project-files = "partord.gpr"
[origin]
commit = "30057d94d0ebda3278b329a5e8be46cf1caedd52"
url = "git+https://gitlab.com/my-ada-library/partord.git"
+19
View File
@@ -0,0 +1,19 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "0.2.1"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
website = "https://github.com/JeremyGrosser/pico_bsp"
[[depends-on]]
hal = "~0.1"
rp2040_hal = "~0.2"
[origin]
commit = "6762b1f0bb5d761b82908d25bc28ce16f94033df"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+19
View File
@@ -0,0 +1,19 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "0.4.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
website = "https://github.com/JeremyGrosser/pico_bsp"
[[depends-on]]
hal = "~0.1"
rp2040_hal = "~0.4"
[origin]
commit = "81f128828facd10d21d2f07ff6c9b299a05d1b87"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+19
View File
@@ -0,0 +1,19 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "0.5.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
website = "https://github.com/JeremyGrosser/pico_bsp"
[[depends-on]]
hal = "~0.1"
rp2040_hal = "~0.5"
[origin]
commit = "37e023a081ac178b71d63e01fba3b91e0242245c"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
@@ -0,0 +1,28 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "0.2.1"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
tags = ["embedded", "nostd", "pico", "rp2040"]
website = "https://github.com/JeremyGrosser/pico_examples"
auto-gpr-with=false
project-files = [
"adc_hello/adc_hello.gpr",
"blink/blink.gpr",
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
"pio_blink/pio_blink.gpr",
"pwm/pwm.gpr",
"timer/timer.gpr",
"uart_echo/uart_echo.gpr"]
[[depends-on]]
pico_bsp = "~0.2"
[origin]
commit = "172d110d9f57624516753593ba230098071484ea"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
@@ -0,0 +1,31 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "0.4.0"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
tags = ["embedded", "nostd", "pico", "rp2040"]
website = "https://github.com/JeremyGrosser/pico_examples"
auto-gpr-with=false
project-files = [
"adafruit_feather_rp2040/blink_feather.gpr",
"adc_hello/adc_hello.gpr",
"blink/blink.gpr",
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
"pio_blink/pio_blink.gpr",
"pwm/pwm.gpr",
"spi_loopback/spi_loopback.gpr",
"timer/timer.gpr",
"uart_echo/uart_echo.gpr"]
[[depends-on]]
pico_bsp = "~0.4"
[origin]
commit = "49f04edf1ddd163718adaa5cd80611f769249f36"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
@@ -0,0 +1,33 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "0.5.0"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
tags = ["embedded", "nostd", "pico", "rp2040"]
website = "https://github.com/JeremyGrosser/pico_examples"
auto-gpr-with=false
project-files = [
"adafruit_feather_rp2040/blink_feather.gpr",
"adc_hello/adc_hello.gpr",
"blink/blink.gpr",
"gpio_interrupts/gpio_interrupts.gpr",
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
"pio_blink/pio_blink.gpr",
"pwm/pwm.gpr",
"rtc/rtc.gpr",
"spi_loopback/spi_loopback.gpr",
"timer/timer.gpr",
"uart_echo/uart_echo.gpr"]
[[depends-on]]
pico_bsp = "~0.5"
[origin]
commit = "ac781c0418d23750bccabd5575c20721e9a83c0e"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
@@ -0,0 +1,20 @@
name = "progress_indicators"
description = "Ways of displaying progress in command line tools."
version = "0.0.1"
website = "https://github.com/pyjarrett/progress_indicators"
authors = ["the progress_indicators authors"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["command-line", "console", "terminal", "progress"]
project-files = ["progress_indicators.gpr"]
[[depends-on]] # This line was added by `alr with`
ansiada = "~0.1.0" # This line was added by `alr with`
[origin]
commit = "863e14c48ee885efeb6faab594455e632443278c"
url = "git+https://github.com/pyjarrett/progress_indicators.git"
@@ -0,0 +1,18 @@
name = "pygamer_bsp"
version = "1.0.0"
description = "Board Support Package for the AdaFruit PyGamer"
licenses = "BSD-3-Clause"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["pygamer_bsp.gpr"]
tags = ["embedded", "nostd", "pygamer", "adafruit", "game", "console", "bsp"]
[[depends-on]]
cortex_m = "~0.1.0"
samd51_hal = "~0.1.0"
[origin]
commit = "43d69885051ae88b57ba6a64b8ff7fc63eaad67d"
url = "git+https://github.com/Fabien-Chouteau/pygamer-bsp.git"
@@ -0,0 +1,19 @@
name = "pygamer_simulator"
version = "1.0.0"
description = "SDL simulator of the AdaFruit PyGamer console"
website = "https://github.com/Fabien-Chouteau/pygamer-simulator"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "BSD-3-Clause"
tags = ["pygamer", "adafruit", "game", "console", "simulator"]
project-files = ["pygamer_simulator.gpr"]
[[depends-on]]
asfml = "~2.5"
hal = "~0.1.0"
[origin]
commit = "c0b428bdaf94de296ec3591a11f8ae79f48cc0d3"
url = "git+https://github.com/Fabien-Chouteau/pygamer-simulator.git"
+19
View File
@@ -0,0 +1,19 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "0.2.1"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
website = "https://github.com/JeremyGrosser/rp2040_hal"
[[depends-on]]
cortex_m = "~0.3"
hal = "~0.1"
[origin]
commit = "3f05e6b1217e6534534856ff331fb6aebbc24f6b"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+19
View File
@@ -0,0 +1,19 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "0.4.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
website = "https://github.com/JeremyGrosser/rp2040_hal"
[[depends-on]]
cortex_m = "~0.3"
hal = "~0.1"
[origin]
commit = "c22b4554973dd3beed226d0b33be551c7d85e5b6"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+19
View File
@@ -0,0 +1,19 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "0.5.0"
licenses = "BSD-3-Clause"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
website = "https://github.com/JeremyGrosser/rp2040_hal"
[[depends-on]]
cortex_m = "~0.3"
hal = "~0.1"
[origin]
commit = "a3d897b1910a38f41046e47ea98f21c9e3a00912"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+59
View File
@@ -0,0 +1,59 @@
name = "sdlada"
version = "2.5.4-1"
description = "Ada 2012 bindings to SDL 2"
licenses = "Zlib"
tags = ["sdl", "framework"]
website = "https://github.com/Lucretia/sdlada"
authors = ["Luke A. Guest"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["build/gnat/sdlada.gpr"]
[[depends-on]]
libsdl2 = "^2.0"
libsdl2_image = "^2.0"
libsdl2_ttf = "^2.0"
# gnat = "/=2020" # Does not build yet with CE 2020
[[actions."case(os)".linux]]
type = "post-fetch"
command = ["make", "-C", "build/gnat", "SDL_PLATFORM=linux"]
[[actions."case(os)".linux]]
type = "pre-build"
command = ["make", "-C", "build/gnat", "SDL_PLATFORM=linux"]
[[actions."case(os)".macos]]
type = "post-fetch"
command = ["make", "-C", "build/gnat", "SDL_PLATFORM=macosx"]
[[actions."case(os)".windows]]
type = "post-fetch"
command = ["make", "-C", "build/gnat", "SDL_PLATFORM=windows"]
[available."case(os)"]
'linux|macos|windows' = true
"..." = false
[gpr-externals]
SDL_MODE = ["debug", "release"]
SDL_PLATFORM = ["linux", "bsd", "windows", "macosx", "ios", "android"]
[gpr-set-externals."case(os)".linux]
SDL_PLATFORM = "linux"
[gpr-set-externals."case(os)".macos]
SDL_PLATFORM = "macosx"
[gpr-set-externals."case(os)".windows]
SDL_PLATFORM = "windows"
[environment.'case(distribution)'.msys2.C_INCLUDE_PATH]
# sdlada expects SDL2 headers to be in the C_INCLUDE_PATH but the option
# used in the project file ("-I/usr/include/SDL2") doesn't work with msys2
append = "${DISTRIB_ROOT}/mingw64/include/SDL2"
[origin]
commit = "7981bbd658fa7b0618f6fae689b3af634d2d8234"
url = "git+https://github.com/alire-project/sdlada.git"
@@ -0,0 +1,21 @@
name = "shoot_n_loot"
version = "1.0.0"
description = "Platform game for the AdaFruit PyGamer console"
website = "https://github.com/Fabien-Chouteau/shoot-n-loot"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "MIT"
tags = ["pygamer", "game", "simulator"]
project-files = ["shoot_n_loot_simulator.gpr"]
executables = ["shoot_n_loot_sim"]
[[depends-on]]
pygamer_simulator = "~1.0.0"
pygamer_bsp = "~1.0.0"
geste = "^1.1.0"
virtapu = "~0.2.0"
[origin]
commit = "227d9dad4c4db451968734a783afbf12132309e1"
url = "git+https://github.com/Fabien-Chouteau/shoot-n-loot.git"
+16
View File
@@ -0,0 +1,16 @@
name = "slip"
version = "0.0.1"
description = "SLIP Protocol Implementation"
licenses = "BSD-3-Clause"
authors = [ "Biser Milanov", ]
maintainers = [ "bmilanov11@gmail.com", ]
maintainers-logins = [ "bmilanov", ]
website = "https://gitlab.com/bmilanov/slip"
tags = [ "embedded", "protocols", "spark" ]
[origin]
commit = "b99d32df8530b4ef45a2c79c4bfb918b3a76710a"
url = "git+https://gitlab.com/bmilanov/slip.git"
+29
View File
@@ -0,0 +1,29 @@
name = "sparknacl"
description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library"
long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties"
version = "2.0.0"
tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
licenses = "BSD-2-Clause"
website = "https://github.com/rod-chapman/SPARKNaCl"
authors = ["Rod Chapman"]
maintainers = ["Rod Chapman <rod@proteancode.com>"]
maintainers-logins = ["rod-chapman"]
[[depends-on]]
gnat = ">=2020"
[gpr-externals]
SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"]
SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"]
SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"]
SPARKNACL_CONTRACTS = ["enabled", "disabled"]
SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3"]
SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_f4l4"]
[origin]
commit = "77e57c77b41bb2f8402c810e8c80321581a477ce"
url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
@@ -0,0 +1,29 @@
name = "trendy_terminal"
description = "Terminal options and setup"
version = "0.0.1"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "Apache-2.0"
tags = ["terminal", "command-line", "console"]
project-files = ["trendy_terminal.gpr"]
[gpr-externals]
Mode = ["debug", "optimize"]
[gpr-set-externals.'case(os)']
windows = { Trendy_Terminal_Platform = "windows" }
linux = { Trendy_Terminal_Platform = "linux" }
macos = { Trendy_Terminal_Platform = "macos" }
[available.'case(os)']
linux = true
windows = true
macos = false
[origin]
commit = "039b79ed12bcfe325f9981b78b2ec315fa4b11bd"
url = "git+https://github.com/pyjarrett/trendy_terminal.git"
+130
View File
@@ -0,0 +1,130 @@
name = "trendy_test"
description = "Minimal Effort Ada Unit Testing Library"
version = "0.0.1"
website = "https://github.com/pyjarrett/trendy_test"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["test", "unit-test", "unit"]
project-files = ["trendy_test.gpr"]
long-description = '''
# trendy_test
Minimum Effort Ada Unit Testing Library
[![Build Status](https://github.com/pyjarrett/trendy_test/actions/workflows/build.yml/badge.svg)](https://github.com/pyjarrett/trendy_test/actions)
## Features
- Minimum setup
- Parallelization of tests
- Randomization of test order to find dependencies between tests
- No generated code or scripts needed
## Example
```ada
with Ada.Text_IO;
with Trendy_Test;
with Trendy_Test.Reports;
procedure My_Test_Main is
begin
Trendy_Test.Register (My_Tests.All_Tests);
Trendy_Test.Reports.Print_Basic_Report(Trendy_Test.Run);
end My_Test_Main;
----------------------------------------------------------------
with Trendy_Test;
package My_Tests is
function All_Tests return Trendy_Test.Test_Group;
end Trendy_Command_Line_Tests;
----------------------------------------------------------------
package body My_Tests is
procedure Test_Sample (T : in out Trendy_Test.Operation'Class) is
begin
-- Don't put anything above here you don't want run during listing/other ops.
T.Register;
T.Assert (Some_Expression);
end Test_Sample;
procedure Test_Is_Disabled (T : in out Trendy_Test.Operation'Class) is
begin
T.Register(Disabled => True); -- Disabled, don't run this test.
T.Assert (Some_Expression);
end Test_Sample;
procedure Test_Is_Not_Run_In_Parallel (T : in out Trendy_Test.Operation'Class) is
begin
T.Register(Parallelize => False); -- There's some dependency, so don't run it in parallel.
T.Assert (Some_Expression);
end Test_Sample;
function All_Tests return Trendy_Test.Test_Group is
begin
return
(Test_Sample'Access,
Test_Is_Disabled'Access
);
end All_Tests;
end My_Tests;
```
## Example Output
```
D:\dev\ada\trendy_command_line\bin\trendy_command_line_test_main
[ PASS ] shared_pointers_tests.test_multiple_oracles 0.000105300
[ PASS ] shared_pointers_tests.test_single_oracle 0.000052700
[ PASS ] trendy_command_line.context_free.tests.test_is_long_option 0.000002300
[ PASS ] trendy_command_line.context_free.tests.test_is_option_terminator 0.000007200
[ PASS ] trendy_command_line.context_free.tests.test_is_short_option 0.000005000
[ PASS ] trendy_command_line.context_free.tests.test_is_short_option_or_group 0.000009200
[ PASS ] trendy_command_line_tests.flags.test_boolean_option_defaults 0.000149400
[ FAIL ] trendy_command_line_tests.flags.test_boolean_option_short_option_group 0.000185600
Assertion Failed: (Condition false) at D:\dev\ada\trendy_command_line\src\trendy_command_line_tests-flags.adb: 110[D:\dev\ada\trendy_command_line\bin\trendy_command_line_test_main.exe]
0x453530 Trendy_Test.Report_Failure at trendy_test.adb:88
0x4535a4 Trendy_Test.Assert at trendy_test.adb:102
0x425338 Trendy_Command_Line_Tests.Flags.Test_Boolean_Option_Short_Option_Group at trendy_command_line_tests-flags.adb:110
0x451ff1 Trendy_Test.Run_Test at trendy_test.adb:237
0x452d4c Trendy_Test.Run.Parallel_Test_TaskTB at trendy_test.adb:277
0x4601a2 system__tasking__queuing__select_protected_entry_call at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffd7d1f7032
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffd7e08264f
[ FAIL ] trendy_command_line_tests.flags.test_boolean_option_short_options 0.001984800
Assertion Failed: (Condition false) at D:\dev\ada\trendy_command_line\src\trendy_command_line_tests-flags.adb: 93[D:\dev\ada\trendy_command_line\bin\trendy_command_line_test_main.exe]
0x453530 Trendy_Test.Report_Failure at trendy_test.adb:88
0x4535a4 Trendy_Test.Assert at trendy_test.adb:102
0x425a43 Trendy_Command_Line_Tests.Flags.Test_Boolean_Option_Short_Options at trendy_command_line_tests-flags.adb:93
0x451ff1 Trendy_Test.Run_Test at trendy_test.adb:237
0x452d4c Trendy_Test.Run.Parallel_Test_TaskTB at trendy_test.adb:277
0x4601a2 system__tasking__queuing__select_protected_entry_call at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffd7d1f7032
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffd7e08264f
[ PASS ] trendy_command_line_tests.flags.test_boolean_option_toggles 0.000153600
[ PASS ] trendy_command_line_tests.flags.test_boolean_option_too_many_occurrences
0.003517400
[ PASS ] trendy_command_line_tests.test_long_option_with_argument 0.000013000
[ PASS ] trendy_command_line_tests.test_one_operand 0.000006700
[ PASS ] trendy_command_line_tests.test_short_option_with_argument 0.000193600
Results: Passed: 12 / 14
```
'''
[origin]
commit = "c9f5215962c35e8c9434c732b574dbb173f1ab31"
url = "git+https://github.com/pyjarrett/trendy_test.git"
+6 -6
View File
@@ -17,19 +17,19 @@ UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbs
[gpr-set-externals]
BUILD = "distrib"
UTIL_LIBRARY_TYPE = "static"
[gpr-set-externals."case(os)".linux."case(word_size)".bits-32]
[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]
[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 = "windows32"
[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 = "windows64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[origin]
url = "https://github.com/stcarrez/ada-util/archive/2.0.0.tar.gz"
+6 -6
View File
@@ -17,19 +17,19 @@ UTIL_OS = ["win32", "win64", "linux32", "linux64", "macos64", "netbsd32", "netbs
[gpr-set-externals]
BUILD = "distrib"
UTIL_LIBRARY_TYPE = "static"
[gpr-set-externals."case(os)".linux."case(word_size)".bits-32]
[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]
[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 = "windows32"
[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 = "windows64"
[gpr-set-externals."case(os)".windows."case(word-size)".bits-64]
UTIL_OS = "win64"
[origin]
url = "https://github.com/stcarrez/ada-util/archive/2.1.0.tar.gz"
@@ -0,0 +1,21 @@
name = "uxstrings"
description = "Unicode Extended Strings utilities"
version = "0.1.2+alpha-20210226"
tags = ["unicode", "dynamic", "string"]
authors = ["Pascal Pignard"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/UXStrings"
licenses = "CECILL-2.1"
project-files = ["lib_uxstrings1.gpr"]
[[depends-on]]
gnat = ">=2020"
[origin]
commit = "194041529e9b3b36a286748f3ae3baf4a6247c61"
url = "git+https://github.com/Blady-Com/UXStrings.git"
@@ -0,0 +1,21 @@
name = "uxstrings"
description = "Unicode Extended Strings utilities"
version = "0.2.0+alpha-20210405"
tags = ["unicode", "dynamic", "string"]
authors = ["Pascal Pignard"]
maintainers = ["Pascal Pignard <blady.net@orange.fr>"]
maintainers-logins = ["Blady-Com"]
website = "https://github.com/Blady-Com/UXStrings"
licenses = "CECILL-2.1"
project-files = ["lib_uxstrings1.gpr"]
[[depends-on]]
gnat = ">=2020"
[origin]
commit = "dc18ba90b357190733ea992e23f3de92dfa619f9"
url = "git+https://github.com/Blady-Com/UXStrings.git"
+17
View File
@@ -0,0 +1,17 @@
name = "vss"
description = "Advanced string and text manipulation with Unicode support"
version = "22.0.0-20210224"
tags = ["unicode", "json", "text"]
authors = ["AdaCore"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
website = "https://github.com/AdaCore/VSS"
project-files = ["gnat/vss_text.gpr", "gnat/vss_json.gpr"]
[origin]
commit = "ffac74a99cc50519caefaf50f6b0aac5785fa641"
url = "git+https://github.com/AdaCore/VSS.git"
@@ -0,0 +1,14 @@
name = "weechat_ada"
description = "Ada 2012 library for WeeChat plug-ins"
version = "2.0.1"
website = "https://github.com/onox/weechat-ada"
licenses = "Apache-2.0"
tags = ["chat", "irc", "weechat"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[origin]
commit = "fbd97f57775a24a3af432022279cfeb50b182800"
url = "git+https://github.com/onox/weechat-ada.git"
+35
View File
@@ -0,0 +1,35 @@
name = "zipada"
version = "56.0.2"
authors = [ "Gautier de Montmollin", ]
description = "Manage Zip Archives and raw LZMA streams"
licenses = "MIT"
tags = [ "zip" ]
maintainers = [ "alejandro@mosteo.com" ]
maintainers-logins = [ "mosteo", "zertovitch" ]
project-files = [ "zipada.gpr" ]
executables = [
"bunzip",
"bwt_dec",
"bwt_demo",
"bwt_enc",
"comp_zip",
"demo_csv_into_zip",
"demo_unzip",
"demo_zip",
"find_zip",
"lzhuf",
"lzma_dec",
"lzma_enc",
"rezip",
"unzipada",
"zipada",
"zip_dir_list",
]
[origin]
commit = "b304349946fd09247bdfbb4c7b1eba8009a706d7"
url = "git+https://github.com/mosteo/zip-ada.git"
+2 -2
View File
@@ -13,5 +13,5 @@ project-files = ["zlib.gpr"]
zlib = "^1.2"
[origin]
url = "https://sourceforge.net/projects/zlib-ada/files/zlib-ada/1.3/zlib-ada-1.3.tar.gz"
hashes = ["sha512:e1677e3caa1fa963073b11bfba28f90e4ecd3032c1615792ad61a9860b25c73f5ef8ad062277ce29bc2ce7af08f45995161760baf4e60b79d194986fa2839977"]
url = "git+https://git.code.sf.net/p/zlib-ada/git"
commit = "66c182db29f92fda3f4a5e48b5701c1a24b97c61"
+17
View File
@@ -0,0 +1,17 @@
name = "system package, consider removing lib prefix if appropriate"
description = "A meaningful description, possibly taken from apt show"
maintainers = ["your@mail.com"]
maintainers-logins = ["your-github-login"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
# Remove any without known system packages
"arch" = ["fill"]
"centos" = ["fill"]
"debian" = ["fill"]
"fedora" = ["fill"]
"msys2" = ["fill"]
"rhel" = ["fill"]
"ubuntu" = ["fill"]