Compare commits

...

49 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
Alejandro R Mosteo 08b1bb0e7b rclada 0.1.0 (#209) 2020-12-18 17:27:36 +01:00
Fabien Chouteau 574503dfeb cortex_m and microbit_bsp updates (#212) 2020-12-17 10:21:59 +01:00
Fabien Chouteau 80ffc18ecc Atomic 0.2.0 (#214) 2020-12-17 09:02:53 +01:00
Fabien Chouteau 68bb1a3c56 atomic 0.1.0 (#213) 2020-12-04 08:21:38 +01:00
Roderick Chapman 06d6bb7ee2 Add files via upload (#211) 2020-12-01 10:21:58 +01:00
Fabien Chouteau 9307ef9c4f SPDX 0.2.0 (#210) 2020-11-24 11:59:02 +01:00
Alejandro R Mosteo 2710ed3da7 Move from dev to ce2020 Ada toolchain action (#208)
`dev` contains obsolete nodejs modules and causes the workflow to fail.
2020-11-18 11:15:19 +01:00
Alejandro R Mosteo e786d63c1c Update Author check workflow to use stable alr (#207) 2020-11-18 08:23:25 +01:00
Vadim Godunko 4d13e62af7 VSS 21.0.0 (#206)
Initial version of VSS crate
2020-11-17 17:08:05 +01:00
Jeremy Grosser ad73364ad1 tiny_text 1.0.0 (#204) 2020-11-16 16:52:56 +01:00
Pierre-Marie de Rodat 0e871b8c53 lal_highlight 21.0.0 (#198)
* Add tags to libadalang

* lal_highlight: new crate, release 21.0.0
2020-11-12 12:33:43 +01:00
Alejandro R Mosteo 5611e7b7ec Iterators 0.1.0 (#205)
* Second fix for spurious alire.toml detection

* Iterators 0.1.0
2020-11-12 11:59:50 +01:00
Alejandro R Mosteo e7719b1b9c Second fix for spurious alire.toml detection (#203) 2020-11-12 07:39:44 +01:00
Alejandro R Mosteo 59ba4b0335 Fix spurious detection of alire.toml during build test (#201)
The detection is correct in the sense that the file is at ./alire/alire.toml,
but it is not an old manifest but the proper manifest of the alire repo. This
is an unexpected and unwanted interaction that should go away once the check
for old manifests is removed. For now, it's simpler to just do the tests in a
clean folder.
2020-11-09 13:43:28 +01:00
Fabien Chouteau 33ab89d7d7 AWS 21.0.0 (#197) 2020-11-05 12:22:06 +01:00
Fabien Chouteau f96cb81895 SPDX license expression validator v0.1.0 (#196) 2020-10-23 17:12:38 +02:00
Fabien Chouteau 021528cc1c GTKAda 21.0.0 (#189)
* GTKAda 21.0.0

* Fix gtkada on msys2 and update eagle_lander

* pkg_config on msys2: use mingw pkg-config
2020-10-21 21:13:01 +02:00
Fabien Chouteau 6c0fe66fe7 GNATcoll db change GitHub release URL (#195) 2020-10-21 16:01:39 +02:00
Fabien Chouteau aec6dc3b60 GNATcoll bindings change GitHub release URL (#194) 2020-10-21 16:01:13 +02:00
Fabien Chouteau 9e8c0e3504 gnatcoll change GitHub release URL (#193) 2020-10-21 14:49:59 +02:00
Fabien Chouteau 6c66c1085d libgpr change GitHub release URL (#192) 2020-10-21 14:49:34 +02:00
Fabien Chouteau fba23832c9 XMLAda change GitHub release URL (#191)
The downloaded archive will be xmlada-21.0.0.zip instead of v21.0.0.zip
2020-10-21 13:53:47 +02:00
Pierre-Marie de Rodat 08b52744fe libadalang & langkit_support 21.0.0 (#188) 2020-10-20 15:18:50 +02:00
Fabien Chouteau dc39422528 VirtAPU 0.2.0 (#190) 2020-10-20 07:31:01 +02:00
Vinzent "Jellix" Saranen 1b78c01d37 Industrial Control Widget Library (AICWL) 3.24.1 (#179)
* Add AICWL to index.

* * Fixed wrong location of crate file.

* * Use gtkada, not libgtkada (not sure if that makes a difference at this point).

* Dependency on gtkada^17

This seems to be the latest version (at least with GNAT CE 2020).

* Update aicwl-3.24.0.toml

Require "at least" gtkada 17, instead of "exactly" 17.

* * Release repository restructured.
* License fixed (it actually has the linking exception, so it's GMGPL, not GPL.)
* Added patch level version number.

* * Improved upon alire.toml:
  * Compilation of all examples and test programs.
  * gpr-externals
  * Description(s)

* * Disabled building of (most) executables due to missing libraries.

* * Deleted crate version 3.24.0.

* Update aicwl-3.24.1.toml

Removed executables.
xpm2gtkada would be one to be build, but right now this requires simple components which is not packaged (yet).

* Update aicwl-3.24.1.toml
2020-10-19 17:43:55 +02:00
Vinzent "Jellix" Saranen 4197ed6252 SPAT v1.3.0 (#187)
* SPAT v1.3.0

* Update spat-1.3.0.toml

* Refined dependency on si_units version
2020-10-19 17:37:09 +02:00
Vinzent "Jellix" Saranen a98a63a8d6 SI_Units v0.2.0 (#186)
* SI_Units v0.2.0

* Update si_units-0.2.0.toml

Fixed wording.

* Update si_units-0.2.0.toml

- Removed `executables` (tests and examples are not supposed to be there)
- Removed project file for building the test executable from `project-files`.
2020-10-19 13:41:28 +02:00
Fabien Chouteau 64aa625448 AUnit and templates-parser 21.0.0 (#184) 2020-10-19 13:39:29 +02:00
Fabien Chouteau e8d35d8560 GNATcoll DB 21.0.0 (#183) 2020-10-19 09:02:33 +02:00
Fabien Chouteau 7f8da2c224 GNATcoll bindings 21.0.0 (#182)
* Add GNATcoll bindings 21.0.0

For the same reason as GNATcoll, this patch removes the 2019 release of
gmp and iconv.

* Add externals for GNATcoll bindings
2020-10-16 20:20:20 +02:00
Alejandro R Mosteo 7fc0e55647 minirest 0.1, curl external (#178)
* minirest-0.1, curl-external

* Make the distribution case explicit

With workaround for outdated js toml parser
2020-10-16 16:50:46 +02:00
Fabien Chouteau e66421f00f GNATColl Core 21.0.0 (#181)
This patch removes 2019 and 2018 releases. The rational is that those
releases follow the GNAT Community versioning (i.e. 20XX) and this is
not compatible with the versions from the GitHub repo (i.e. XX).  Since
we want to use the GitHub sources from now on, if we don't remove the
GNAT Community releases they will be the latest forever (in terms of
semver comparison).

This is against our policy that no releases should be removed from the
index. However we are doing this before the first release of Alire and
to avoid a mess of version handling for everyone (e.g. depends-on
gnatcoll=">=19 & <2000").

This patch also removes the external gnatcoll as there is now a GMGPL
source version.
2020-10-16 16:46:49 +02:00
Fabien Chouteau 1043f4e678 Add libgpr 21.0.0 (#180) 2020-10-16 13:26:34 +02:00
Fabien Chouteau 783a233b4c XMLAda 21.0.0 (#177) 2020-10-15 23:33:03 +02:00
Alejandro R Mosteo b3caa8bff8 aaa 0.2.1 (#176)
Version required by minirest and alire
2020-10-15 23:31:37 +02:00
Alejandro R Mosteo 126e62a832 Add files via upload (#162) 2020-10-15 16:49:09 +02:00
Maxim Reznik b9d7241e59 Add jupyter_kernel (#169) 2020-10-14 13:35:43 +02:00
Vinzent "Jellix" Saranen fc4f7b8a08 SPAT v1.2.1 release (#173)
Identical to v1.2.0, except for the version number and the added alire.toml

Co-authored-by: Alejandro R Mosteo <alejandro@mosteo.com>
2020-10-14 13:24:41 +02:00
Vinzent "Jellix" Saranen 6146d32bbe SI Units v0.1.2 (Alire integration). (#172)
* SI_Units v0.1.2 (Alire integration).

* Fixed alire.toml, and changed scenario variable name (and subsequently version number), as suggested.
2020-10-14 11:14:51 +02:00
75 changed files with 1483 additions and 184 deletions
+10 -4
View File
@@ -19,6 +19,7 @@ jobs:
- ubuntu-latest
- windows-latest
tag:
- arch-rolling
- centos-latest-community-latest
- community-current
- debian-stable
@@ -27,6 +28,8 @@ jobs:
exclude: # inclusions don't allow to add arrays of values to a scenario
- os: ubuntu-latest
tag: ""
- os: macos-latest
tag: arch-rolling
- os: macos-latest
tag: centos-latest-community-latest
- os: macos-latest
@@ -35,6 +38,8 @@ jobs:
tag: debian-stable
- os: macos-latest
tag: ubuntu-lts
- os: windows-latest
tag: arch-rolling
- os: windows-latest
tag: centos-latest-community-latest
- os: windows-latest
@@ -56,18 +61,18 @@ jobs:
- name: Set up GNAT toolchain (FSF)
if: matrix.os == 'ubuntu-latest'
uses: ada-actions/toolchain@dev
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: matrix.os != 'ubuntu-latest'
uses: ada-actions/toolchain@dev
uses: ada-actions/toolchain@ce2020
with:
distrib: community
- name: Set up `alr`
uses: mosteo/setup-alire@exp
uses: alire-project/setup-alire@latest-stable
- name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -75,10 +80,11 @@ jobs:
with:
image: alire/gnat:${{matrix.tag}}
command: scripts/gh-build-crate.sh
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
- name: Set up msys2 (Windows)
if: matrix.os == 'windows-latest'
run: ./alire/bin/alr --non-interactive version
run: ./alire_install/bin/alr --non-interactive version
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
+7 -1
View File
@@ -5,11 +5,17 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: alire-project/check-author@master
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- uses: alire-project/setup-alire@dev
- uses: alire-project/setup-alire@latest-stable
- run: alr index --list
- run: alr index --add=. --name=local_index
- run: alr index --update-all
- run: alr list
+26
View File
@@ -0,0 +1,26 @@
name = "aaa"
version = "0.2.1"
description = "Alex's Ada Assortment (of miscellaneous utilities)"
long-description = """
Alex's Ada Assortment of Utilities
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String vectors.
- Simple subprocess spawning.
"""
authors = ["Alejandro R. Mosteo"]
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[origin]
commit = "103f0d1954aa1181542baa939bae44ca98bff05f"
url = "git+https://github.com/mosteo/aaa.git"
+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"
+71
View File
@@ -0,0 +1,71 @@
description = "Ada Industrial Control Widgets Library"
long-description = """
This crate provides a library for designing high-quality industrial control
widgets for Ada applications. The software is based on
[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
Ada bindings to [Gtk+](https://www.gtk.org/), and
[cairo](https://www.cairographics.org/manual/index.html).
The key features of the library are:
* Widgets composed of transparent layers drawn by cairo
* Fully scalable graphics
* Support of time controlled refresh policy for real-time and heavy-duty applications
* Caching graphical operations
* Stream I/O support for serialization and deserialization
* Ready-to-use gauge, meter, oscilloscope widgets
* Editor widget for WYSIWYG design of complex dashboards
For further information, visit the
[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
Maintainer's note:
This Alire crate is packaged in a rather minimalistic way to keep dependencies
on external libraries at a minimum. The crate's definition covers the core
functionality of AICWL, though, so it should be sufficient for most needs.
For example, the original distribution has references to
[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
not strictly necessary for the core functionality of the library.
"""
name = "aicwl"
version = "3.24.1"
authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
licenses = ["GMGPL 2.0", # according to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
"LGPL 3.0"] # according to sourceforge (https://sf.net/projects/aicwl)
maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
maintainers-logins = ["Jellix"]
project-files = ["sources/aicwl.gpr", # The library itself
"sources/aicwl-editor.gpr" # UI editor component
# Examples and tests omitted here
]
tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
[gpr-externals]
Legacy = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
# Target_OS = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
# arch = ["x86_64", "i686", "armhf", "aarch64", "auto"]
#
# Note: Arch and Target_OS are determined automatically from Project'Target, so
# no need to have them set explicitely.
#
# Object_Dir = [".", "nested"]
#
# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
# "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
# e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
# being unchanged.
# Hence we should leave it as is (the default is "."), trusting Alire to
# set an appropriate one.
[[depends-on]]
gtkada = ">=17"
[origin]
commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
url = "git+https://github.com/HeisenbugLtd/aicwl.git"
+15
View File
@@ -0,0 +1,15 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.1.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 = "1951459d24343b55dc814d257447756a18b149cd"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+15
View File
@@ -0,0 +1,15 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.2.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 = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+17
View File
@@ -0,0 +1,17 @@
description = "Ada unit test framework"
name = "aunit"
version = "21.0.0"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/AdaCore/aunit/archive/v21.0.0.zip"
hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
+45
View File
@@ -0,0 +1,45 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "21.0.0"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
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 action.
[[actions]]
type = "post-fetch"
command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false",
"LAL=false", "XMLADA=false", "prefix=install_dir"]
[[depends-on]]
make = "*"
xmlada = "~21.0.0"
gnat = ">=9"
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
PRJ_BUILD = ["Debug", "Release"]
PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals]
PRJ_LAL="Disabled"
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TARGET = "x86_64-linux-gnu"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
[origin]
url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
-17
View File
@@ -1,17 +0,0 @@
description = "Ada Web Server"
name = "aws"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
hint = "Available through GNAT CE bundles"
kind = "hint"
[external.available."case(toolchain)"]
system = false
[[external]]
kind = "system"
origin = ["libaws3.3.2.2-dev"]
[external.available."case(toolchain)"]
user = false
+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"
+33
View File
@@ -0,0 +1,33 @@
description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = '''# cortex-m
Ada drivers for the peripherals of ARM Cortex-M micro-controllers
(NVIC,\nSysTick, etc.)
This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "cortex_m"
version = "0.3.0"
licenses = ["BSD 3-Clauses"]
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
tags = ["embedded", "arm", "nostd"]
auto-gpr-with=false # User has to select only one project file
[[depends-on]]
hal = "^0.1.0"
[origin]
commit = "2ed1d3d3324385f9f2183cfb9f562bb215d7a509"
url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
+15
View File
@@ -0,0 +1,15 @@
name = "curl"
description = "Command-line tool for transferring data with URL syntax"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"..." = ["curl"]
[[external]]
kind = "version-output"
version-command = ["curl", "--version"]
version-regexp = '^curl ([\d\.?]+).*'
+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"
@@ -8,7 +8,7 @@ project-files = ["eagle_lander.gpr"]
tags = ["simulator", "game", "gtk"]
[[depends-on]]
gtkada = "^17"
gtkada = "^21"
[origin]
url = "https://github.com/Fabien-Chouteau/eagle-lander/releases/download/v1.2/eagle_lander-1.2.zip"
-34
View File
@@ -1,34 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2018.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
[[depends-on]]
gnat = "^2018"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="
archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
-34
View File
@@ -1,34 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll.gpr"]
[[depends-on]]
gnat = "^2019"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename="
archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz"
hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"]
+34
View File
@@ -0,0 +1,34 @@
name = "gnatcoll"
version = "21.0.0"
description = "GNAT Components Collection - Core packages"
website = "https://github.com/adacore/gnatcoll-core"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gnatcoll.gpr"]
tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
[gpr-externals]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[gpr-set-externals]
GNATCOLL_VERSION = "21.0.0"
[[depends-on]]
libgpr = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip"
hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']
-11
View File
@@ -1,11 +0,0 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgnatcoll16.1.0-dev", "libgnatcoll17-dev", "libgnatcoll18-dev"]
@@ -1,28 +0,0 @@
description = "GNAT Components Collection - Bindings to GMP"
name = "gnatcoll_gmp"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
libgmp = "^6.1"
[gpr-externals]
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "static-pic"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -0,0 +1,22 @@
name = "gnatcoll_gmp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgmp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,38 +0,0 @@
description = "GNAT Components Collection - Bindings to libiconv"
name = "gnatcoll_iconv"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
[gpr-externals]
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -0,0 +1,29 @@
name = "gnatcoll_iconv"
version = "21.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
# environement variable as not being set. So we use a harmless linker option to
# have a non-empty GNATCOLL_ICONV_OPT.
[gpr-set-externals."case(os)".linux]
GNATCOLL_ICONV_OPT = "-v"
[[depends-on]]
gnatcoll = "~21.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_lzma"
version = "21.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lzma/gnatcoll_lzma.gpr"]
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
liblzma = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_omp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgomp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,23 @@
name = "gnatcoll_postgres"
version = "21.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["postgres/gnatcoll_postgres.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
postgresql = "*"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,30 @@
name = "gnatcoll_python"
version = "21.0.0"
description = "GNAT Components Collection - python2 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python2"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python2.7/" }
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python2.7/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython2dev = "^2"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,30 @@
name = "gnatcoll_python3"
version = "21.0.0"
description = "GNAT Components Collection - python3 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python3/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python3"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python3.7/:${DISTRIB_ROOT}/usr/include/python3.8/"}
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python3.8/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython3dev = "^3"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,22 @@
name = "gnatcoll_readline"
version = "21.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libreadline = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,21 @@
name = "gnatcoll_sql"
version = "21.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sql/gnatcoll_sql.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,22 @@
name = "gnatcoll_sqlite"
version = "21.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,25 @@
name = "gnatcoll_syslog"
version = "21.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,24 @@
name = "gnatcoll_xref"
version = "21.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_iconv = "~21.0.0"
gnatcoll_sql = "~21.0.0"
gnatcoll_sqlite = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -0,0 +1,22 @@
name = "gnatcoll_zlib"
version = "21.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["zlib/gnatcoll_zlib.gpr"]
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
zlib = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
+45
View File
@@ -0,0 +1,45 @@
description = "An Ada graphical toolkit based on Gtk+"
website = "https://github.com/adacore/gtkada"
name = "gtkada"
version = "21.0.0"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["install_dir/lib/gnat/gtkada.gpr"]
tags = ["gtk", "gui"]
# Add msys in the OS list in config.sub
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
[[actions]]
type = "post-fetch"
command = ["bash", "configure", "--with-GL=no"]
# Since the GTKAda project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch action.
[[actions]]
type = "post-fetch"
command = ["make", "all", "install", "prefix=install_dir"]
[[depends-on]]
make = "*"
pkg_config = "*"
libgtk3 = "^3"
[depends-on.'case(os)'.windows]
winpthreads = "*"
[gpr-externals]
LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
[environment.'case(distribution)']
msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
[origin]
url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]
-13
View File
@@ -1,13 +0,0 @@
description = "Ada binding for the GTK+ GUI"
name = "gtkada"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
available."case(toolchain)".user = false
[external.origin."case(distribution)"]
debian = ["libgtkada18-dev"]
ubuntu = ["libgtkada16.1.0-dev", "libgtkada19-dev"]
+20
View File
@@ -0,0 +1,20 @@
name = "iterators"
description = "Functional iterators a la Rust"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
website = "https://github.com/mosteo/iterators"
licenses = ["LGPL 3.0"]
tags = ["iterators", "functional"]
[[depends-on]]
aaa = "~0.2.1"
gnat = ">=10"
[origin]
commit = "b3abe21ddb9a35e5bdbff6a1656dc8dcbb79a6fc"
url = "git+https://github.com/mosteo/iterators.git"
@@ -0,0 +1,40 @@
description = "Jupyter Kernel for Ada"
long-description = '''# Jupyter Kernel for Ada
To run this kernel with Jupyter Notebook:
alr get --build jupyter_kernel
cd jupyter_kernel*
ln -s ./alire/build/.objs .
PATH=$PATH:$PWD/alire/build/.objs/driver JUPYTER_PATH=$PWD jupyter-notebook --debug
'''
name = "jupyter_kernel"
version = "1.0.0"
website = "https://github.com/reznikmm/jupyter/"
authors = ["Max Reznik"]
licenses = ["BSD 3-Clauses"]
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/jupyter_ada_kernel.gpr", "gnat/jupyter_ada_driver.gpr"]
tags = ["jupyter", "notebook", "kernel"]
[gpr-set-externals]
# The Ada Kernel uses relocatable libraries, so all dependencies should
# be build as relocatable to share common GNAT runtime and avoid collisions.
LIBRARY_TYPE = "relocatable"
# The Ada Kernel uses `dlopen` to load shared libraries
[available.'case(os)']
linux = true
macos = true
'...' = false
[[depends-on]]
matreshka_league = "any"
spawn = "any"
zeromq_ada = "any"
[origin]
commit = "8c987c134f1b92978aa4c4a528309685925f4bd9"
url = "git+https://github.com/reznikmm/jupyter.git"
@@ -0,0 +1,23 @@
name = "lal_highlight"
description = "Simple code highlighters based on Libadalang"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = ["GMGPL 3.0"]
website = "https://github.com/AdaCore/libadalang"
tags = ["libadalang", "static-analysis"]
project-files = ["highlight.gpr"]
executables = ["highlight", "ada2web"]
[origin]
url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/highlight-21.0.0.tar.gz"
archive-name = "highlight-21.0.0.tar.gz"
hashes = ["sha512:357f237b90559b05bab454b6dafda2949d663b87db2704f2c23cc3e3d3400a8a60609382a7f5489419b19b2a38195e25cfa030e7cf4a7887df1566222014ef98"]
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
libadalang = "^21"
@@ -0,0 +1,22 @@
name = "langkit_support"
description = "Runtime support library for Langkit-generated libraries"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = ["GMGPL 3.0"]
website = "https://github.com/AdaCore/langkit"
[gpr-set-externals."case(toolchain)".system]
LIBRARY_TYPE = "relocatable"
[origin]
url = "https://github.com/AdaCore/langkit/releases/download/v21.0.0/langkit_support-21.0.0.tar.gz"
archive-name = "langkit_support-21.0.0.tar.gz"
hashes = ["sha512:b52319d5b7fac6b8866b618105edc4c4a4a98d785a61b6e8c3096921b117bea9629854ebdcd956eb005604cdc78686cd4577d27121cdb41339ee73bb4222168b"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
@@ -0,0 +1,24 @@
name = "libadalang"
description = "Ada semantic analysis library"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = ["GMGPL 3.0"]
website = "https://github.com/AdaCore/libadalang"
tags = ["libadalang", "static-analysis"]
[origin]
url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/libadalang-21.0.0.tar.gz"
archive-name = "libadalang-21.0.0.tar.gz"
hashes = ["sha512:955d25549416658815862829499b7f02008990922a32102afacefc760e835c8b054129c60e41dbcc6035d7e917c9450c71cc5edf79f3707b8073e5245800c110"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_gmp = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
langkit_support = "^21"
+11
View File
@@ -0,0 +1,11 @@
description = "GNU OpenMP library"
name = "libgomp"
licenses = []
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgomp1"]
msys2=["mingw-w64-x86_64-gcc"]
+23
View File
@@ -0,0 +1,23 @@
name = "libgpr"
version = "21.0.0"
description = "GNAT Project File Library"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gpr/gpr.gpr"]
[[actions.'case(os)'.macos]]
type = "post-fetch"
command = ["sed", "-i", "", "s/st_mtim/st_mtimespec/", "gpr/src/gpr_imports.c"]
[gpr-externals]
GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
xmlada = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gprbuild/archive/v21.0.0/gprbuild-21.0.0.zip"
hashes=['sha512:49263e36e5431356f60630129c8fbebf7dcdca7083fd47b2ee1a4fa80e84cb09748f2d8bc660b68850ad62634b9c8ba57b287b4934d0c908becd1a52b8b7e1fc']
+11
View File
@@ -0,0 +1,11 @@
description = "GObject-based multi-platform GUI toolkit (v3)"
name = "libgtk3"
licenses = ["LGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgtk-3-dev"]
msys2 = ["mingw-w64-x86_64-gtk3"]
+10
View File
@@ -0,0 +1,10 @@
description = "GNU libiconv"
name = "libiconv"
licenses = ["LGPL 2.1"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
msys2 = ["mingw-w64-x86_64-libiconv"]
+10
View File
@@ -0,0 +1,10 @@
description = "The GNU Readline Library"
name = "liblzma"
licenses = ["GPL 2.0", "GPL 3.0", "LGPL 2.1"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["liblzma-dev"]
@@ -0,0 +1,11 @@
description = "Header files and a static library for Python2"
name = "libpython2dev"
licenses = ["Custom"] # PSF is not available in Alire yet
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libpython2-dev"]
msys2 = ["mingw-w64-x86_64-python2"]
@@ -0,0 +1,11 @@
description = "Header files and a static library for Python3"
name = "libpython3dev"
licenses = ["Custom"] # PSF is not available in Alire yet
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libpython3-dev"]
msys2 = ["mingw-w64-x86_64-python"]
@@ -0,0 +1,11 @@
description = "The GNU Readline Library"
name = "libreadline"
licenses = ["GPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libreadline-dev"]
msys2 = ["mingw-w64-x86_64-readline"]
+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,31 @@
description = "Middleware layer of the Ada Drivers Library project"
long-description = '''# microbit BSP
Board Support Package for the BBC micro:bit https://microbit.org/
This crate is a snapshot of [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "microbit_bsp"
version = "0.2.0"
licenses = ["BSD 3-Clauses"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["adl_middleware.gpr"]
tags = ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"]
[[depends-on]]
hal = "^0.1.0"
nrf5x_hal = "^0.1.0"
embedded_components = "^0.1.0"
[origin]
commit = "74e9a20abe272d56c365255096255a311648c1f8"
url = "git+https://github.com/Fabien-Chouteau/microbit_bsp.git"
+19
View File
@@ -0,0 +1,19 @@
name = "minirest"
description = "Minimalist Ada REST client library"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
licenses = ["MIT"]
tags = ["rest"]
website = "https://github.com/mosteo/minirest"
[[depends-on]]
aaa = "~0.2.1"
curl = "*"
[origin]
commit = "272ecd15a6b2033296283f5121f82da5b00a40b1"
url = "git+https://github.com/mosteo/minirest.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,11 @@
description = ""
name = "pkg_config"
licenses = ["LGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["pkg-config"]
msys2 = ["mingw-w64-x86_64-pkg-config"]
@@ -0,0 +1,11 @@
description = "PostgreSQL relational database management system"
name = "postgresql"
licenses = ["PostgreSQL"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["postgresql"]
msys2 = ["mingw-w64-x86_64-postgresql"]
+40
View File
@@ -0,0 +1,40 @@
name = "rclada"
description = "ROS2 Ada Client Library"
version = "0.1.0"
licenses = ["LGPL 3.0"]
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
tags = ["ros", "robotics", "client"]
website = "https://github.com/ada-ros/ada4ros2"
project-files = ["install/rclada/share/gpr/rcl.gpr"]
[[depends-on]]
ros2_foxy = "*"
[environment]
# Needed to source setup.bash in client packages
RCLADA_INSTALL_DIR.set = "${CRATE_ROOT}/install"
# Needed to locate project files here and in clients
GPR_PROJECT_PATH.append = "${CRATE_ROOT}/install/rclada/share/gprauto:${CRATE_ROOT}/install/rclada_common/share/gpr:${CRATE_ROOT}/install/rosidl_generator_ada/share/gpr:${CRATE_ROOT}/install/rosidl_generator_ada/share/gprauto"
# Needed to locate libraries
LD_LIBRARY_PATH.append = "/opt/ros/foxy/lib"
[[actions]]
type = "post-fetch"
command = ["./build.bash"]
[[actions]]
type = "pre-build"
command = ["./build.bash"]
[available.'case(distribution)']
ubuntu = true
'...' = false
[origin]
commit = "e390763f633c441d0d92a5f9e0c72a544c1d6fbd"
url = "git+https://github.com/ada-ros/rclada_alire.git"
@@ -0,0 +1,42 @@
name = "rclada_examples"
description = "ROS2 Ada Client Library - Examples"
version = "0.1.0"
licenses = ["LGPL 3.0"]
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
tags = ["ros", "robotics", "client"]
website = "https://github.com/ada-ros/ada4ros2"
project-files = ["src/rclada_examples/examples.gpr"]
executables = ["add_two_ints_client",
"add_two_ints_server",
"add_two_ints_client_async",
"graph_info",
"listener",
"listener_metadata",
"pong_class",
"pong_generic",
"talker",
"talker_metadata"
]
[environment]
GPR_PROJECT_PATH.append="${CRATE_ROOT}/install/rclada_examples/share/gprauto"
[[depends-on]]
rclada = "~0.1.0"
[[actions]]
type = "pre-build"
command = ["./build.bash"]
[available.'case(distribution)']
ubuntu = true
'...' = false
[origin]
commit = "3d92e3ad4f86c2f71ae9637943bbc7eab047b259"
url = "git+https://github.com/ada-ros/rclada_examples_alire.git"
@@ -0,0 +1,12 @@
description = "ROS2 Foxy distribution"
name = "ros2_foxy"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["ros", "robotics"]
website = "https://index.ros.org/doc/ros2/"
[[external]]
hint = "For installation instructions, visit https://index.ros.org/doc/ros2/Installation/#installationguide"
kind = "system"
origin."case(distribution)"."ubuntu" = ["ros-foxy-desktop"]
+18
View File
@@ -0,0 +1,18 @@
description = "Pretty print physical values in properly scaled metric (SI) units."
name = "si_units"
version = "0.1.3"
authors = ["Vinzent \"Jellix\" Saranen"]
website = "https://github.heisenbug.eu/si_units"
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["si_units_lib.gpr"]
tags = ["utilities", "formatting"]
[gpr-externals]
SI_UNITS_BUILD = ["debug", "release"]
[origin]
commit = "51224f2fa79a6ca02ddd0854857ae8016375439c"
url = "git+https://github.com/HeisenbugLtd/si_units.git"
+42
View File
@@ -0,0 +1,42 @@
description = "Pretty print physical values in properly scaled metric (SI) units."
long-description = """
Provides generic conversion (`Image`) functions that convert values into human
readable strings with appropriate SI prefixes. This is especially convenient
when you have to deal with printing values from a potentially large interval,
and you need to represent such values as something an average human will
easily be able to read. Then you can use `SI_Units` to take care of the
conversion into an appropriate string representation for you.
Converting values into a string is supported with all SI prefixes which are a
power of 1000 (yocto .. Yotta), additionally there is a generic that can deal
with binary prefixes (i.e. prefixes that denote powers of 1024).
Scaling (i.e. conversion between different prefixes, like from kilo(meter) to
centi(meter)) between all defined SI prefixes is also supported, similar for
binary prefixes.
See the project's [website](https://github.heisenbug.eu/si_units) for more
details.
Version 0.2.0 is source code identical to the previous 0.1.3 release, but adds
full support for Alire integration. In the process, the provided `gnat` project
files have been streamlined, so if you upgrade to this version from a previous
release, you will need to adjust your own project files accordingly.
"""
name = "si_units"
version = "0.2.0"
authors = ["Vinzent \"Jellix\" Saranen"]
website = "https://github.heisenbug.eu/si_units"
licenses = ["WTFPL"]
tags = ["utilities", "formatting"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["si_units.gpr"]
[gpr-externals]
SI_UNITS_BUILD_MODE = ["debug", "release"]
[origin]
commit = "13606e4922ac7c1dc9e456db9967a057ced1e9ea"
url = "git+https://github.com/HeisenbugLtd/si_units.git"
@@ -0,0 +1,15 @@
name = "simple_logging"
version = "1.2.0"
description = "Simple logging to console"
licenses = ["LGPL 3.0"]
authors = [ "Alejandro R. Mosteo", ]
maintainers = [ "alejandro@mosteo.com", ]
maintainers-logins = [ "mosteo", ]
tags = ["logging", "utility"]
[origin]
commit = "506f0bb32bc3699ebe189593667e2d2844a9d537"
url = "git+https://github.com/alire-project/simple_logging.git"
+23
View File
@@ -0,0 +1,23 @@
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 = "1.0.0"
tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
licenses = ["BSD 2-Clauses"]
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_RUNTIME_MODE = ["full", "zfp"]
SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3"]
[origin]
commit = "aac69c969a050cbe0720112d86efff832cdc2346"
url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
+22
View File
@@ -0,0 +1,22 @@
description = "SPAT - SPARK Proof Analysis Tool"
long-description = "SPAT - SPARK Proof Analysis Tools\nHelper tool to obtain timing information about gnatprove runs (SPARK tools).\n"
name = "spat"
version = "1.2.1"
authors = ["Vinzent \"Jellix\" Saranen"]
website = "https://github.heisenbug.eu/spat"
executables = ["run_spat"]
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["spat.gpr"]
tags = ["spark"]
[[depends-on]]
si_units = "^0.1.0"
[depends-on."case(toolchain)".system]
gnatcoll = ">=19 & <2000"
[origin]
commit = "a25eb494136dcddad52b831e8c058b383d93e677"
url = "git+https://github.com/HeisenbugLtd/spat.git"
+28
View File
@@ -0,0 +1,28 @@
description = "SPAT - SPARK Proof Analysis Tool"
long-description = """
SPAT - SPARK Proof Analysis Tools
Helper tool to obtain, analyse, sort, and filter timing information about
`gnatprove` runs (`SPARK` tools).
"""
name = "spat"
version = "1.3.0"
authors = ["Vinzent \"Jellix\" Saranen"]
website = "https://github.heisenbug.eu/spat"
licenses = ["WTFPL"]
tags = ["spark"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["spat.gpr"]
executables = ["run_spat"]
[[depends-on]]
si_units = "~0.2"
[depends-on."case(toolchain)".system]
gnatcoll = ">=19"
[origin]
commit = "4ad4ab14447ac8cbbedcb8d47f026a66a73551d7"
url = "git+https://github.com/HeisenbugLtd/spat.git"
+15
View File
@@ -0,0 +1,15 @@
name = "spdx"
description = "SPDX License Expression Validator"
version = "0.1.0"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = ["MIT"]
website="https://github.com/Fabien-Chouteau/spdx_ada"
tags = ['spdx', 'license']
[origin]
commit = "319ca7bcc1e2eb1843aad1f64aca3ecba91a2bcc"
url = "git+https://github.com/Fabien-Chouteau/spdx_ada.git"
+15
View File
@@ -0,0 +1,15 @@
name = "spdx"
description = "SPDX License Expression Validator"
version = "0.2.0"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = ["MIT"]
website="https://github.com/Fabien-Chouteau/spdx_ada"
tags = ['spdx', 'license']
[origin]
commit = "2df9b1182544359c751544e52e14c94830d99fa6"
url = "git+https://github.com/Fabien-Chouteau/spdx_ada.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,29 @@
name = "templates_parser"
version = "21.0.0"
description = "Templates Parser: File generation from templates in Ada"
website = "https://github.com/AdaCore/templates-parser"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["templates_parser.gpr"]
[[actions]]
type = "post-fetch"
command = ["cp", "config/tp_xmlada_installed.gpr", "tp_xmlada.gpr"]
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
PRJ_BUILD = ["Debug", "Release"]
TP_TASKING = ["No_Tasking", "Standard_Tasking"]
TP_XMLADA = ["Installed", "Disabled"]
[gpr-set-externals]
TP_XMLADA = "Installed"
[[depends-on]]
xmlada = "~21.0.0"
[origin]
url="https://github.com/AdaCore/templates-parser/archive/v21.0.0.zip"
hashes=['sha512:2b7ce36cf5f985724416c9abc68725bf73c9e8af6389801043dee2f3e9a4a9d2155a86c96f8088dd830af3b8942a3e7dd7373e7003741a4098ca580e6fa507a4']
+18
View File
@@ -0,0 +1,18 @@
name = "tiny_text"
description = "Low resolution bitmap font with a small memory footprint"
version = "1.0.0"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = ["MIT"]
website = ["https://github.com/JeremyGrosser/tiny_text"]
tags = ["font", "hal", "bitmap", "text"]
[[depends-on]] # This line was added by `alr with`
hal = "*" # This line was added by `alr with`
[origin]
commit = "f072a0c3f9cf6ea9d81cb26a05d3462c7f2d82f6"
url = "git+https://github.com/JeremyGrosser/tiny_text.git"
+31
View File
@@ -0,0 +1,31 @@
description = "A virtual Audio Processing Unit to simulate 8-bit era game sounds"
long-description = """
# VirtAPU
A virtual Audio Processing Unit to simulate 8-bit era game sounds
- Arbitrary number of voice(s)
- 4 sounds:
- Pulse
- Triangle
- Noise1 (LFSR 1)
- Noise2 (LFSR 6)
- Pulse witdth modulation
- Decay
- Frequency sweep
- Sequencer
"""
name = "virtapu"
version = "0.2.0"
website="https://github.com/Fabien-Chouteau/virtapu"
licenses = ["MIT"]
authors=["Fabien Chouteau"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["virtapu.gpr"]
tags = ["nostd", "audio", "synth", "game"]
[origin]
commit = "1146b446c0322ae7e72b56972aff384395e6a3a9"
url = "git+https://github.com/Fabien-Chouteau/virtapu.git"
+17
View File
@@ -0,0 +1,17 @@
name = "vss"
description = "Advanced string and text manipulation with Unicode support"
version = "21.0.0"
tags = ["unicode", "json", "text"]
authors = ["AdaCore"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
licenses = ["GMGPL 3.0"]
website = "https://github.com/AdaCore/VSS"
project-files = ["gnat/vss_text.gpr", "gnat/vss_json.gpr"]
[origin]
commit = "ded12078cfcaeb6c3c7fc1ffeea9e0d5cf4a1086"
url = "git+https://github.com/AdaCore/VSS.git"
+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']
@@ -0,0 +1,11 @@
description = "winpthreads library"
name = "winpthreads"
licenses = ["MIT"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
msys2 = ["mingw-w64-x86_64-winpthreads-git"]
+27
View File
@@ -0,0 +1,27 @@
name = "xmlada"
version = "21.0.0"
description = "The XML/Ada toolkit"
website = "https://github.com/AdaCore/xmlada"
authors = ["AdaCore"]
licenses = ["GMGPL 3.0"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["distrib/xmlada.gpr",
"dom/xmlada_dom.gpr",
"sax/xmlada_sax.gpr",
"input_sources/xmlada_input.gpr",
"schema/xmlada_schema.gpr",
"unicode/xmlada_unicode.gpr"]
[[actions]]
type = "post-fetch"
command = ["sh", "configure"]
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
XMLADA_BUILD_MODE = ["distrib", "Debug", "Production",
"profile", "coverage", "nochecks"]
[origin]
url="https://github.com/AdaCore/xmlada/archive/v21.0.0/xmlada-21.0.0.zip"
hashes=['sha512:836d189061b188d0b766d559972938da59c1b950c15cda8209c4c5175fa03db0ef714270635ffed2d14e2bb3957f97625f5eef07c815606ac0191be268694d98']
-3
View File
@@ -15,9 +15,6 @@ CHANGES=$(git diff --name-only HEAD~1)
# Bulk changes for the record
echo Changed files: $CHANGES
# Import the out-of-docker built alr
export PATH+=:${PWD}/alire/bin
# Show alr metadata
alr version