Compare commits

...

70 Commits

Author SHA1 Message Date
Alejandro R. Mosteo 54ec032e00 Show GNAT/GPRBUILD versions on default PATH before build 2021-11-04 09:56:43 +01:00
Fabien Chouteau 0fc984590b aunit, startup_gen, templates_parser, win32ada 22.0.0 (#394) 2021-11-03 19:48:57 +01:00
Maxim Reznik 250e73f016 matreshka 20.1.0 build fixes (#395)
Force `make reconfig` to ignore `config` directory created by
`alr`. Disable GNAT CE 2021 and GCC 11. Disable GNAT CE on Mac OS.

Fix building spikedog_awsd executable.
2021-11-03 14:13:07 +01:00
Fabien Chouteau 134fff113b gnatcoll_{core|db|bindings} 22.0.0 (#392) 2021-11-03 06:57:53 +01:00
Maxim Reznik 8b97c4c6a5 matreshka 21.0.0 (#393) 2021-11-02 12:16:02 +01:00
Fabien Chouteau b034f7e015 xmlada and libgpr 22.0.0 (#391) 2021-10-28 17:42:37 +02:00
Alejandro R Mosteo 1f2c4b51c0 Show environment before building (#389)
* Show environment before building

* Code review fixes
2021-10-27 10:52:08 +02:00
Jeremy Grosser 3c92f41ec6 rp2040_hal, pico_bsp, pico_examples 0.7.0 (#390) 2021-10-27 10:29:45 +02:00
Fabien Chouteau 598206454b samd51_hal 0.3.0 (#388) 2021-10-26 15:57:27 +02:00
Alejandro R Mosteo 767d79df11 semver 2.1.0 (#387) 2021-10-26 15:50:55 +02:00
Fabien Chouteau 8b88f3379d usb_embedded 0.2.0 (#386) 2021-10-26 11:04:12 +02:00
Manuel Hatzl a41d575486 spark_unbound 0.2.1 (#383)
* Add spark_unbound to alire index

* Fixed package naming as suggested

* Fixed gnat dependency
2021-10-25 19:28:56 +02:00
Fabien Chouteau 73b6c15d24 bbqueue 0.3.0 (#385) 2021-10-25 18:07:17 +02:00
Fabien Chouteau b5713488ee atomic 0.4.1 (#384) 2021-10-25 09:05:30 +02:00
Paul Jarrett 869133fa80 trendy_terminal 0.0.3 (#382) 2021-10-18 11:09:23 +02:00
Fabien Chouteau f3aa223b8f Atomic 0.4.0 (#381)
* Add files via upload

* Update atomic-0.4.0.toml
2021-10-18 10:04:50 +02:00
Jesper Quorning d539a705ee simple_components 4.42.0: update origin after unavailable tarball (#380)
* simple_components=4.42.0: Change download url to sourceforge.net (#879)

* Move to github mirror

* Fix tag of Community docker

* Exclude unsupported compilers

* Remove community index that may interfere

* Disable gnat 11

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-10-15 12:27:12 +02:00
Fabien Chouteau 3ee44941ee gnatcov: add missing GPR_PROJECT_PATH for instrumentation run-time (#378) 2021-10-07 09:15:51 +02:00
Manuel fae04af671 play_2048 1.0 (#368) 2021-10-07 07:24:26 +02:00
Paul Jarrett aeba4a3507 Add septum 0.0.3 (#379) 2021-10-07 07:00:38 +02:00
Fabien Chouteau 8c7f5921dd clic 0.2.0 (#377) 2021-10-04 12:45:08 +02:00
Fabien Chouteau 2b717eabc0 GNAT 11.2.2, GPRbuild 21.0.2, GNATcov 21.0.2 (#376)
* GNAT 11.2.2

The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.

* GPRbuild 21.0.1

The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.

* GNATcov 21.0.1

The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.
2021-09-30 17:16:55 +02:00
Riccardo Bernardini 4773e34e52 specfun 1.0 (#374)
* Added toml for specfun

* addled index entry for specfun
2021-09-30 17:06:16 +02:00
Fabien Chouteau 77eed57181 GNAT 10.3.2 (#375)
The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.
2021-09-29 18:06:38 +02:00
Simon Wright d9ff0d5fd9 xia 1.4.0 (#373)
* xia 1.4.0, my first crate

* Updated "licenses" to include RTLE.

* Moved xia-1.4.0.toml.
2021-09-27 22:11:58 +02:00
Alejandro R Mosteo c9f35fb0c0 Fix folder entering for versions with -pre or -build (#372)
* Fix folder change for versions with -pre or -build

* Touch the hello crate
2021-09-27 17:49:09 +02:00
Paul Jarrett e2d878099a septum 0.0.2 (#371)
* Add septum

* Add files via upload

* Delete septum-0.0.1-beta3.toml
2021-09-27 15:57:03 +02:00
Paul Jarrett dc1e8804f0 trendy_terminal 0.0.2 (#370) 2021-09-27 09:06:49 +02:00
Lev Kujawski b23492d900 avltrees 0.1.0 (#369) 2021-09-27 09:04:48 +02:00
pmunts 33c13ec560 libsimpleio, mcp2221, remoteio 1.19965.2 (#367)
libsimpleio release 1.19965.2
mcp2221 release 1.19965.2
remoteio release 1.19965.2
2021-09-27 08:56:19 +02:00
pmunts 32f1d69289 mcp2221 release 1.19965.1 remoteio release 1.19965.1
* mcp2221 release 1.19965.1

* remoteio release 1.19965.1
2021-09-21 15:00:18 +02:00
Alejandro R Mosteo 627f5b4f2f aaa 0.2.4 (#366) 2021-09-21 13:34:36 +02:00
Lev Kujawski 8c434139e4 blake2s, b2ssum 0.1.3 (#361) 2021-09-21 11:41:34 +02:00
Alejandro R Mosteo 712789a75c Switch to setup-alire@v1 (#363)
* Switch to setup-alire@v1

* Code review
2021-09-20 15:47:15 +02:00
Roderick Chapman aff0a2827d sparknacl 3.0.0 (#360)
* Add files via upload

* Add files via upload
2021-09-20 11:46:12 +02:00
Gustavo A. Hoffmann d1c641f7b2 audio_wavefiles 2.0.0 (#358) 2021-09-20 11:34:56 +02:00
Alejandro R. Mosteo d918e18e56 Merge stable-1.0 into devel-1.1 2021-09-16 16:30:30 +02:00
onox 33038b1609 emojis 1.0.0 (#356) 2021-09-16 10:53:39 +02:00
Alejandro R Mosteo a09140f021 Build submissions with toolchain from Alire (#354)
* New workflow to test crates using indexed toolchain

* Conditionally install compiler

* Print crate environment after build
2021-09-15 11:37:10 +02:00
Alejandro R Mosteo 86659c3195 Disable toolchain installation in latest setup-alire@latest-devel (#341) 2021-09-14 13:36:52 +02:00
Alejandro R. Mosteo e7c53a6146 Port stable-1.0 into devel-1.1 2021-09-14 09:31:06 +02:00
Alejandro R Mosteo f24436e0f1 bugfix found during port to stable (#351) 2021-09-14 09:30:01 +02:00
Riccardo Bernardini 0d57828de3 get_password PR (#353) 2021-09-14 09:23:08 +02:00
Jeremy Grosser e67d834252 rp2040_hal, pico_bsp, pico_examples 0.6.0 (#348) 2021-09-13 10:26:33 +02:00
onox ecc0dd2fff weechat_ada 3.0.0 (#347) 2021-09-13 10:11:06 +02:00
Maxim Reznik c5a75385d9 vss 22.0.0-20210830 (#322)
This version includes grapheme clusters iterators and many more improvements.
2021-09-10 09:59:57 +02:00
Alejandro R Mosteo bdc53ebf74 Fix version extraction in PR checks (#340) 2021-09-09 13:03:26 +02:00
Alejandro R. Mosteo 784e8105ef Merge remote-tracking branch 'alire/stable-1.0' into devel-1.1 2021-09-07 18:01:21 +02:00
Alejandro R Mosteo ea4946244b Port stable-1.0 into devel-1.1 (#339)
* remoteio release 1.19928.2 (#309)

msys tar needs tarballs created with -H posix

* Add files via upload (#326)

* mcp2221, remoteio 1.19937.1 (#333)

* mcp2221 release 1.19937.1

Fixed website URL

* remoteio release 1.19937.1

Fixed website URL

* Fix microbit_bsp (#338)

* Update microbit_bsp-0.2.0.toml

* Update microbit_bsp-0.1.0.toml

Co-authored-by: pmunts <phil@munts.net>
Co-authored-by: Paul Jarrett <jarrett.paul.young@gmail.com>
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2021-09-07 17:59:08 +02:00
Fabien Chouteau 526dc9e01b Change binary crate version from X.Y.0-1 to X.Y.1 (#336)
* Change binary crate version from X.Y.0-1 to X.Y.1

All those project don't have a patch version so we are using it for
package version.

* gnat_native-11.2.1.toml: typo in URL
2021-09-07 12:42:17 +02:00
Alejandro R Mosteo 9bf2f7f835 Skip build for binary crates (#337)
* Skip build for binary crates

* Use milestone to avoid testing wrong version
2021-09-06 18:35:35 +02:00
Fabien Chouteau 9b5792cb12 Update gnat_native-11.2.0-1.toml (#332) 2021-09-02 15:33:55 +02:00
Alejandro R Mosteo 04f4b1a642 Sync devel-1.1 with stable-1.0 (#331)
* remoteio release 1.19928.2 (#309)

msys tar needs tarballs created with -H posix

* Add files via upload (#326)

Co-authored-by: pmunts <phil@munts.net>
Co-authored-by: Paul Jarrett <jarrett.paul.young@gmail.com>
2021-09-02 13:38:31 +02:00
Fabien Chouteau 6d4e6d6cec gnat 11.2 (native, arm-elf, riscv64-elf) (#330) 2021-09-02 12:36:19 +02:00
Alejandro R. Mosteo ea6dd823d9 Merge remote-tracking branch 'alire/stable-1.0' into devel-1.1 2021-09-01 14:09:13 +02:00
Alejandro R Mosteo 5c367d573a Disable assistant before checks (#327)
* Test new setup-alire

* Disable assistant inside the test script for Docker
2021-09-01 11:48:36 +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 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
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
Alejandro R. Mosteo 47492703e6 GNAT releases split per target 2021-07-12 10:11:15 +02:00
Alejandro R. Mosteo 7f320c8f06 Bump index version 2021-07-09 10:34:20 +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
102 changed files with 2451 additions and 42 deletions
+12 -11
View File
@@ -14,15 +14,15 @@ jobs:
strategy:
matrix:
os:
os:
- macos-latest
- ubuntu-latest
- windows-latest
tag:
- arch-rolling
- centos-latest-community-latest
- community-current
- debian-stable
- community-latest
- debian-stable
- ubuntu-lts
- ""
exclude: # inclusions don't allow to add arrays of values to a scenario
@@ -33,7 +33,7 @@ jobs:
- os: macos-latest
tag: centos-latest-community-latest
- os: macos-latest
tag: community-current
tag: community-latest
- os: macos-latest
tag: debian-stable
- os: macos-latest
@@ -43,7 +43,7 @@ jobs:
- os: windows-latest
tag: centos-latest-community-latest
- os: windows-latest
tag: community-current
tag: community-latest
- os: windows-latest
tag: debian-stable
- os: windows-latest
@@ -73,11 +73,16 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest-stable
uses: alire-project/setup-alire@v1
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest-devel
uses: alire-project/setup-alire@v1
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
- name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -87,10 +92,6 @@ jobs:
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_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'
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
+67
View File
@@ -0,0 +1,67 @@
name: Toolchain
# Build the submitted crate with a native toolchain from Alire
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
build:
name: ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- macos-latest
- ubuntu-latest
- windows-latest
steps:
- name: Check out alire-index
uses: actions/checkout@v2
with:
fetch-depth: 0
# Needed to be able to diff and obtain changed files. Furthermore, we
# need the full history or else grafted partial branches confuse the
# changed files detectors (in both scripts/gh-build-crate.sh and
# check-author action).
# For the devel branch we need a compiler available to build alr in
# setup-alire. We will be able to get rid of this once composite actions
# support conditional steps.
- name: Set up GNAT toolchain (FSF)
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
uses: ada-actions/toolchain@ce2020
with:
distrib: community
# By default, this sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v1
# By default, this sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v1
with:
branch: 'master'
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
- name: Test crate
run: scripts/gh-build-crate.sh
shell: bash
+27
View File
@@ -0,0 +1,27 @@
name = "aaa"
version = "0.2.4"
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 containers and utilities.
- Simple subprocess spawning.
- Write-through minimal cache for objects stored in files
"""
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[origin]
commit = "19e75e3e16c493df35913b8acc486b5d047875bf"
url = "git+https://github.com/mosteo/aaa.git"
+18
View File
@@ -0,0 +1,18 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.4.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"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
[origin]
commit = "df6d4993568ed5e2fed3d8ed09c0bc69ac295e40"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+18
View File
@@ -0,0 +1,18 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.4.1"
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"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m"], default = "Intrinsic"}
[origin]
commit = "14bb7db33dff4b6f1219967a809d0f787cae33cb"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
@@ -0,0 +1,21 @@
description = "Ada Wavefile Library"
long-description = """
# Ada Wavefile Library
This crate contains Ada packages for wavefile I/O.
"""
name = "audio_wavefiles"
version = "2.0.0"
website="https://github.com/Ada-Audio/audio_wavefiles"
licenses = "MIT"
authors=["Gustavo A. Hoffmann"]
maintainers = ["gusthoff@gusthoff.com"]
maintainers-logins = ["gusthoff"]
project-files = ["audio_wavefiles.gpr"]
tags = ["audio", "riff", "wavefiles"]
[[depends-on]]
audio_base = "^1.0"
[origin]
commit = "8e1162c5b9dc604a835f60be6a78e8f9d3c85052"
url = "git+https://github.com/Ada-Audio/audio_wavefiles.git"
+20
View File
@@ -0,0 +1,20 @@
description = "Ada unit test framework"
name = "aunit"
version = "22.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[configuration]
disabled = true
[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/v22.0.0/aunit-22.0.0.zip"
hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
+15
View File
@@ -0,0 +1,15 @@
name = "avltrees"
description = "Threaded AVL trees library for Ada"
version = "0.1.0"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "LGPL-3.0-or-later"
website = "https://github.com/lkujaw/avltrees"
tags = ["ada1987", "data-structures"]
[origin]
commit = "81b318c6c9ba2ee500d0acc92a122bb8fe58f5ff"
url = "git+https://github.com/lkujaw/avltrees.git"
+19
View File
@@ -0,0 +1,19 @@
name = "b2ssum"
description = "BLAKE2s file hash utility"
version = "0.1.3"
authors = ["Lev Kujawski"]
maintainers = ["Lev Kujawski <int21h@mailbox.org>"]
maintainers-logins = ["lkujaw"]
licenses = "MIT-0"
website = "https://github.com/lkujaw/blake2s"
tags = ["ada1995", "hash", "blake2", "blake2s"]
project-files = ["b2ssum.gpr"]
executables = ["b2ssum"]
[[depends-on]]
blake2s = "~0.1.3"
[origin]
commit = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
url = "git+https://github.com/lkujaw/blake2s.git"
+22
View File
@@ -0,0 +1,22 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "0.3.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.4"
gnat = ">=10"
[origin]
commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+14
View File
@@ -0,0 +1,14 @@
name = "blake2s"
description = "SPARK83 implementation of the BLAKE2s hash function"
version = "0.1.3"
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 = "63b5d12efb5f96afb8148dd3eb7248ac1449f68d"
url = "git+https://github.com/lkujaw/blake2s.git"
+31
View File
@@ -0,0 +1,31 @@
name = "clic"
description = "Command Line Interface Components"
version = "0.2.0"
authors = ["Alejandro R. Mosteo", "Fabien Chouteau"]
maintainers = ["alejandro@mosteo.com", "Fabien Chouteau <fabien.chouteau@gmail.com>"]
maintainers-logins = ["mosteo", "Fabien-Chouteau"]
licenses = "MIT AND GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["cli", "command-line", "user-input", "tty"]
website = "https://github.com/alire-project/clic"
long-description = """
Command Line Interface Components:
- "git like" subcommand handling
- TTY color and formatting
- User input queries
- User configuration
"""
[configuration]
disabled = true # CLIC is an Alire dependency using git submodule, so we can't
# use the crate configuration here.
[[depends-on]]
aaa = "~0.2.4"
simple_logging = "^1.2.0"
ansiada = "~0.1.0"
ada_toml = "~0.2.0"
[origin]
commit = "5a1f32326013784113a336a1aded509270dacc76"
url = "git+https://github.com/alire-project/clic.git"
+17
View File
@@ -0,0 +1,17 @@
name = "emojis"
description = "A library to replace names between colons with emojis"
version = "1.0.0"
website = "https://github.com/onox/emojis"
licenses = "Apache-2.0"
tags = ["emoji", "string", "text", "unicode"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[configuration]
disabled = true
[origin]
commit = "e9d5c4ef79b45a8be73c6e98dceb70c291d1fbed"
url = "git+https://github.com/onox/emojis.git"
@@ -0,0 +1,26 @@
name = "get_password"
description = "Read a string without echo, in password-like style"
version = "1.0.0-rc"
long-description = "This is a small Ada library that provides a procedure Get_Password that reads a string from the terminal replacing each character with a *. The input can be terminated both by the user pressing end-of-line or when the buffer is filled. Currently it works only on POSIX-based system. This version was checked with Spark"
licenses = "MIT"
website = "https://gitlab.com/my-ada-library/get_password"
authors = ["Riccardo Bernardini"]
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
maintainers-logins = ["fintatarta"]
tags = ["password", "echo", "textio"]
[gpr-set-externals.'case(os)']
linux = { OS_FOR_GPR = "posix" }
windows = { OS_FOR_GPR = "windows" }
macos = { OS_FOR_GPR = "posix" }
[available.'case(os)']
linux = true
windows = false
macos = false
[origin]
commit = "0999eb5b4890649c73fc0327ef7514de4fb73df7"
url = "git+https://gitlab.com/my-ada-library/get_password.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,27 @@
name = "gnat_arm_elf"
version = "10.3.2"
provides = ["gnat=10.3.2"]
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-2/gnat-arm-elf-linux64-10.3.0-2.tar.gz"
hashes = ["sha256:ff53fd8aa25f5f7bfbc139ea25244f2d04a9d3513b3de499f06c2d9e0a26ebf0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:f3daf3dcbef8416a45c2910597608214b44b45a9f75e8f8059f409839eff0e1f"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-arm-elf-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:add183ea21cae95b3ca12de442d69c418d3f007d972238621f13103f12233967"]
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "11.2.1"
provides = ["gnat=11.2.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-11.2.0-1/gnat-arm-elf-linux64-11.2.0-1.tar.gz"
hashes = ["sha256:68f7c5d3e009c156d6c3d274c5da9fd369b1e85743c9bdfe4548e2c376efcebd"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:9343d45fe3eaa5d7d1cfcf03166c64303adb5524fa03634bb1cada61787a2226"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:b2d3b1d266b5e13e97809462a6169d690591e81a1b1885e9501f4e1a99c34421"]
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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-11.2.0-2/gnat-arm-elf-linux64-11.2.0-2.tar.gz"
hashes = ["sha256:c3c48e322cf14ff1d145392dc4722d9471dae41c5a3845b093130f5a0e373f07"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:48dbf3535ff6c5ba63eacf16f0603b7797dac23d94db0cde380577ab0f66030e"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-arm-elf-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:9bb39396ab4b1214a484a3802c9cc800440e6c7d93df325d3416a0306505fd48"]
@@ -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,27 @@
name = "gnat_native"
version = "10.3.1"
provides = ["gnat=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
[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_native"
version = "10.3.2"
provides = ["gnat=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
[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-2/gnat-x86_64-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:b187d9541ce60bbf46d979c638351a501450df1597389cb97e7e996f6aa84d09"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:e112fd3fe78aab5825164830f20f0e2a99557cf2645ad3202da0e2798ec108d3"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-x86_64-linux-10.3.0-2.tar.gz"
hashes = ["sha256:d7078088b5ff812e828048c5a50417a7c63724c7181a37ff39cd49e25c154fc6"]
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "11.2.1"
provides = ["gnat=11.2.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
[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-11.2.0-1/gnat-x86_64-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:3ed9e2d781e395dcc74544f691fbc15176f853a20d926b7409356c58a89e44ed"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:25e76394ceeadda9a3a689e80e0e22492fc76a3b3d53a54bf90b8b1bdcbc3c7d"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-linux-11.2.0-1.tar.gz"
hashes = ["sha256:216754299ee9d79a4a1935c29800308007fb1304bfd4833980e0b4a67b2924bb"]
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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
[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-11.2.0-2/gnat-x86_64-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:b741ebbc9c2559106e453cd3a180cf5a442e956d68c1812c0d21eedf782bd38a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:207b1d85d34cb39cf317bb142cdf519f5eb2d6a83981ae985e210bcec6e69c1f"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-x86_64-linux-11.2.0-2.tar.gz"
hashes = ["sha256:f1b33dee2865ccd237bda784025962f6331c9b3dfc87ec2b1f798f12641df69d"]
@@ -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"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "10.3.2"
provides = ["gnat=10.3.2"]
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-2/gnat-riscv64-elf-linux64-10.3.0-2.tar.gz"
hashes = ["sha256:15ce9c58f2871336d944f20d39b230a92da2e21bc9e60b59e693327ba463a83a"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-darwin-10.3.0-2.tar.gz"
hashes = ["sha256:02b8746589190112a9aa5798f3c38831c423baac26451240432a357a7324ddc1"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-2/gnat-riscv64-elf-windows64-10.3.0-2.tar.gz"
hashes = ["sha256:f7f96169b92c5aacc415aa105e4baf40dbd49a0ba75eed0a97e3586bdf2aa5da"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "11.2.1"
provides = ["gnat=11.2.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-11.2.0-1/gnat-riscv64-elf-linux64-11.2.0-1.tar.gz"
hashes = ["sha256:71151d7902b127f5f68d206f6134d1c18d203f8269e11970cab28e0ff5ff801e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-darwin-11.2.0-1.tar.gz"
hashes = ["sha256:359f6d99dc55b01432dc8fa8190ba8bfe7f2e6a78b458cca45fa41bbcd04a9c7"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-windows64-11.2.0-1.tar.gz"
hashes = ["sha256:a04a8bd99ac1ec576aba2a69b6608fd78d805c737de59c30f570bd5dd5a82a97"]
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "11.2.2"
provides = ["gnat=11.2.2"]
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-11.2.0-2/gnat-riscv64-elf-linux64-11.2.0-2.tar.gz"
hashes = ["sha256:5d0c03e8df93c716476d423bbdc4c1150a370f769be30c3e6a1d909197cb6b1d"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-darwin-11.2.0-2.tar.gz"
hashes = ["sha256:b2cba6792286e082194d8759d652c2cf51b5c715a52f90bb8c311b34c4e4e084"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-2/gnat-riscv64-elf-windows64-11.2.0-2.tar.gz"
hashes = ["sha256:37b33190b9db1ac9cf6b608b50bc176d314895105ef5f626b0efb6846360c40a"]
+36
View File
@@ -0,0 +1,36 @@
name = "gnatcoll"
version = "22.0.0"
description = "GNAT Components Collection - Core packages"
website = "https://github.com/adacore/gnatcoll-core"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gnatcoll.gpr"]
tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
[configuration]
disabled = true
[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 = "22.0.0"
[[depends-on]]
libgpr = "~22.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-core/archive/v22.0.0/gnatcoll-core-22.0.0.zip"
hashes=['sha512:620c2f23bc047b82e659c7282d6306bc9c8b09e7ec428a9e39722802164ca2962628e5d91a33a00921707033d121bd7a179fffd4a439a0b48df21869b35e82d9']
@@ -0,0 +1,25 @@
name = "gnatcoll_gmp"
version = "22.0.0"
description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libgmp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,32 @@
name = "gnatcoll_iconv"
version = "22.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[configuration]
disabled = true
[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 = "~22.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,25 @@
name = "gnatcoll_lzma"
version = "22.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lzma/gnatcoll_lzma.gpr"]
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
liblzma = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,25 @@
name = "gnatcoll_omp"
version = "22.0.0"
description = "GNAT Components Collection - OpenMP binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libgomp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,26 @@
name = "gnatcoll_postgres"
version = "22.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["postgres/gnatcoll_postgres.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_sql = "~22.0.0"
postgresql = "*"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
name = "gnatcoll_readline"
version = "22.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
libreadline = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,24 @@
name = "gnatcoll_sql"
version = "22.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sql/gnatcoll_sql.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
name = "gnatcoll_sqlite"
version = "22.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_sql = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,28 @@
name = "gnatcoll_syslog"
version = "22.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~22.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
@@ -0,0 +1,27 @@
name = "gnatcoll_xref"
version = "22.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
gnatcoll_iconv = "~22.0.0"
gnatcoll_sql = "~22.0.0"
gnatcoll_sqlite = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v22.0.0/gnatcoll-db-22.0.0.zip"
hashes=['sha512:ffe1c7ecb6742f0d69df0a821e4bb3370561d38db2d24108c50b601a0a45ef5265c07dbd4827191a28191b94a5e921e415dbfe90e13921bef2b4c1a46e5e020e']
@@ -0,0 +1,25 @@
name = "gnatcoll_zlib"
version = "22.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["zlib/gnatcoll_zlib.gpr"]
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~22.0.0"
zlib = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v22.0.0/gnatcoll-bindings-22.0.0.zip"
hashes=['sha512:f3732e5de05b8c3e82b2ac541f378b4890860ce1207cb44638c71e30dc149d188345f7b5004065344af21c5dc8628deaad8e70b47ab4692c09676633aa6444d8']
+24
View File
@@ -0,0 +1,24 @@
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"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[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"]
+24
View File
@@ -0,0 +1,24 @@
name = "gnatcov"
version = "21.0.2"
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"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-linux-21.0-2.tar.gz"
hashes = ["sha256:7f9c225e36ba277c35ac2fd053190a8a1c36f47cdb3e8b68d74178d7c903dcb3"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-darwin-21.0-2.tar.gz"
hashes = ["sha256:b02987db79b51f5c815d5550b8688337c7706105cd713179d2a7a5657a78fcaa"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-windows64-21.0-2.tar.gz"
hashes = ["sha256:154a9bab22cc5656d6d282a0a998c74dd2ebc9a3aff38b9c7a765950db5321d6"]
+22
View File
@@ -0,0 +1,22 @@
name = "gprbuild"
version = "21.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"]
+22
View File
@@ -0,0 +1,22 @@
name = "gprbuild"
version = "21.0.2"
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-2/gprbuild-x86_64-linux-21.0.0-2.tar.gz"
hashes = ["sha256:6675f899832a17fdcf4e09ada8844cc519cd5070dca3c9c6b28a7eac6085114e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-darwin-21.0.0-2.tar.gz"
hashes = ["sha256:4f77240c83373412c62f55bda8cbf1136b53e9706dabcaab6c400b52cbadeaf3"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-2/gprbuild-x86_64-windows64-21.0.0-2.tar.gz"
hashes = ["sha256:9ac7bb44268e0f8d4dcf1666e9ba1aa3d93309f22bd010d352a17575c25fd5d6"]
+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"]
+1 -1
View File
@@ -1,4 +1,4 @@
description = "\"Hello, world!\" demonstration project"
description = '"Hello, world!" demonstration project'
name = "hello"
version = "1.0.1"
+1 -1
View File
@@ -1 +1 @@
version = "1.0"
version = "1.1"
+23
View File
@@ -0,0 +1,23 @@
name = "libgpr"
version = "22.0.0"
description = "GNAT Project File Library"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gpr/gpr.gpr"]
[configuration]
disabled = true
[gpr-externals]
GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnat = "/=2020" # Does not build with GNAT Community 2020
xmlada = "~22.0.0"
[origin]
url="https://github.com/AdaCore/gprbuild/archive/v22.0.0/gprbuild-22.0.0.zip"
hashes=['sha512:30e39dccd28aa8d0c23dc76704a0ae1f27f181c807587472daadd8693489f3a53dda3c2bfa5c8fc754aa0ceb9e4be063213b46f833d3845ab204276640f40a2d']
@@ -0,0 +1,27 @@
name = "libsimpleio"
description = "Linux Simple I/O Library bindings for GNAT Ada"
version = "1.19965.2"
licenses = "BSD-1-Clause"
website = "https://github.com/pmunts/libsimpleio"
authors = ["Philip Munts"]
maintainers = ["Philip Munts <phil@munts.net>"]
maintainers-logins = ["pmunts"]
project-files = ["libsimpleio.gpr", "programs.gpr"]
tags = ["embedded", "linux", "libsimpleio", "remoteio", "beaglebone",
"pocketbeagle", "raspberrypi", "adc", "dac", "gpio", "hid", "i2c", "motor",
"pwm", "sensor", "serial", "servo", "spi", "stepper", "watchdog"]
[available."case(os)"]
'linux' = true
"..." = false
[origin]
hashes = [
"sha256:09f3b3a95ae9a6fabd0c28eeee1026507dd1839a2d407d2ed81f16e626ec7ca5",
"sha512:4f49598114ff7589605d470c0a5d608f9d0e924c2b7af612cba5e79223b608ae3393a87f48f2cf050ff4ef3ca295d7ad96faace02b50b652781129df40e47324",
]
url = "http://repo.munts.com/alire/libsimpleio-1.19965.2.tbz2"
@@ -0,0 +1,22 @@
description = "Implementation of OMG's Meta Object Facility (MOF)"
name = "matreshka_amf"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf.gpr"]
tags = ["uml", "meta", "mof"]
[available.'case(os)']
windows = false
'...' = true
[[depends-on]]
matreshka_league = "21.0.0"
matreshka_xml = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "abff6b28bdb8e19de9f9c27c6dd3107d981adb22"
@@ -0,0 +1,18 @@
description = "Diagram Definition (DD) specification support for AMF"
name = "matreshka_amf_dd"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf_dd.gpr"]
tags = ["uml", "meta", "diagram"]
[[depends-on]]
matreshka_amf = "21.0.0"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "d9f26bf491a2bfd76c4396fd8f49459bc230423a"
@@ -0,0 +1,18 @@
description = "The UML mofext for AMF"
name = "matreshka_amf_mofext"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf_mofext.gpr"]
tags = ["uml", "meta", "diagram"]
[[depends-on]]
matreshka_amf_uml = "21.0.0"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "1ae53d45dcee2172c03ed7856a6f194d6deb4f27"
@@ -0,0 +1,18 @@
description = "The UML OCL for AMF"
name = "matreshka_amf_ocl"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf_ocl.gpr"]
tags = ["uml", "meta", "diagram", "ocl"]
[[depends-on]]
matreshka_amf_uml = "21.0.0"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "aedf6e4d7d264c66156294e3cb10938ed17e14c8"
@@ -0,0 +1,18 @@
description = "Unified Modeling Language support for AMF"
name = "matreshka_amf_uml"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf_uml.gpr"]
tags = ["uml", "meta", "diagram"]
[[depends-on]]
matreshka_amf_dd = "21.0.0"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "2d78ddd950f19e9806ff6e81b14b12b35385e7fe"
@@ -0,0 +1,18 @@
description = "The UML Testing Profile for AMF"
name = "matreshka_amf_utp"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_amf_utp.gpr"]
tags = ["uml", "meta", "diagram", "testing"]
[[depends-on]]
matreshka_amf_uml = "21.0.0"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "ecbb733e1e66e6d9a51501d148a1733e47da2fef"
@@ -0,0 +1,17 @@
description = "FastCGI implementation (demo)"
name = "matreshka_fastcgi"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_fastcgi.gpr"]
tags = ["web", "cgi", "http"]
[[depends-on]]
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "20fa445356c12b414c5500fddf59d55bf9c08c97"
@@ -11,12 +11,22 @@ tags = ["unicode", "xml", "sax", "json", "encoding", "regexp", "time"]
[[actions]]
type = "post-fetch"
command = ["make", "reconfig"]
command = ["make", "--always-make", "reconfig"]
[[depends-on]]
make = "any"
# GNAT 11 and GNAT CE 2021 complains:
# violation of restriction "No_Elaboration_Code"
[depends-on.'case(os)'.'macos']
gnat = "<11"
# GNAT CE 2020 miss TLS support, alire GCC 10 should work fine
[depends-on.'case(os)'.'...']
gnat = "<11|(>=2000 & <2021)"
[origin]
url = "http://forge.ada-ru.org/matreshka/downloads/matreshka-20.1.tar.gz"
archive-name = "matreshka-18.1.tar.gz"
archive-name = "matreshka-20.1.tar.gz"
hashes = ["sha512:41ddb44a6073cb57c88e25024f6e2db94003e98263ef38feecb752021d6e9213c12303efc2557e1842100aa4f52d3b58323319dcc1394fe21d3514258c19e466"]
@@ -0,0 +1,26 @@
description = "League - universal string library. Part of Matreshka framework"
name = "matreshka_league"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["gnat/matreshka_league.gpr"]
tags = ["unicode", "xml", "sax", "json", "encoding", "regexp", "time"]
[[actions]]
type = "post-fetch"
command = ["make", "reconfig"]
[[depends-on]]
make = "any"
[depends-on.'case(os)'.macos]
gnat = "<2000"
# GNAT CE 2020 miss TLS support, alire GCC 11 works fine
[origin]
url = "http://forge.ada-ru.org/matreshka/downloads/matreshka-21.0.tar.gz"
archive-name = "matreshka-21.0.tar.gz"
hashes = ["sha512:0c8f4d478d64e761967b3bcb7aae56fe08c4dd254acfe17a704cf21d2ba9f4b8faed470268c8c6dfa2b6e0dcab64e5fdaae04361657b8d5fa85dd35e6a76e9b2"]
@@ -0,0 +1,17 @@
description = "Servlet API"
name = "matreshka_servlet"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_servlet.gpr"]
tags = ["web", "servlet", "http"]
[[depends-on]]
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "e6463c55cfc662b3f738175e855fb9bf6cdfd3b8"
@@ -0,0 +1,18 @@
description = "Framework for work with SOAP 1.2"
name = "matreshka_soap"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_soap.gpr"]
tags = ["soap", "rpc", "protocol", "web"]
[[depends-on]]
matreshka_league = "21.0.0"
matreshka_xml = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "f0e001315430e87814c080acade5b26edb747b1e"
@@ -0,0 +1,18 @@
description = "WS-Security 1.1 implementation for SOAP 1.2"
name = "matreshka_soap_wsse"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_soap_wsse.gpr"]
tags = ["soap", "wsse", "web"]
[[depends-on]]
matreshka_league = "21.0.0"
matreshka_soap = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "2a4cb0c0f17201bc8e116706a9db4adc78f7d644"
@@ -0,0 +1,18 @@
description = "Web-application server. API library"
name = "matreshka_spikedog_api"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_spikedog_api.gpr"]
tags = ["web", "servlet"]
[[depends-on]]
matreshka_league = "21.0.0"
matreshka_servlet = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "2b70f85edf6c8ebc980d54c9b0e918ebaa0a4535"
@@ -15,7 +15,9 @@ aws = "any"
matreshka_league = "20.1.0"
matreshka_spikedog_core = "20.1.0"
[gpr-set-externals]
LIBRARY_TYPE="relocatable"
[origin]
# NOTE: Use the same dummy archive to build subproject as in 18.1
url = "https://github.com/reznikmm/matreshka-alire/archive/matreshka_spikedog_awsd-18.1.tar.gz"
hashes = ["sha512:b31fb7b6c8e936bec6d5ace196f264278a037f73b8c9c5fefa8d87ae0f563f666d64b9fe3f61f637c6c2bf56ee110d45c15d9a1b3a67e5f4d7bc8c932dd7f902"]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "1478b224545c3fa67dc5a8899d3c535d61dc41e6"
@@ -0,0 +1,23 @@
description = "Web-application server. API library"
name = "matreshka_spikedog_awsd"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
executables = ["spikedog_awsd"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_spikedog_awsd.gpr"]
tags = ["web", "servlet"]
[[depends-on]]
aws = "any"
matreshka_league = "21.0.0"
matreshka_spikedog_core = "21.0.0"
[gpr-set-externals]
LIBRARY_TYPE="relocatable"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "1478b224545c3fa67dc5a8899d3c535d61dc41e6"
@@ -0,0 +1,18 @@
description = "Web-application server. Implementation library"
name = "matreshka_spikedog_core"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_spikedog_core.gpr"]
tags = ["web", "servlet"]
[[depends-on]]
matreshka_league = "21.0.0"
matreshka_spikedog_api = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "8932a8f4aec45d6818176162c5632f7df81ae688"
@@ -0,0 +1,17 @@
description = "Common SQL Database API"
name = "matreshka_sql"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql.gpr"]
tags = ["sql", "database", "db"]
[[depends-on]]
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "64f17b82f6b542fbe1790c7c3f207721969f939b"
@@ -0,0 +1,19 @@
description = "Firebird SQL binding for Ada"
name = "matreshka_sql_firebird"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql_firebird.gpr"]
tags = ["sql", "database", "db", "firebird"]
[[depends-on]]
libfbclient = "any"
matreshka_league = "21.0.0"
matreshka_sql = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "3f0d1ed6f8ca07fbe19bcb05ec8018a24d36c815"
@@ -0,0 +1,19 @@
description = "MySQL binding for Ada"
name = "matreshka_sql_mysql"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql_mysql.gpr"]
tags = ["sql", "database", "db", "mysql", "mariadb"]
[[depends-on]]
libmysqlclient = "any"
matreshka_league = "21.0.0"
matreshka_sql = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "e880d413a557f324505cf8fdf2857c38a3007b37"
@@ -0,0 +1,19 @@
description = "Oracle DB binding for Ada"
name = "matreshka_sql_oracle"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql_oracle.gpr"]
tags = ["sql", "database", "db", "oracle"]
[[depends-on]]
libclntsh = "any"
matreshka_league = "21.0.0"
matreshka_sql = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "642d7f2873eb626a335fe5a5e424f604ccb66726"
@@ -0,0 +1,23 @@
description = "PostgreSQL binding for Ada"
name = "matreshka_sql_postgresql"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql_postgresql.gpr"]
tags = ["sql", "database", "db", "postgresql"]
# Configure on msys2 fails to work with pg_config
[available.'case(os)']
windows = false
'...' = true
[[depends-on]]
libpq = "any"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "8a4efceaaf37b1a2247ce8d07f44186e4c683afe"
@@ -0,0 +1,18 @@
description = "SQLite binding for Ada"
name = "matreshka_sql_sqlite3"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_sql_sqlite3.gpr"]
tags = ["sql", "database", "db", "sqlite"]
[[depends-on]]
libsqlite3 = "any"
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "0ae8347db103c231d60bc4b795461aa4e6c73696"
@@ -0,0 +1,17 @@
description = "Library to manipulate with XML streams and documents"
name = "matreshka_xml"
version = "21.0.0"
website = "https://forge.ada-ru.org/matreshka"
authors = ["Vadim Godunko"]
licenses = "BSD-3-Clause"
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["godunko", "reznikmm"]
project-files = ["build_matreshka_xml.gpr"]
tags = ["xml", "dom", "catalog", "templates", "html5"]
[[depends-on]]
matreshka_league = "21.0.0"
[origin]
url = "git+https://github.com/reznikmm/matreshka-alire"
commit = "fbca8dc8c20531b101403df03352f1dfb70791c6"
+47
View File
@@ -0,0 +1,47 @@
name = "mcp2221"
description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
version = "1.19965.1"
licenses = "BSD-1-Clause"
website = "https://github.com/pmunts/libsimpleio"
authors = ["Philip Munts"]
maintainers = ["Philip Munts <phil@munts.net>"]
maintainers-logins = ["pmunts"]
project-files = ["mcp2221.gpr", "programs.gpr"]
tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
[available."case(os)"]
'linux|windows' = true
"..." = false
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
[[depends-on]]
[depends-on."case(os)"."linux"]
libhidapi = "*"
[[depends-on]]
[depends-on."case(os)"."linux"]
libusb = "~1.0"
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
[[actions."case(os)".linux]]
type = "post-fetch"
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
[[actions."case(os)".windows]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
[origin]
hashes = [
"sha512:a261a03f704bb894fe25058af949a0953934a54694aa1d730144e79f6b6ff213a689f34c9b0d7ce2ac9534ba37a51719b825e5a2b743baa99bc537cdcbabd022",
]
url = "http://repo.munts.com/alire/mcp2221-1.19965.1.tbz2"
+48
View File
@@ -0,0 +1,48 @@
name = "mcp2221"
description = "MCP2221 USB Raw HID I/O Expander Library for GNAT Ada"
version = "1.19965.2"
licenses = "BSD-1-Clause"
website = "https://github.com/pmunts/libsimpleio"
authors = ["Philip Munts"]
maintainers = ["Philip Munts <phil@munts.net>"]
maintainers-logins = ["pmunts"]
project-files = ["mcp2221.gpr", "programs.gpr"]
tags = ["embedded", "linux", "mcp2221", "adc", "dac", "gpio", "i2c", "motor",
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
[available."case(os)"]
'linux|windows' = true
"..." = false
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
[[depends-on]]
[depends-on."case(os)"."linux"]
libhidapi = "*"
[[depends-on]]
[depends-on."case(os)"."linux"]
libusb = "~1.0"
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
[[actions."case(os)".linux]]
type = "post-fetch"
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
[[actions."case(os)".windows]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
[origin]
hashes = [
"sha256:31a0154516b1c7674723dfdded996a2cb1074e9df6cab68f1c87042b504b30e7",
"sha512:5024a3d5862c35deaa1fb12e5c119338c96bf556eb2f62e4ea4d2e6351d04f1b8dd83df48780103699bfef9c88d05789ae7dc630cddf3f6d4fd911cc1f713051",
]
url = "http://repo.munts.com/alire/mcp2221-1.19965.2.tbz2"
+19
View File
@@ -0,0 +1,19 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "0.6.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.6"
[origin]
commit = "b7a5868eb3bef041630530d371c8e2361c6feed0"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
+22
View File
@@ -0,0 +1,22 @@
name = "pico_bsp"
description = "Board support package for Raspberry Pi Pico"
version = "0.7.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.7"
[configuration.values]
rp2040_hal.Flash_Chip = "w25qxx"
[origin]
commit = "c9b6fe5b4a55911f7c8dfd7fd316edb464a80a22"
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
@@ -0,0 +1,33 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "0.6.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.6"
[origin]
commit = "e674c7a232455130357ea7b87c4dd7e3ad612915"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
@@ -0,0 +1,34 @@
name = "pico_examples"
description = "Examples for Ada on the Raspberry Pi Pico"
version = "0.7.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 = [
"adc_continuous/adc_continuous.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",
"usb_echo/usb_echo.gpr"]
[[depends-on]]
pico_bsp = "~0.7"
[origin]
commit = "99beb5b37107f387944fd5e8da98f5d77b0f44e5"
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
+25
View File
@@ -0,0 +1,25 @@
name = "play_2048"
description = "2048 game: merge tiles with the same number until you add up to 2048"
version = "1.0.0"
authors = ["Manuel Gomez"]
maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
maintainers-logins = ["mgrojo"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/mgrojo/play_2048/"
tags = ["game", "puzzle", "cross-platform", "sfml"]
executables = ["play_2048"]
[[depends-on]] # This line was added by `alr with`
asfml = "^2.5.0" # This line was added by `alr with`
[[depends-on]] # This line was added by `alr with`
ada_toml = "~0.2.0" # This line was added by `alr with`
[origin]
commit = "ddfe6faa729006cf78c6ceaa597e0a517a1f5aac"
url = "git+https://github.com/mgrojo/play_2048.git"
+47
View File
@@ -0,0 +1,47 @@
name = "remoteio"
description = "Remote I/O Protocol Client Library for GNAT Ada"
version = "1.19965.1"
licenses = "BSD-1-Clause"
website = "https://github.com/pmunts/libsimpleio"
authors = ["Philip Munts"]
maintainers = ["Philip Munts <phil@munts.net>"]
maintainers-logins = ["pmunts"]
project-files = ["remoteio.gpr", "programs.gpr"]
tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
[available."case(os)"]
'linux|windows' = true
"..." = false
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
[[depends-on]]
[depends-on."case(os)"."linux"]
libhidapi = "*"
[[depends-on]]
[depends-on."case(os)"."linux"]
libusb = "~1.0"
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
[[actions."case(os)".linux]]
type = "post-fetch"
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
[[actions."case(os)".windows]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
[origin]
hashes = [
"sha512:ed55539821fae447e16b241c957ba30b83a4dc1329364b939e9cd8bceab6b9ded657af3b48eca5dd057343af13bfa1cb8717416759a340d1c2179700c81d6f65",
]
url = "http://repo.munts.com/alire/remoteio-1.19965.1.tbz2"
+48
View File
@@ -0,0 +1,48 @@
name = "remoteio"
description = "Remote I/O Protocol Client Library for GNAT Ada"
version = "1.19965.2"
licenses = "BSD-1-Clause"
website = "https://github.com/pmunts/libsimpleio"
authors = ["Philip Munts"]
maintainers = ["Philip Munts <phil@munts.net>"]
maintainers-logins = ["pmunts"]
project-files = ["remoteio.gpr", "programs.gpr"]
tags = ["embedded", "linux", "remoteio", "adc", "dac", "gpio", "i2c", "motor",
"pwm", "sensor", "serial", "servo", "spi", "stepper"]
[available."case(os)"]
'linux|windows' = true
"..." = false
# Linux needs libhidapi-dev and/or libusb-1.0-0-dev installed
[[depends-on]]
[depends-on."case(os)"."linux"]
libhidapi = "*"
[[depends-on]]
[depends-on."case(os)"."linux"]
libusb = "~1.0"
# On Linux, patch hid-hidapi.ads to link with libhidapi-hidraw.so
[[actions."case(os)".linux]]
type = "post-fetch"
command = ["sh", "-c", "sed -i 's/lhidapi/lhidapi-hidraw/g' src/objects/hid/hid-hidapi.ads"]
# On Windows, copy .DLL files to ./bin/ (for execution) and ./lib/ (for linking)
[[actions."case(os)".windows]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p ./bin && cp src/win64/*.dll ./bin && mkdir -p ./lib && cp src/win64/*.dll ./lib"]
[origin]
hashes = [
"sha256:ee567b8483dd9b58973464ced6c678b88ab28bbfec66a84cb8e31555ef0c5ac3",
"sha512:b08000ffb797a8266f56f87fc8cc39b497c34a3e45840dd41b82cf44caabd5d56fba34572522cdc8b2332744d68fbae59060408fb757d8e2a4c73c090558d3e2",
]
url = "http://repo.munts.com/alire/remoteio-1.19965.2.tbz2"
+19
View File
@@ -0,0 +1,19 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "0.6.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 = "a3ea286762cd60c0e24c3979e0d812fc3dbe3917"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+30
View File
@@ -0,0 +1,30 @@
name = "rp2040_hal"
description = "Drivers and HAL for the RP2040 micro-controller family"
version = "0.7.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"
[[depends-on]]
usb_embedded = "~0.2"
gnat_arm_elf = "~11.2"
[configuration.variables]
Flash_Chip = {type = "Enum", values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
Use_Startup = {type = "Boolean", default = true}
[configuration.values]
atomic.Backend = "armv6m"
[origin]
commit = "d71db1120df80f82e8dfc2285a19806bf15b8635"
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
+33
View File
@@ -0,0 +1,33 @@
description = "Drivers and HAL for the SAMD51 micro-controller family"
name = "samd51_hal"
version = "0.3.0"
website = "https://github.com/Fabien-Chouteau/samd51-hal"
licenses = "BSD-3-Clause"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ATSAMD51G18A.gpr",
"ATSAMD51J18A.gpr",
"ATSAMD51J20A.gpr",
"ATSAMD51N20A.gpr",
"ATSAMD51P20A.gpr",
"ATSAMD51G19A.gpr",
"ATSAMD51J19A.gpr",
"ATSAMD51N19A.gpr",
"ATSAMD51P19A.gpr"]
tags = ["embedded", "nostd", "atsamd51", "microchip", "atmel", "drivers"]
auto-gpr-with=false # User has to select only one project file
[configuration]
disabled = true
[[depends-on]]
cortex_m = "~0.1"
hal = "~0.1"
usb_embedded = "~0.2"
gnat_arm_elf = "^11.2.2"
[origin]
commit = "cc5473956b60b8cdceea7069c3e3c4e09e51d078"
url = "git+https://github.com/Fabien-Chouteau/samd51-hal.git"
@@ -0,0 +1,16 @@
name = "semantic_versioning"
version = "2.1"
description = "Semantic Versioning in Ada"
licenses = "LGPL-3.0-only"
website = "https://github.com/alire-project/semantic_versioning"
authors = [ "Alejandro R. Mosteo" ]
maintainers = [ "alejandro@mosteo.com", ]
maintainers-logins = [ "mosteo", ]
tags = ["semver", "semantic", "versioning"]
[origin]
commit = "cc69201134c0a8d695b767a1fd1bf4fd8f6f3880"
url = "git+https://github.com/alire-project/semantic_versioning.git"
+43
View File
@@ -0,0 +1,43 @@
name = "septum"
description = "An interactive context-based text search tool for large codebases."
version = "0.0.2"
website = "https://github.com/pyjarrett/septum"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["search", "code", "text"]
executables = ["septum"]
[gpr-set-externals.'case(os)']
windows = { Septum_Platform = "windows" }
linux = { Septum_Platform = "linux" }
macos = { Septum_Platform = "macos" }
[available.'case(os)']
linux = true
windows = true
macos = false
[[depends-on]] # Added by alr
dir_iterators = "~0.0.3" # Added by alr
[[depends-on]] # Added by alr
progress_indicators = "~0.0.1" # Added by alr
[[depends-on]] # Added by alr
trendy_terminal = "~0.0.2" # Added by alr
# Leaving this here to locally targeting trendy_terminal which is being
# developed in parallel with this project.
#[[pins]] # Added by alr
# For concurrent local development with trendy terminal
#trendy_terminal = { path='../trendy_terminal' } # Added by alr
# To be used for CI
#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
[[depends-on]] # Added by alr
atomic = "~0.3.0" # Added by alr
[origin]
commit = "4e0babff4149ee3b1581065facb22c6eb7a83a06"
url = "git+https://github.com/pyjarrett/septum.git"
+43
View File
@@ -0,0 +1,43 @@
name = "septum"
description = "An interactive context-based text search tool for large codebases."
version = "0.0.3"
website = "https://github.com/pyjarrett/septum"
authors = ["Paul Jarrett"]
licenses = "Apache-2.0"
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
tags = ["search", "code", "text"]
executables = ["septum"]
[gpr-set-externals.'case(os)']
windows = { Septum_Platform = "windows" }
linux = { Septum_Platform = "linux" }
macos = { Septum_Platform = "macos" }
[available.'case(os)']
linux = true
windows = true
macos = false
[[depends-on]] # Added by alr
dir_iterators = "~0.0.3" # Added by alr
[[depends-on]] # Added by alr
progress_indicators = "~0.0.1" # Added by alr
[[depends-on]] # Added by alr
trendy_terminal = "~0.0.2" # Added by alr
# Leaving this here to locally targeting trendy_terminal which is being
# developed in parallel with this project.
#[[pins]] # Added by alr
# For concurrent local development with trendy terminal
#trendy_terminal = { path='../trendy_terminal' } # Added by alr
# To be used for CI
#trendy_terminal = { url = "https://github.com/pyjarrett/trendy_terminal.git", branch="main" }
[[depends-on]] # Added by alr
atomic = "~0.3.0" # Added by alr
[origin]
commit = "df63997bf7a12802a6bb203b2d72aa063462e7c2"
url = "git+https://github.com/pyjarrett/septum.git"
@@ -10,6 +10,7 @@ maintainers-logins = ["mosteo"]
project-files = ["components.gpr", "components-connections_server.gpr", "components-connections_server-elv_max_cube.gpr", "components-connections_server-http_server.gpr", "components-connections_server-http_server-sqlite_browser.gpr", "components-connections_server-modbus.gpr", "components-connections_server-mqtt.gpr", "components-connections_server-secure.gpr", "components-connections_server-smtp.gpr", "components-gnutls.gpr", "components-ntp.gpr", "components-odbc.gpr", "components-sqlite.gpr", "strings_edit.gpr", "tables.gpr"]
[[depends-on]]
gnat = "/=2021 & <11"
libgnutls = "^3.5.8"
unixODBC = "^2.3"
@@ -31,5 +32,5 @@ arch = "i686"
arch = "x86_64"
[origin]
url = "http://www.dmitry-kazakov.de/ada/components_4_42.tgz"
hashes = ["sha512:d428a64b7e457d616dd402ac75f8324e7564ed42e667c8efc909079638213426232ea6d856f1080b633d5bb90dda5567073b8e66cbb55462f27ea64ff7360107"]
url = "git+https://github.com/alire-project/dak_simple_components.git"
commit = "21c0053074f991b615eae2d678e1d3afc6bf7a2a"
@@ -0,0 +1,35 @@
name = "spark_unbound"
description = "Unbound data structures in Ada-Spark"
version = "0.2.1"
long-description = """
Spark_Unbound is a take on providing generic unbound data structures in Spark.
In addition to proving general absence of runtime errors, the heap allocation is done in a non-Spark function to catch a possible `Storage_Error`.
This further increases the security and confident use of this library.
**The following packages are currently available:**
- `Spark_Unbound.Safe_Alloc`: Providing formally proven safe heap allocation functionality
- `Spark_Unbound.Arrays`: Providing a formally proven alternative to `Ada.Containers.Vector`
**Note:** If you use this library, starring the repository on GitHub helps me a lot to see if it is even useful for someone else.
"""
authors = ["Manuel Hatzl"]
maintainers = ["Manuel Hatzl <hatzlmanuel@outlook.com>"]
maintainers-logins = ["mhatzl"]
website = "https://github.com/mhatzl/spark_unbound"
licenses = "MIT"
tags = ["spark", "unbound"]
[[depends-on]]
# Needed for Ada.Numerics.Big_Numbers
gnat = "(>=9.3.1 & <2000) | >=2021"
[origin]
commit = "1f8dae0167b56dbbfcc0cbe40c833a95443d2556"
url = "git+https://github.com/mhatzl/spark_unbound.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 = "3.0.0"
tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
licenses = "BSD-3-Clause"
website = "https://github.com/rod-chapman/SPARKNaCl"
authors = ["Rod Chapman"]
maintainers = ["Rod Chapman <rod@proteancode.com>"]
maintainers-logins = ["rod-chapman"]
[[depends-on]]
gnat=">=11.2.1"
[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", "Os"]
SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_a4"]
[origin]
commit = "8f2eed89f541f4e3ebf6844586eacaa7b3691ea3"
url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
+16
View File
@@ -0,0 +1,16 @@
name = "specfun"
description = "Native Ada library of special functions (e.g., beta, gamma)"
version = "1.0.0"
long-description = "This is a small native Ada library that provides few special functions like Beta, Gamma and Beta Incomplete. I wrote this because I needed those functions, therefore at the moment only the functions that I needed are present. This is a pure native Ada library and there is no dependence on external FORTRAN libraries."
licenses = "MIT"
website = "https://gitlab.com/my-ada-library/specfun"
tags = ["special-fun", "numerics", "beta-function", "gamma-function", "beta-incomplete"]
authors = ["Riccardo Bernardini"]
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
maintainers-logins = ["fintatarta"]
[origin]
commit = "b702d270ca6e1ffb272aa2faa3fc8626ee4739a0"
url = "git+https://gitlab.com/my-ada-library/specfun.git"
@@ -0,0 +1,23 @@
name = "startup_gen"
version = "22.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-or-later"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["startup_gen.gpr"]
tags = ["embedded", "zfp", "nostd"]
[configuration]
disabled = true
[[depends-on]]
gnatcoll = "~22.0.0"
libgpr = "~22.0.0"
templates_parser = "~22.0.0"
[origin]
url="https://github.com/AdaCore/startup-gen/archive/v22.0.0/startup-gen-22.0.0.zip"
hashes=["sha512:85f5a12201bda7438a505a866a4d1208940da45639344e38a1270fd9e0ebc6f4b7525cec74d3df0cde5453afe796713f94a7ff5b5896b7023adebe24cfefa087"]
@@ -0,0 +1,35 @@
name = "templates_parser"
version = "22.0.0"
description = "Templates Parser: File generation from templates in Ada"
website = "https://github.com/AdaCore/templates-parser"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["templates_parser.gpr"]
[configuration]
disabled = true
[[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"
[environment]
ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
[[depends-on]]
xmlada = "~22.0.0"
[origin]
url="https://github.com/AdaCore/templates-parser/archive/v21.0.0/templates-parser-21.0.0.zip"
hashes=['sha512:2b7ce36cf5f985724416c9abc68725bf73c9e8af6389801043dee2f3e9a4a9d2155a86c96f8088dd830af3b8942a3e7dd7373e7003741a4098ca580e6fa507a4']
@@ -0,0 +1,30 @@
name = "trendy_terminal"
description = "Terminal options, setup, tab completion and hinting."
version = "0.0.2"
website = "https://github.com/pyjarrett/trendy_terminal"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "Apache-2.0"
tags = ["terminal", "command-line", "console", "vt100"]
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 = "4ff45b26617eaff8257e203266b7d39abbfa88fb"
url = "git+https://github.com/pyjarrett/trendy_terminal.git"
@@ -0,0 +1,30 @@
name = "trendy_terminal"
description = "Terminal options, setup, tab completion and hinting."
version = "0.0.3"
website = "https://github.com/pyjarrett/trendy_terminal"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "Apache-2.0"
tags = ["terminal", "command-line", "console", "vt100"]
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 = "d4941ef2f5e63f53d075501c52c65aaf5c7963a9"
url = "git+https://github.com/pyjarrett/trendy_terminal.git"
@@ -0,0 +1,19 @@
name = "usb_embedded"
description = "An Ada USB stack for embedded devices"
version = "0.2.0"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/usb_embedded"
licenses = "BSD-3-Clause"
tags = ["embedded", "usb", "hid", "midi", "nostd"]
[[depends-on]]
hal = "~0.1.0"
bbqueue = "~0.3.0"
[origin]
commit = "fdf60082ae3d4200418463776549e5d11f74156d"
url = "git+https://github.com/Fabien-Chouteau/usb_embedded.git"
+20
View File
@@ -0,0 +1,20 @@
name = "vss"
description = "Advanced string and text manipulation with Unicode support"
version = "22.0.0-20210830"
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 = "92cfa4bd5d1116841b1d63b4011bb9a6f33fa7f8"
url = "git+https://github.com/AdaCore/VSS.git"
[[depends-on]]
gnat = ">=2020|(>=11 & <=2000)"
@@ -0,0 +1,17 @@
name = "weechat_ada"
description = "Ada 2012 library for WeeChat plug-ins"
version = "3.0.0"
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"]
[configuration]
disabled = true
[origin]
commit = "f69eefc2d6e5f15199a9eef0a51e10aefc844946"
url = "git+https://github.com/onox/weechat-ada.git"
+28
View File
@@ -0,0 +1,28 @@
name = "win32ada"
version = "22.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"]
[configuration]
disabled = true
[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/v22.0.0/win32ada-22.0.0.zip"
hashes=['sha512:25bbde23184673d60f5d9c2a73a4515b2a1b0e14efa7eef8a9cab4d33be7500c647eff699afb7943ca07225b5968c3012e26b7e4ae63169fe7d8f80f605cebf4']
+24
View File
@@ -0,0 +1,24 @@
name = "xia"
description = "Implements XPath 1.0 in Ada"
version = "1.4.0"
licenses= "GPL-3.0-or-later WITH GCC-exception-3.1"
authors = ["Simon Wright"]
maintainers = ["Simon Wright <simon@pushface.org>"]
maintainers-logins = ["simonjwright"]
project-files = ["XIA.gpr"]
tags = ["xml"]
[[depends-on]]
gnat = ">11.0.0"
xmlada = "^21.0.0"
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
[origin]
commit = "b16bb5ce0ba7524f30f7ea9db71ab4007dc17277"
url = "git+https://github.com/simonjwright/xia.git"

Some files were not shown because too many files have changed in this diff Show More