Compare commits

...

468 Commits

Author SHA1 Message Date
Rod Kay 082c6389f8 lace_swig 1.0.0 (via alr publish) (#1976)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-06-23 10:33:22 +02:00
Rod Kay 44804126d1 lace_xml 1.0.0 (via alr publish) (#1968)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-06-23 10:32:27 +02:00
Rod Kay c5f00e30f0 lace_math 1.0.0 (via alr publish) (#1966) 2026-06-23 10:31:47 +02:00
Blady-Com 87774f91b5 Add Alire support for Gnoga V2.2. (#1985) 2026-06-23 10:30:18 +02:00
Blady-Com 00dee37783 uxstrings 0.9.3 (#1980) 2026-06-22 13:55:17 +02:00
uhppoted 503f31c781 uhppoted_lib 0.2.0 (#1975) 2026-06-22 13:46:44 +02:00
Alejandro R Mosteo 7657470512 doc: reviewer's guide (#1981)
* First skel

* rc1

* Tweaks

* Fix team

* typo: POLICY.md

Co-authored-by: Manuel <mgrojo@gmail.com>

---------

Co-authored-by: Manuel <mgrojo@gmail.com>
2026-06-22 13:45:49 +02:00
Tony Gair 56ef597bf3 df_ccv 0.1.0 (#1954)
* Add df_ccv 0.1.0

* df_ccv: build note -> notes field (Alire review)

---------

Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
2026-06-22 13:20:04 +02:00
Alejandro R Mosteo 01ec5f4179 feat: check manifests against schema (#1965) 2026-06-22 12:47:04 +02:00
Tony Gair 9c9348816c df_llama 0.1.0 (#1958)
* Add df_llama 0.1.0

* df_llama: build note -> notes field (Alire review)

* df_llama: tidy notes (drop unshipped setup-llama.sh ref); re-pin to 0c7c3e9c5

* df_llama: re-pin to f44da7bd5 (all setup-llama.sh refs gone)

---------

Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
2026-06-22 12:45:20 +02:00
Martin Krischik 4e91b54059 pico_xbsp 1.8.0 (#1979)
* pico_xbsp-1.8.0 and adacl_embedded

* pico_xbsp 1.8.0 (via `alr publish`)
2026-06-22 11:36:25 +02:00
Martin Krischik 4d5f8f874a Pi Ada Tutorial release 1.8.0 (#1982)
Add pico_ada_c08_serial_communication and do full refresh for the older samples.
2026-06-22 11:10:16 +02:00
M Lorek cbf2f2bcd8 ada message pack (#1922)
* Add files via upload

* Update ada_msg_pack-0.1.0.toml

* Rename ada_msg_pack-0.1.0.toml to msg_pack-0.1.0.toml

* move file

* Update msg_pack-0.1.0.toml

* Update msg_pack-0.1.0.toml

* Update msg_pack-0.1.0.toml
2026-06-22 11:06:39 +02:00
Martin Krischik 4206a1952e AdaCL release 7.1.2 (#1977)
* Pi Ada Tutorial release 7.1.2

            Update adacl_embedded

* Update adacl-7.1.2.toml

delete line to force rebuild.
2026-06-22 11:02:23 +02:00
Stephane Carrez 758416bbaa Add spdx-tool 1.0.0 crate (new release) (#1983) 2026-06-22 10:41:56 +02:00
Stephane Carrez 02c29bc8c2 Add Ada Utility Library 2.9.0 crates (#1984) 2026-06-22 10:25:10 +02:00
Tony Gair 9b4518a887 df_box2d 0.1.0 (#1957)
* Add df_box2d 0.1.0

* df_box2d: build note -> notes field (Alire review)

* df_box2d: drop the test action — its scripts/test.sh needs CMake (libbox2d), absent on the index runners; the Ada library builds without it (Alire CI feedback)

---------

Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
2026-06-19 17:57:27 +02:00
Tony Gair 9bcd58a47f df_imgui 0.1.0 (#1956)
* Add df_imgui 0.1.0

* df_imgui: build note -> notes field + post-fetch action (Alire review)

---------

Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
2026-06-19 17:33:28 +02:00
Tony Gair 7b00e4aec5 df_stb 0.1.0 (#1955)
* Add df_stb 0.1.0

* df_stb: post-fetch action for build-stb.sh + notes field (review #1955); re-pin to c3442ad

---------

Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-06-19 17:29:37 +02:00
Daniel King 654a46010d libsap 0.3.0 (#1973)
* libsap 0.3.0 (via `alr publish`)

* Fix docker-run

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2026-06-19 16:44:39 +02:00
Blady-Com 2ab5e4b1ee Update UXStrings to version 0.9.2 (more fixes). (#1964) 2026-06-12 14:57:21 +02:00
Rod Kay 75495c5ab9 lace 1.0.0 (via alr publish) (#1962) 2026-06-12 14:56:28 +02:00
Alejandro R Mosteo 0a0d12e3df simple_components metadata: fix casing of dependency (#1963)
* Fix casing of crate names

* Fix GNAT dependency
2026-06-10 17:24:53 +02:00
Rod Kay 56db249554 lace_shared 1.0.0 (#1961) 2026-06-10 14:31:33 +02:00
Michael Gardner 5c5dc09421 clara 1.0.1 (#1960)
Initial Alire community-index submission for crate `clara`, a
type-safe CLI argument parsing library for Ada 2022 built on top
of `functional` (Result / Option monads, railway-oriented parsing).

This is the first version of clara to be submitted to the
community index. v1.0.0 was tagged in the source repo but
intentionally not submitted after `alr publish --skip-submit`
dry-run validation surfaced SSH submodule URLs in the source
repo's `.gitmodules` (the same publishability defect that
functional 4.1.0 carried before 4.1.1, also unpublished). The
v1.0.1 source tree carries the HTTPS `.gitmodules` repair and
G9-dry passes cleanly.

Origin commit:
  1dafa0e89978ca214aab806d137b2641668b2458

Manifest content was produced by `alr publish --skip-submit`
in dev-container-ada-system-1 (Alire 2.1.0) against the v1.0.1
annotated tag (object 23e6a76162b27d6198c6db60f6d774ae2f4fb731,
target 1dafa0e89978ca214aab806d137b2641668b2458). The file
submitted in this PR is byte-identical to the generated
manifest (MD5 7f695a185909a912e56a496ab159af69).

Dependencies:
  gnat >= 13
  functional ^4.0.0   (already on the community index)

License: BSD-3-Clause
2026-06-10 10:44:14 +02:00
AdaOrbit 2fab99f8bc libbullet external +gentoo (#1959) 2026-06-10 08:58:41 +02:00
Tony Gair ee0a84c953 df_vulkan 0.1.0 (#1952)
Co-authored-by: Tony Gair <tony.gair@thedarkfactory.co.uk>
2026-06-08 18:11:16 +02:00
bladeacer 24b4b9e634 crdt 1.5.0 (via alr publish) (#1953) 2026-06-08 16:03:01 +02:00
Michael Gardner 44490572d8 functional 4.1.1 (#1951) 2026-06-08 13:31:30 +02:00
Daniel King 6b51ea3230 libsap 0.2.0 (#1950) 2026-06-08 13:24:48 +02:00
bladeacer 8081044fa8 crdt 1.3.0 (#1943) 2026-06-08 13:09:57 +02:00
Alejandro R Mosteo a3da892532 dev: bump Alire version to 2.1.1 and setup-alire to @latest (#1942)
* dev: bump Alire to 2.1.1 and setup-alire to @latest

* Touch libhello
2026-06-08 13:06:38 +02:00
bladeacer e61b85281c crdt 1.1.0 (via alr publish) (#1941)
* crdt 1.1.0 (via `alr publish`)

* crdt 1.1.0 (removed dev deps)
2026-06-03 13:14:04 +02:00
Alejandro R Mosteo a5980b01bf feat: new crate name check, plus reusable workflow (#1935)
* New crate name check, plus reusable workflow

* Touch libhello to trigger tests

* Give explicit name to reusable workflow
2026-05-25 13:22:57 +02:00
Gautier de Montmollin 80675a19fc lea 0.94.0 (#1916)
* Create lea-0.94.0.toml for LEA editor

LEA 0.94
* For Ada or .gpr code, the copy operation puts an HTML-formatted version of the selection into the clipboard.
* Copy operation: when nothing is selected, copy the current line (VS / VS Code - style).
* Added “Alire mode”. The user can control alr build and alr run: Build -> alr build; Run -> alr run.
* LEA checks externally changed files and provide options to the user for handling that.
* Minor improvements (menu texts, colors, ...)

* Triggering a new test

* Update LEA version and source URL in configuration

Removed relative path to memorymodule.o
2026-05-24 12:30:24 +02:00
Martin Krischik 643edfa8cc pico_ada_c01_blink 1.7.0 (#1925)
* pico_ada_c01_blink 1.7.0 (via `alr publish`)

* Remove redundant line in TOML file

to force a rebuild

* pico_ada_c01_blink-1.7.0 update tar.

* Update pico_ada_c01_blink-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:21:13 +02:00
Martin Krischik dfa368841b pico_ada_c01_blink_e 1.7.0 (#1926)
* pico_ada_c01_blink_e 1.7.0 (via `alr publish`)

* Downgrade rp2040_hal dependency to version 2.7.0

Downgrade HAL to last known working version.

* Update rp2040_hal dependency version constraint

Force downgrade.

* pico_ada_c01_blink_e update tar

* Update pico_ada_c01_blink_e-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:15:27 +02:00
Martin Krischik 643e322450 pico_ada_c01_blink_lt 1.7.0 (#1927)
* pico_ada_c01_blink_lt 1.7.0 (via `alr publish`)

* pico_ada_c01_blink_lt update tar

* Update pico_ada_c01_blink_lt-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:13:17 +02:00
Martin Krischik daf45e0366 pico_ada_c02_button_and_led 1.7.0 (#1928)
* pico_ada_c02_button_and_led 1.7.0 (via `alr publish`)

* pico_ada_c02_button_and_led update tar

* Update pico_ada_c02_button_and_led-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:11:59 +02:00
Martin Krischik d15311eea6 pico_ada_c03_led_bar 1.7.0 (#1929)
* pico_ada_c03_led_bar 1.7.0 (via `alr publish`)

* pico_ada_c03_led_bar update tar

* Update pico_ada_c03_led_bar-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:10:34 +02:00
Martin Krischik 725b057bdf pico_ada_c04_pwm 1.7.0 (#1930)
* pico_ada_c04_pwm 1.7.0 (via `alr publish`)

* pico_ada_c04_pwm update tar

* Update pico_ada_c04_pwm-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:09:17 +02:00
Martin Krischik b448e40119 pico_ada_c05_rgb 1.7.0 (#1931)
* pico_ada_c05_rgb 1.7.0 (via `alr publish`)

* pico_ada_c05_rgb update tar

* Update pico_ada_c05_rgb-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:07:52 +02:00
Martin Krischik 933d025346 pico_ada_c06_neopixel 1.7.0 (#1932)
* pico_ada_c06_neopixel 1.7.0 (via `alr publish`)

* pico_ada_c06_neopixel update tar

* Update pico_ada_c06_neopixel-1.7.0.toml to use pico_xbsp 1.7
2026-05-23 18:06:39 +02:00
Martin Krischik c58770b061 pico_ada_c07_buzzer 1.7.0 (#1933)
* pico_ada_c07_buzzer 1.7.0 (via `alr publish`)

* pico_ada_c07_buzzer-1.7.0 add ravenscar_build.gpr

* pico_ada_c07_buzzer update tar

* Fix formatting in pico_ada_c07_buzzer TOML file

To force a rebuild.

* Update pico_xbsp dependency version to 1.7

Since pico_ada_c07_buzzer-1.7.1 compiled without error I check step by step the differences.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-05-23 18:04:51 +02:00
Alejandro R Mosteo 005469c580 openssl external +SUSE (#1934) 2026-05-23 18:03:19 +02:00
Martin Krischik 70ada14c0a pico_xbsp 1.7.0 (#1924)
* pico_xbsp 1.7.0 (via `alr publish`)

* pico_xbsp update tar
2026-05-23 14:34:24 +02:00
Paul Jarrett 36b33a3fff trendy_terminal 0.0.7 (#1921)
* trendy_terminal 0.0.7 (via `alr publish`)

* Update trendy_terminal-0.0.7.toml

* Update trendy_terminal-0.0.7.toml
2026-05-23 14:32:51 +02:00
Rene Hartmann 321fda5e78 jintp 1.0.1 (#1920) 2026-05-23 14:28:48 +02:00
Gautier de Montmollin e81f5c55da gwindows 1.5.4 metadata (examples removed) (#1917)
Removed build of examples: this causes a new, mysterious issue in at least one crate (LEA) using the GWindows crate.
Examples will be built in a separate crate.
Note that gwindows_contrib.gpr also has some own examples but is not exposed to that issue which is related to an extra file added for the linker.
2026-05-23 13:51:59 +02:00
Martin Krischik 85a3691b34 pico_ada_c07_buzzer 1.7.1 (#1936) 2026-05-23 13:46:28 +02:00
Blady-Com fd4a04f9e9 Update UXStrings to version 0.9.1 (some fixes). (#1919) 2026-05-18 12:01:15 +02:00
Martin Krischik 41908ea266 pico_xbsp 1.6.1 (via alr publish) (#1918) 2026-05-18 11:49:56 +02:00
Gautier de Montmollin 4137ced849 gwindows 1.5.4 (#1904)
GWindows release, 09-May-2026 [revision 635]
=========================================

629: GWindows.Clipboard: added Clipboard_HTML procedure (copy HTML fragment
        to the clipboard; useful for copying more than plain texts)

626: GWindows.Common_Controls: added check box feature to List_View's
2026-05-14 16:02:33 +02:00
Blady-Com 01c0e3c2fa tp7_gnoga_examples=11.0.0 (#1915)
* Add examples for TP7 Gnoga.

* Remove deprecated switch -no_pie.
2026-05-14 15:58:48 +02:00
Vadim Godunko b602ef0b9c a0b_base 0.5.0 (via alr publish) (#1913) 2026-05-13 10:37:01 +02:00
Vadim Godunko 51656c38a2 a0b_tools 0.2.0 (via alr publish) (#1912) 2026-05-13 10:35:07 +02:00
Vadim Godunko 9d6957c8c5 espidf_gnat_runtime 0.1.0 (via alr publish) (#1911) 2026-05-13 10:34:07 +02:00
Blady-Com 54bfc0961e ZanyBlue tools release 1.5.0. (#1910) 2026-05-13 10:33:23 +02:00
Paul Jarrett 95be73882b septum 0.2.1 (via alr publish) (#1914) 2026-05-13 10:32:30 +02:00
Sebastián Benítez e5dade16e1 Add SUSE support in libzmq (#1906) 2026-05-11 15:57:33 +02:00
Fabien Chouteau ccc1c917f4 Raylib 2.0.0 (#1909) 2026-05-11 14:51:22 +02:00
Blady-Com d691a27028 zanyblue 1.4.1 (#1803)
* Add ZanyBlue framework 1.4.0.

* Fix folder hierarchy.

* Fix name of ZanyBlue library crate.

* Sync also origin repo.

* Adapt bin and obj folder location to Alire requirement.
Fix typos in alire (zbinfo and zbmcompile).

* Change version for Alire as 1.4.0 is already registered.

* Suppress old 1.4.0 version.

* restore disabled 1.4.0 releases

* Restore original commit

* Restore original commit

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2026-05-11 14:10:33 +02:00
Mahesh Chandra Teja 8c00c9caad aion 1.0.0 (#1897) 2026-05-11 13:51:31 +02:00
Quentin Dauprat, PhD 0099dd91eb termicap 1.0.0 (#1907)
* termicap 1.0.0 (via `alr publish`)

* chore: Update website and commit information in TOML file
2026-05-11 13:45:34 +02:00
Blady-Com ac5111d136 zblib 1.5.0 (#1826)
* ZanyBlue release 1.5.0.

* Add .gitattributes with eol=lf for Ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Add .gitattributes with eol=lf for ads files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Add .gitattributes with "text=auto eol=lf" for ads, adb and ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].

* Synchronize zbinfo and zbmcompile crates.

* Remove zbinfo and zbmcompile crates.
Only one at a time.

* Change .gitattributes back without auto.

* Avoid (style) incorrect line terminator [-gnatyd] with BUILD = "Production".
2026-05-11 13:29:29 +02:00
César Sagaert 4ba1bd04f3 gprbuild 26.0.1 (#1903) 2026-05-11 13:28:59 +02:00
César Sagaert efe50551b5 gnatformat_bin 26.0.0 (#1902) 2026-05-11 13:26:29 +02:00
César Sagaert 3f6a0856e9 gnattest_bin 26.2.0 (#1901) 2026-05-11 13:25:54 +02:00
César Sagaert 155321e60f gnatdoc_bin 26.0.0 metadata fix path (#1900) 2026-05-11 13:22:39 +02:00
Jochen Lillich b3948f0b36 czmq_ada 0.5.0 (via alr publish) (#1905) 2026-05-11 12:50:19 +02:00
Daniel King 75537c14bb community-bb-runtimes 15.4.0 (#1908) 2026-05-11 12:34:46 +02:00
Paul Jarrett f02e58e864 septum 0.2.0 (via alr publish) (#1899) 2026-05-06 11:43:12 +02:00
0xA672 4e2d9d262e Add oherr 0.1.0 (#1890)
* Add oherr 0.1.0-dev

* Update index/oh/oherr/oherr-0.1.0-dev.toml

Co-authored-by: César Sagaert <aldantanneo@gmail.com>

* "-dev" has been removed

Update commit hash in oherr-0.1.0.toml

* Bump version from 0.1.0-dev to 0.1.0

---------

Co-authored-by: 0xA672 <“3629574623@qq.com”>
Co-authored-by: César Sagaert <aldantanneo@gmail.com>
2026-05-06 11:00:04 +02:00
Baris Erdem de5ba6186d Add p256_ada 0.1.0 (#1893)
* Add p256_ada 0.1.0

* Re-trigger CI
2026-05-04 17:20:36 +02:00
Baris Erdem a6762c98e7 cose_ada 0.1.0 (via alr publish) (#1892)
Co-authored-by: Baris Erdem <example@example.com>
2026-05-04 17:17:58 +02:00
César Sagaert d227e36248 gnatcov_bin 26.2.1 (#1887) 2026-05-04 17:16:57 +02:00
César Sagaert b7111626c5 gnatdoc_bin 26.0.0 (#1883) 2026-05-04 17:16:24 +02:00
Martin Krischik aeed2f34b1 Pi Ada Tutorial release 1.6.0 (#1898)
* Pi Ada Tutorial release 1.6.0

* Remove extra newline before URL in TOML file

Force rebuild by removing redundant lines at the end of the file

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-05-04 16:16:28 +02:00
Baris Erdem dc89797378 hkdf_ada 0.1.0 (via alr publish) (#1891)
Co-authored-by: Baris Erdem <example@example.com>
2026-05-04 14:54:43 +02:00
Paul Jarrett 601e0e2604 septum 0.1.1 (via alr publish) (#1894) 2026-05-04 13:38:10 +02:00
Paul Jarrett fbaee67fc7 progress_indicators 0.0.2 (via alr publish) (#1895) 2026-05-04 12:10:44 +02:00
Paul Jarrett 981ec864e5 trendy_terminal 0.0.6 (via alr publish) (#1896) 2026-05-04 12:09:06 +02:00
Baris Erdem 7dca3fe0ce hmac_ada 0.2.0 (#1885) 2026-04-27 13:18:09 +02:00
Martin Krischik 4115555bab Pi Ada tutorial 1.5.2 (#1884)
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-04-25 12:46:06 +02:00
Baris Erdem 0c186dbbb1 ccsds_ada 0.1.0 (#1875)
SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.
2026-04-25 12:35:16 +02:00
Baris Erdem 5e368ffe1c cbor_ada 0.2.0 (#1870) 2026-04-25 12:28:15 +02:00
Baris Erdem 9bdbbbc9ec hmac_ada 0.1.0 (#1871)
SPARK-proved HMAC (RFC 2104) with standalone SHA-256 for Ada 2022.
2026-04-25 12:26:00 +02:00
Darren Bane f1b7e7e579 florist, ncursesada external metadata (#1855) 2026-04-25 12:09:35 +02:00
pmunts e551c9ed23 munts_rp2040_firmware_embedded release 2.24840.1 Tue Apr 14 01:12:29 PM PDT 2026 (#1859)
Phil's RP2040 Microcontroller Embedded Profile Firmware Template

Added web site link.
Added long description.
Refined postbuild.sh to make search for implicit mount point much more robust.
2026-04-21 11:36:28 +02:00
Vadim Godunko 114f9939ae espidf_driver_i2c 0.1.0 (via alr publish) (#1882) 2026-04-21 11:30:16 +02:00
Martin Krischik b20c7e5b1e Pi Ada Tutorial release 1.5.1 (#1878)
* Pi Ada Tutorial release 1.5.1

Add installation via openocd. Update description.

* Fix URL formatting in pico_ada_c01_blink TOML file

Remove new lines - will also trigger a rebuild.

* Remove unnecessary line break in TOML file

And trigger a rebuild.

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
2026-04-20 18:31:49 +02:00
Vadim Godunko 1284c5494b a0b_sensirion 0.1.0 (via alr publish) (#1881) 2026-04-20 18:30:05 +02:00
Vadim Godunko 299e0216cc espidf 0.1.0 (via alr publish) (#1880) 2026-04-20 15:05:17 +02:00
Daniel King 83ea866704 libsap 0.1.0 (#1879) 2026-04-20 15:04:39 +02:00
César Sagaert 757423a167 gnatcov 26.2 (#1874) 2026-04-20 15:01:41 +02:00
Paul Jarrett 4234fd149e septum 0.1.0 (via alr publish) (#1873) 2026-04-17 19:02:58 +02:00
Martin Krischik 5f493217ee pico_ada_c05_rgb 1.5.0 (via alr publish) (#1872) 2026-04-14 17:04:38 +02:00
Martin Krischik 044905f905 pico_xbsp 1.5.0 (via alr publish) (#1869) 2026-04-14 15:36:23 +02:00
Martin Krischik 903b9e4280 pico_ada_c04_pwm 1.4.0 (#1868)
* pico_ada_c04_pwm 1.4.0 (via `alr publish`)

* Update pico_ada_c04_pwm-1.4.0.toml

names should be all lower caps.
2026-04-14 15:35:57 +02:00
Martin Krischik 484eff6048 pico_xbsp 1.4.0 (via alr publish) (#1867) 2026-04-14 15:35:30 +02:00
Daniel King 883cc887ff community-bb-runtimes 15.3.0 (#1864) 2026-04-14 15:35:01 +02:00
Martin Krischik ca5cffb14e pico_ada_c03_led_bar 1.3.1 (via alr publish) (#1849) 2026-04-14 15:34:23 +02:00
Martin Krischik bf9d563255 pico_ada_c02_button_and_led 1.3.1 (via alr publish) (#1848) 2026-04-14 15:33:50 +02:00
Martin Krischik 1941ece544 pico_ada_c01_blink_lt 1.3.1 (via alr publish) (#1847) 2026-04-14 15:33:04 +02:00
Martin Krischik 22c7f28502 pico_ada_c01_blink 1.3.1 (via alr publish) (#1846) 2026-04-14 15:32:35 +02:00
Martin Krischik bf2c6631f3 pico_ada_c03_led_bar 1.3.0 (via alr publish) (#1842) 2026-04-14 15:32:08 +02:00
Martin Krischik b4f820d2e7 pico_ada_c02_button_and_led 1.3.0 (via alr publish) (#1841) 2026-04-14 15:31:42 +02:00
Martin Krischik e28e8f7082 pico_ada_c01_blink_lt 1.3.0 (via alr publish) (#1840) 2026-04-14 15:31:07 +02:00
Martin Krischik a47d43631b pico_ada_c01_blink 1.3.0 (via alr publish) (#1839) 2026-04-14 15:30:14 +02:00
Martin Krischik 592051a8a9 pico_ada_c03_led_bar 1.2.0 (via alr publish) (#1837) 2026-04-14 15:29:11 +02:00
Martin Krischik ce048ea860 pico_ada_c01_blink 1.2.0 (#1831)
* pico_ada_c01_blink 1.2.0 (via `alr publish`)

* Update pico_ada_c01_blink-1.2.0.toml

Remove gnatprove for now as it's not (yet) working.
2026-04-14 15:28:19 +02:00
Fabien Chouteau a2426744d4 Tresses and Noise Nugget updates (#1843) 2026-04-13 14:59:35 +02:00
Baris Erdem 7294ded59c Add cbor_ada 0.1.1 (#1866) 2026-04-13 14:35:18 +02:00
Jochen Lillich 05c2203817 czmq_ada 0.4.0 (via alr publish) (#1865) 2026-04-13 14:23:25 +02:00
Martin Krischik ff5ab43798 pico_xbsp 1.3.3 (via alr publish) (#1862) 2026-04-13 14:17:23 +02:00
Kevin Chadwick a71949f1e0 elogs 1.3.4 (via alr publish) (#1861)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
2026-04-13 14:16:26 +02:00
pmunts 10edee2777 munts_rp2040_lib_embedded release 2.24820.1 Thu Apr 9 05:48:16 AM PDT 2026 (#1860)
Phil's RP2040 Microcontroller Embedded Profile Library

Initial release.
2026-04-13 14:14:52 +02:00
Eduard Llamosí 55285b380f gade 0.2.0 (via alr publish) (#1853) 2026-04-13 14:12:11 +02:00
Martin Krischik af4caf546f pico_xbsp 1.3.2 (via alr publish) (#1852) 2026-04-13 14:11:19 +02:00
Kevin Chadwick 11f7c777c7 elogs 1.3.3 (via alr publish) (#1845)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
2026-03-31 13:17:42 +02:00
Mark Hermeling 58612928d0 pico_st7789 0.1.2 (via alr publish) (#1844) 2026-03-30 15:04:08 +02:00
pmunts 6da312685e libsimpleio release 2.24736.1 Wed Mar 25 07:14:37 AM PDT 2026 (#1836)
* libsimpleio release 2.24736.1 Wed Mar 25 07:14:37 AM PDT 2026

Corrected Raspberry Pi 5 PWM output designators.

With kernel 6.12, we are back to pwmchip0.

* libsimpleio drop    2.24736.1

* libsimpleio release 2.24736.1 Thu Mar 26 08:59:46 AM PDT 2026

Corrected Raspberry Pi 5 PWM output designators.

With kernel 6.12, we are back to pwmchip0.
2026-03-30 14:33:18 +02:00
Blady-Com a0c6ed59e4 Add TP7 Gnoga. (#1821)
* Add TP7 Gnoga.

* Avoid error: value not in range of type "Standard.Long_Long_Float" for AARCH64.
2026-03-30 14:32:38 +02:00
Jeremy Grosser b96ce865f5 rp2040_hal 2.7.1 (#1838) 2026-03-30 14:31:33 +02:00
Stephane Carrez 427126ff72 wi2wic 1.1.0 (#1834)
* Add Wi2wic crate

Wi2wic is a small server that allows to convert HTML in Wiki text
such as Markdown, MediaWiki, Dotclear or Creole. It can also convert
one Wiki syntax to another. It can be used to:

- Migrate HTML page in Markdown or another Wiki,
- Convert Wiki page in HTML,
- Convert HTML documentation in Markdown or another Wiki,
- Cleanup a complex and noisy HTML page

* Unpin Ada Wiki repo

* Change repo to github since it seems gitlab is now blocked by Alire
2026-03-25 01:16:12 +01:00
Martin Krischik d1179f45dd pico_ada_c02_button_and_led 1.2.0 (#1835) 2026-03-25 01:01:56 +01:00
Martin Krischik 4c33bd09e7 pico_ada_c01_blink_lt 1.2.0 (#1832) 2026-03-25 01:00:34 +01:00
Gautier de Montmollin 4452f650c5 Create gid-14.0.0.toml for Generic Image Decoder (#1830) 2026-03-23 11:15:51 +01:00
Martin Krischik 5c72c3939d pico_ada_c01_blink_lt 1.1.0 (via alr publish) (#1829) 2026-03-19 16:09:02 +01:00
Martin Krischik a7bfb5606d pico_ada_c01_blink 1.1.0 (via alr publish) (#1828) 2026-03-19 16:07:44 +01:00
Fabien Chouteau f21c4462de atomic 1.1.0 (#1827) 2026-03-18 13:08:04 +01:00
Jochen Lillich b93e81490b czmq_ada 0.3.0 (#1825) 2026-03-16 12:57:47 +01:00
Jochen Lillich 865af3719b czmq_ada 0.2.0 (via alr publish) (#1824) 2026-03-16 12:57:20 +01:00
Gautier de Montmollin 9844b46c16 zipada 62.0.0 (#1823) 2026-03-16 12:56:17 +01:00
Eduard Llamosí 80ab53733a gade 0.1.0 (#1820) 2026-03-12 16:19:21 +01:00
Daniel King d8024dd5ec community-bb-runtimes 15.2.0 (#1822) 2026-03-12 11:04:41 +01:00
Lionel Draghi 15f859efcc bbt 0.2.1 (via alr publish) (#1817) 2026-03-12 11:03:33 +01:00
César Sagaert 4688d7b529 bigints, rand_bigints 0.2.0 (#1819) 2026-03-06 18:18:39 +01:00
Ștefan-Iulian Alecu 85f9e9b747 libpixman external (#1816) 2026-03-03 12:36:31 +01:00
Paul Jarrett ae21ac0835 septum 0.0.9 (via alr publish) (#1814) 2026-02-27 12:11:53 +01:00
Gautier de Montmollin bb511c068c azip 2.7.1 metadata: don't force build profile (#1813) 2026-02-27 12:10:37 +01:00
Gautier de Montmollin 0706451672 texcad 4.5.2 metadata: don't force build profile (#1812)
See comment in PR https://github.com/alire-project/alire-index/pull/1804 for LEA:
"Using [gpr-set-externals] here will make the build modes impossible to override by users. Use a default in the GPR file by using External (<VAR>, <default>)."
2026-02-25 09:51:54 +01:00
César Sagaert 53af522c1c libgmp external (rhel) (#1811) 2026-02-25 09:50:27 +01:00
Daniel King f630886348 rp-runtimes v14.0.2 and v15.1.2 (#1810) 2026-02-24 02:15:36 +01:00
Gautier de Montmollin c8bcc4c59c Create lea-0.93.0.toml for project configuration (#1804) 2026-02-24 02:15:10 +01:00
Daniel King 1695fe746e stm32g4xx-runtimes v15.0.1 (#1809) 2026-02-23 11:43:23 +01:00
Daniel King ca5024a4c4 stm32g0xx-runtimes v15.0.1 (#1808) 2026-02-23 11:43:10 +01:00
Daniel King 8efac084dd stm32f0xx-runtimes v15.0.1 (#1807) 2026-02-23 11:42:56 +01:00
Daniel King a6ae4b839b rp-runtimes v14.0.1 and v15.1.1 (#1806) 2026-02-23 11:42:41 +01:00
Daniel King 2377a86634 nrf52-runtimes 14.1.1 and 15.0.1 (#1805) 2026-02-23 11:42:27 +01:00
Michael Hardeman 8bd7df579c metaphone 1.0.0 (via alr publish) (#1798) 2026-02-14 15:27:09 +01:00
MaxZakirov dd891bf990 geo_mag 1.0.0 (#1802)
* geo_mag 1.0.0 (via `alr publish`)

* Update index/ge/geo_mag/geo_mag-1.0.0.toml

Co-authored-by: César Sagaert <aldantanneo@gmail.com>

* Adjust maintainers-logins for .toml file

---------

Co-authored-by: César Sagaert <aldantanneo@gmail.com>
2026-02-13 11:41:43 +01:00
César Sagaert 17acde9c4f rand 0.1.0 and companion crates (#1801) 2026-02-11 11:12:40 +01:00
Blady-Com 7ca077c07d Add ZanyBlue framework 1.4.0. (#1799)
* Add ZanyBlue framework 1.4.0.

* Fix folder hierarchy.
2026-02-09 11:18:21 +01:00
Alejandro R Mosteo 0881fcde73 den 0.2.0 (#1793)
* den 0.2.0 (via `alr publish`)

* Add website
2026-02-06 18:06:08 +01:00
Gautier de Montmollin 57f5e531f6 gwindows 1.5.3 (#1797)
Minor addition to API, which is needed by the LEA crate in an upcoming release.
2026-02-05 23:38:26 +01:00
Gautier de Montmollin 383df773c9 mathpaqs 20260205.0.0 (#1796)
* Add mathpaqs configuration file

Added a new TOML configuration file for the Mathpaqs library.

This version has a few graphical demos converted from the old "Graph" package to PDF_Out, using the APDF crate.

* Add dependency (APDF) information to mathpaqs
2026-02-05 23:37:12 +01:00
Gautier de Montmollin 7c6fe4d5d6 Create apdf-9.0.0.toml for package metadata (#1795)
* Create apdf-9.0.0.toml for package metadata

009 version adds custom coordinates for vector graphics.

* Update apdf-9.0.0.toml

Just triggering a new build.
2026-02-04 13:22:46 +01:00
Nicolas Roche 5ce254b61f nstd 0.3.0 (#1791)
Co-authored-by: Nicolas Roche <example@example.com>
2026-02-02 12:08:54 +01:00
Alejandro R Mosteo 81783f62be simple_logging 3.0.0 (#1794)
Co-authored-by: mosteo <example@example.com>
2026-02-02 02:36:09 +01:00
Florian Fischer 7922fdc775 Add adamodbus 1.0.1 (#1789)
* Add adamodbus 1.0.0

* Update adamodbus to 1.0.1 - address review feedback

- Remove gnatprove from dependencies (200MB+, install in CI instead)
- Fix maintainers-logins: flottflo -> flottokarotto
- Remove gpr-set-externals to allow build mode override
- Keep aunit as dependency (small, needed for tests)
2026-01-29 16:11:47 +01:00
Jeremy Grosser 618fd736c1 rp2040_hal 2.7.0 (#1790) 2026-01-29 16:05:47 +01:00
Maxim Reznik 3d3eca02ae ada_language_server 26.0.0 and deps (#1784) 2026-01-26 20:24:32 +01:00
César Sagaert 707c71e053 lal_refactor 26.0.0 (#1785) 2026-01-26 10:15:15 +01:00
César Sagaert 9dd280537c libgnatdoc 26.0.0 (#1786) 2026-01-26 10:14:32 +01:00
César Sagaert ccca4d4811 change adasat default build mode (#1787) 2026-01-26 10:13:25 +01:00
Gautier de Montmollin 6b9498ad15 gwindows 1.5.2 (#1783)
Fix to 1.5.1
A bug in GNAT 15.* causes it to suggest and accept an incorrect overriding indicator. Details in gwindows-1.5.2.toml
2026-01-22 11:51:36 +01:00
César Sagaert 9ecbbfb0f9 sparklib 15.1.0 (#1779) 2026-01-21 12:13:10 +01:00
César Sagaert 3b5d80d479 gnatformat relocatable fix (#1781) 2026-01-21 10:30:16 +01:00
César Sagaert 5b86183c9c libgnatformat 26.0.0 (#1782) 2026-01-21 09:58:51 +01:00
César Sagaert 1dc251f606 vss_text, vss_extra metadata fixes (#1780) 2026-01-21 09:56:08 +01:00
César Sagaert 3fb01dd344 spawn_glib 26.0.0 (#1778) 2026-01-20 18:15:14 +01:00
César Sagaert 30f7667c93 gnatcoll_xref 26.0.0 (#1777) 2026-01-20 18:14:17 +01:00
Gautier de Montmollin 4c8faa17cf gwindows 1.5.1 (#1776)
Style check fixes for GNAT 15.2+
Needed because of warning => error setting in the .gpr's
Details here: https://github.com/zertovitch/gwindows/commit/590a7fb
2026-01-20 11:39:45 +01:00
César Sagaert 1974c71f48 fix: libadalang_tools version patching (#1775) 2026-01-16 17:22:49 +01:00
César Sagaert ac62c85b86 gnattest 26.0.0 (#1774) 2026-01-16 17:17:57 +01:00
César Sagaert dc8ed3e87b remove gnatcoll_core build action (#1772) 2026-01-16 14:21:09 +01:00
Francesc Rocher dd6da9b52f libtree-sitter external (#1773) 2026-01-15 13:38:20 +01:00
Maxim Reznik 9f8b8a20f3 mavlink_ardupilotmega_v2 1.0.0 (#1765)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-14 17:29:48 +01:00
Maxim Reznik aaa8a075a4 mavlink_common_v2 1.0.0 (#1763)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-14 17:03:46 +01:00
Maxim Reznik 0143d7896d mavlink_ardupilotmega 2.0.0 (#1764)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-14 17:02:00 +01:00
Tama McGlinn fc51d4332e adabots 2.1.0 (#1770)
* sparkfun_qwiic_motor_driver 0.1.0 (#1495)

* press_utils 1.0.0 (#1505)

* adacl_regexp 6.2.1 (#1531)

* tb6612_driver 0.1.0 (#1644)

* adabots 2.1.0 (via `alr publish --submit`)

---------

Co-authored-by: KLOC-Karsten <72611407+KLOC-Karsten@users.noreply.github.com>
Co-authored-by: Matheus Xavier <soft.song@fastmail.net>
Co-authored-by: Martin Krischik <krischik@users.sourceforge.net>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-14 17:01:13 +01:00
Maxim Reznik 2080bd80bd mavlink_common 2.0.0 (#1762)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-14 16:38:43 +01:00
Martin Krischik 22bad9a73d hp41cx_tools 1.8.10 (#1771)
* hp41cx_tools 1.8.10 (via `alr publish`)

* Update hp41cx_tools-1.8.10.toml

Add empty line for force recompile
2026-01-14 16:37:58 +01:00
Martin Krischik 5bd4e0f6d1 adacl_sar 7.1.0 (#1768) 2026-01-13 12:54:31 +01:00
Martin Krischik 596eba6779 adacl_regexp 7.1.0 (#1767) 2026-01-13 12:53:51 +01:00
Martin Krischik 5cf4b5aeca adacl_eastrings 7.1.0 (#1766) 2026-01-13 12:53:10 +01:00
Maxim Reznik 7fdd807649 mavlink_shared 1.0.0 (#1761) 2026-01-13 12:46:42 +01:00
Martin Krischik cfef32529c adacl 7.1.0 (#1760) 2026-01-13 12:45:41 +01:00
Luke A. Guest 8dc87e8c14 gmp external +gentoo (#1668)
* fix: improper syntax that will be rejected post-2.1 (#1417) (#1445)

We had a missing check in index loading logic that should have rejected an unexpected array.

* Add Gentoo package name.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2026-01-13 12:27:41 +01:00
César Sagaert b3ef3a037f gtkada 26.0.0 (#1753) 2026-01-13 10:29:43 +01:00
Martin Krischik 5ab91e7530 adacl_aunit 7.1.0 (via alr publish) (#1759) 2026-01-13 10:28:41 +01:00
Paul Jarrett 500f7c7a99 anteforth 0.1.1 (#1758)
* anteforth 0.1.1 (via `alr publish`)

* Update to revision with more fixes and improvements.
2026-01-13 10:27:52 +01:00
César Sagaert 6146c84d72 libadalang_tools 26.0.0 (#1757) 2026-01-08 20:59:45 +01:00
César Sagaert f823ba20bb startup_gen 26.0.0 (#1756) 2026-01-08 20:55:40 +01:00
César Sagaert 4fa3e6acde gnatcoll_sqlite 26.0.0 (#1755) 2026-01-08 20:53:47 +01:00
César Sagaert 670898f1fb gnatcoll_postgres 26.0.0 (#1754) 2026-01-08 20:50:33 +01:00
César Sagaert 1097de8421 gnatdoc 26.0.0 (#1750) 2026-01-08 19:08:34 +01:00
César Sagaert 791cade5fc gnatformat 26.0.0 (#1749) 2026-01-08 18:07:01 +01:00
César Sagaert 2df10ce7a3 win32ada 26.0.0 (#1748) 2026-01-08 17:30:10 +01:00
César Sagaert e16941f0b7 templates_parser 26.0.0 (#1751) 2026-01-07 17:55:50 +01:00
César Sagaert 9d8faf76e1 spawn 26.0.0 (#1752) 2026-01-07 17:54:47 +01:00
César Sagaert 6fa5de7a24 fix: limit GNAT version for gnatdoc (#1737) 2026-01-07 10:23:35 +01:00
César Sagaert ce3ac33e21 build fixes for AdaCore libraries (#1747) 2026-01-07 10:22:02 +01:00
César Sagaert 605bfba2e3 libadalang 26.0.0 (#1746) 2026-01-07 10:17:46 +01:00
César Sagaert dd62206b06 gnatcoll_sql 26.0.0 (#1745) 2026-01-06 16:34:53 +01:00
César Sagaert e7aa045a49 libgpr2 26.0.0 (#1744) 2026-01-06 16:33:47 +01:00
César Sagaert 86cbd60a83 langkit_support 26.0.0 (#1743) 2026-01-06 16:30:24 +01:00
César Sagaert beb1b1d0f2 spdx 26.0.0 (#1742) 2026-01-06 11:37:59 +01:00
César Sagaert a3be2992f0 gprconfig_kb 26.0.0 (#1741) 2026-01-06 11:37:12 +01:00
César Sagaert 8e0c2e0d5d markdown 26.0.0 (#1740) 2026-01-06 11:36:51 +01:00
César Sagaert 099b689b85 gnatcoll_syslog 26.0.0 (#1739) 2026-01-06 11:36:23 +01:00
César Sagaert 748c28b448 gnatcoll_iconv 26.0.0 (#1738) 2026-01-06 11:35:46 +01:00
César Sagaert f2efdfbbf0 prettier_ada 26.0.0 (#1735) 2026-01-06 11:34:16 +01:00
César Sagaert e6f920b3d4 gnatcoll_projects 26.0.0 (#1736) 2026-01-06 11:33:07 +01:00
Jochen Lillich 1b3837365d tinyaml 0.2.0 (via alr publish) (#1733) 2026-01-05 12:00:34 +01:00
Paul Jarrett 74e67abf7e anteforth 0.1.0 (#1734)
* anteforth 0.1.0 (via `alr publish`)

* Update to revision with loops.

* Update to revision with more words, including RECURSE.

* One last repl fix.
2026-01-05 11:57:57 +01:00
Jochen Lillich bcfc08188c tinyaml 0.1.0 (#1732) 2025-12-29 19:16:33 +01:00
César Sagaert 2cd9c0e7cc gnatcoll_zlib 26.0.0 (#1730) 2025-12-24 19:14:39 +01:00
César Sagaert 254eeb8371 gnatcoll_readline 26.0.0 (#1729) 2025-12-24 19:12:36 +01:00
César Sagaert 73216b781b gnatcoll_omp 26.0.0 (#1728) 2025-12-24 19:11:44 +01:00
César Sagaert 27fe4eba3d gnatcoll_lzma 26.0.0 (#1727) 2025-12-24 19:10:55 +01:00
César Sagaert b2f2405634 gnatcoll_gmp 26.0.0 (#1726) 2025-12-24 19:09:57 +01:00
César Sagaert db054156a1 gnatcoll 26.0.0 (#1725) 2025-12-24 19:08:34 +01:00
Martin Krischik b2c3e781ac hp41cx_tools 1.8.8 (#1731) 2025-12-23 20:08:26 +01:00
Michael Gardner 85cc5776e0 zoneinfo 1.1.1 (#1724) 2025-12-22 11:46:46 +01:00
César Sagaert e82631172b vss_extra 26.0.0 (#1722)
* vss_extra 26.0.0

* Remove redundant gpr-externals in vss_extra.toml

Comment out gpr-externals and related OS settings.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-22 11:45:12 +01:00
César Sagaert e325bc9cbc gnatcoll_minimal 26.0.0 (#1723) 2025-12-22 11:44:49 +01:00
Michael Gardner be1f4ef28a tzif 3.0.3 (#1717) 2025-12-19 12:14:40 +01:00
Jochen Lillich 8fc191540e rabbitmq 0.1.0 (#1712)
* rabbitmq 0.1.0 (via `alr publish`)

* fix: Dependency declaration missing in alire.toml

* fix: librabbitmq-external.toml missing

* fix: MacPorts is missing librabbitmq

* fix: Typo in TOML

* fix: library not available on CentOS

* fix: wrong mingw library name

* fix: Gentoo dependency missing

* fix: macports and centos library names

* Disable CentOS and Gentoo

* fix: Platform support enabled in wrong file

* fix: Missing depends-on in manifest
2025-12-18 14:33:47 +01:00
César Sagaert bacc3b1c01 aunit 26.0.0 (#1721) 2025-12-18 14:23:25 +01:00
César Sagaert 40b28db280 vss_text 26.0.0 (#1720) 2025-12-18 14:21:49 +01:00
César Sagaert 1ed6bd8b6d adasat 26.0.0 (#1719) 2025-12-18 14:19:33 +01:00
Alejandro R. Mosteo 73780a273b dev: disable Gentoo, not yet in stable Alire 2025-12-18 13:44:02 +01:00
dsauvage 957a722f0e aor_jsona 1.6.6 (#1710) 2025-12-18 13:36:13 +01:00
Brent Seidel 81e3a59aed bbs_lisp 0.2.2 (#1718) 2025-12-18 13:16:55 +01:00
Jeremy Grosser d6e713e042 softdev 1.2.0 (#1713) 2025-12-18 13:04:29 +01:00
César Sagaert d5f1b6821e libgpr 26.0.0 (#1709) 2025-12-18 13:03:14 +01:00
Alejandro R Mosteo 60f8db7ff7 dev: add Gentoo as supported distro to checks (#1711) 2025-12-13 20:28:43 +01:00
Michael Gardner 6a715f5469 functional 4.0.0 (#1708)
* functional 4.0.0 (via `alr publish`)

* Update maintainers-logins in functional-4.0.0.toml

* Fix formatting of licenses entry in TOML file
2025-12-13 13:27:43 +01:00
César Sagaert 6ac1d4906c xmlada 26.0.0 (#1706) 2025-12-13 13:23:35 +01:00
Michael Gardner 2a901bb2aa hybrid_app_ada 2.0.0 (#1703)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-12 00:21:56 +01:00
Michael Gardner c685b55fee hybrid_lib_ada 2.0.0 (#1704)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-12-11 16:11:30 +01:00
César Sagaert c16ddefd48 fedora externals (#1701)
* add external for liblzma on fedora

* add external for libgomp on fedora

* add external for zlib on fedora
2025-12-11 11:15:54 +01:00
César Sagaert a026227ba1 dev: transition retired macos-13 images to macos-15-intel (#1702)
* transition retired macos-13 images to macos-15-intel

* Touch test crate

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2025-12-11 11:12:43 +01:00
Michael Gardner 01f5d82ca8 tzif 2.0.0 (#1700) 2025-12-09 11:07:11 +01:00
Michael Gardner aff4db1475 functional 3.0.0 (#1698)
* functional 3.0.0 (via `alr publish`)

* Update commit hash in functional-3.0.0.toml
2025-12-07 19:39:10 +01:00
Gautier de Montmollin 9a4304fe57 bar_codes 6.0.0 (#1697)
Improvements regarding white space around 1D & 2D bar codes (esp. QR codes).
2025-12-07 19:35:47 +01:00
Michael Gardner e855dd0694 functional 2.3.0 (#1696)
* functional 2.3.0 (via `alr publish`)

* Update commit hash in functional-2.3.0.toml
2025-12-06 11:18:56 +01:00
pmunts 311edf0a0c muntsos 11.0.1 (#1695)
* muntsos_aarch64 release 11.0.1 Tue Dec  2 01:22:11 PM PST 2025

Add a post-build script to the superordinate program project that will
optionally scp the executable file(s) from bin/ to the MuntsOS Embedded
Linux target computer indicated by the TARGETCOMPUTER environment variable,
which must contain a value of the following form:

root@snoopy:/usr/local/bin

* muntsos_raspberrypi1 release 11.0.1 Tue Dec  2 01:22:57 PM PST 2025

Add a post-build script to the superordinate program project that will
optionally scp the executable file(s) from bin/ to the MuntsOS Embedded
Linux target computer indicated by the TARGETCOMPUTER environment variable,
which must contain a value of the following form:

root@snoopy:/usr/local/bin
2025-12-05 10:35:35 +01:00
Michael Gardner 8a3e29b946 functional 2.2.1 (#1694) 2025-12-05 10:28:30 +01:00
Michael Gardner 0ff5c158d7 functional 2.2.0 (#1693) 2025-12-01 20:27:07 +01:00
Manuel 4585a58ae2 coap_spark, coap_client 0.10.0 (#1684)
* Add coap_spark-0.10.0 

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) in SPARK/Ada, with client and server sides.

* Add coap_client-0.10.0
2025-12-01 20:21:06 +01:00
Quentin Dauprat, PhD f8d7893814 spark_math 0.1.0 (via alr publish) (#1692) 2025-12-01 12:09:31 +01:00
Quentin Dauprat, PhD a02e4d5452 distance 0.1.0 (via alr publish) (#1691) 2025-12-01 12:08:29 +01:00
Juan Antonio de la Puente f04cafedd2 astro 1.4.1 (#1686) 2025-11-27 16:45:53 +01:00
Brent Seidel 19b38f7442 blinkenlights 0.3.0 (#1685) 2025-11-27 11:36:39 +01:00
pmunts 12d513dec9 muntsos_raspberrypi1 11.0.0 (#1681)
Added support for running the MuntsOS cross-toolchain on x86-64 Windows.
2025-11-27 11:28:09 +01:00
pmunts 02b90b60c5 muntsos_aarch64 11.0.0 (#1680)
Added support for running a MuntsOS cross-toolchain on Windows.
2025-11-27 11:25:26 +01:00
Michael Gardner e28f6e133d functional 2.1.1 (#1676) 2025-11-26 13:56:22 +01:00
Brent Seidel 8eb7339f95 bbs_simcpu 0.4.0 (#1683) 2025-11-25 18:38:44 +01:00
RajaSrinivasan 21b81153f8 mqttlib 0.2.0 (#1670) 2025-11-25 18:37:52 +01:00
Kevin Chadwick 3e737c68b6 elogs 1.3.2 (#1677)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
2025-11-25 18:30:39 +01:00
Manuel 9e22b90f56 wolfssl 5.8.4 (#1682) 2025-11-25 18:28:54 +01:00
Kevin Chadwick 051b355dc8 hex_string 0.1.0 (#1679)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
2025-11-25 18:25:05 +01:00
Juan Antonio de la Puente a6eefc30aa ephemeris 1.2.0 (#1674) 2025-11-25 17:58:56 +01:00
Martin Krischik a30918c354 hp41cx_tools 1.8.7 (#1671) 2025-11-25 17:45:00 +01:00
Matheus Xavier a4cfbcf84d swan 0.2.0 (#1667) 2025-11-25 17:38:54 +01:00
Michael Gardner 1008f663b3 functional 2.0.0 (#1666) 2025-11-13 12:06:45 +01:00
Stephane Carrez 7d615731bc openapi 0.9.0 (#1664) 2025-11-13 12:00:34 +01:00
Stephane Carrez ac40224287 servletada 1.8.1 2025-11-13 11:58:10 +01:00
Fabien Chouteau 730ae081f7 aws 25.2.0 (#1659) 2025-11-13 11:51:08 +01:00
Navid M dfd1f27427 snow 1.0.0 (#1655)
* snow 1.0.0 (via `alr publish`)

* Restrict availability to Windows

---------

Co-authored-by: Navid M <navidm@navidm.com>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-11-12 19:07:45 +01:00
S. Tucker Taft 31897cd95e lwt 1.2.0 (#1661) 2025-11-10 12:23:24 +01:00
Stephane Carrez 949fff4643 utilada_aws 2.8.2 metadata (#1662)
This only update the `xmlada` or `aws` dependencies in the crate declaration so that
these two crates can be used with AWS 25 + XML 25 as well as AWS 25 + XML 24
The declarations:

aws = "^24.0"
xmlada = "^24.0"

are not enough to allow that and the pull request only change them to accept ^25.0 explicitly.
2025-11-10 12:22:00 +01:00
Martin Krischik f99459eabf hp41cx_tools 1.8.6 (#1660) 2025-11-10 12:18:39 +01:00
Martin Krischik 7235a072a6 hp41cx_tools 1.8.5 (#1647)
* hp41cx_tools 1.8.5 (via `alr publish`)

* Update hp41cx_tools-1.8.5.toml

change to trigger rebuild.
2025-11-10 10:46:34 +01:00
Stephane Carrez 5414c7fe70 AWS 25.0 crate (#1658)
This is a proposal for another way to integrate the Ada Web Server as a crate.
The issue with the current approach is the Makefile-based environment used
by AWS and the fact that we have to completely build and then install AWS
to use it.

In this proposal, only the 'make setup' phase is done to let the AWS Makefile
do the important setup and prepare the required files in target directory.
That target directory is named by AWS by using `gcc -dumpmachine` which brings
other issues and to solve and fix things, that directory is moved to a fixed
directory `build` so that every target will use that fix value.

The installation and build is not made and instead we reference the two
important GNAT projects 'aws.gpr' (top-level) and `build/projects/aws_config.gpr`
which was generated by `make setup`.  The build is then handled by Alire
since it knowns the AWS projects.  The AWS GNAT projects rely on the following
important variables which are set through the makefiles and we can set
them for each target as follows:

TGT_DIR = "../build"
TARGET = "build"

It is a proposal in the hope it will solve the AWS crate integration issues....
2025-11-07 11:38:03 +01:00
Jochen Lillich ac45ff6eae czmq_ada 0.1.0 (#1639)
* czmq_ada 0.1.0 (via `alr publish`)

* Clean up manifest
2025-11-04 11:47:23 +01:00
Stephane Carrez f73e0a6616 Add system dependency for libbfd through the binutils-dev Debian package (#1657) 2025-11-04 11:46:14 +01:00
Stephane Carrez 0def4493ec Ada Binding to the GNU Binutils library (#1656)
* Ada Binding to the GNU Binutils library

The Ada-BFD library allows to:

* list and scan the ELF sections of an executable or object file,
* get the content of the ELF sections,
* get access to the symbol table,
* use the BFD disassembler

Requires some binutils-dev

* Fix build
2025-11-04 10:36:31 +01:00
Stephane Carrez 24078a2ee5 mdshow 1.0 (#1650)
* Add mdshow 1.0 a Markdown show on terminal

* Disable build for MacOS
2025-10-31 18:16:17 +01:00
Stephane Carrez 033b97fd02 utilada_aws 2.8.2 (#1652) 2025-10-31 18:14:16 +01:00
Kevin Chadwick 8c8ace4636 elogs 1.2.1 (#1653)
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
2025-10-31 11:03:39 +01:00
Stephane Carrez 08d6952703 utilada_* 2.8.2 (#1651) 2025-10-27 10:31:37 +01:00
Michael Gardner 20ba4ccb29 functional 1.0.0 (#1649) 2025-10-27 10:29:57 +01:00
Martin Krischik 154e634cab hp41cx_tools 1.8.4 (#1645)
* hp41cx_tools 1.8.4 (via `alr publish`)

* Update hp41cx_tools-1.8.4.toml

explicitly name gnat needed

gnat_native                 = "^15.2"
gprbuild                    = "^25.0"

* Update hp41cx_tools-1.8.4.toml

Remove test again.
2025-10-27 10:19:21 +01:00
Jochen Lillich 4e05e7bb6e amqp 0.3.0 (#1638)
* amqp 0.3.0 (via `alr publish`)

* release/amqp: Clean up manifest

* fix: Update manifest file name
2025-10-24 17:49:26 +02:00
Darren Bane 7f63e2860d ptf 1.2.2 (#1641)
* ptf 1.2.2 (via `alr publish`)

* Limit tests to Linux
2025-10-24 11:40:47 +02:00
Daniel King 3ef44734e7 rp-runtimes 15.1.0 (#1646) 2025-10-24 11:36:17 +02:00
jgrivera67 960e46ecbb aarch64_baremetal_ada 1.0.0 (via alr publish) (#1637) 2025-10-24 11:34:05 +02:00
Juan Antonio de la Puente da1297f0f3 astro 1.3.0 (via alr publish) (#1642) 2025-10-24 11:21:28 +02:00
Martin Krischik 5b539d4709 hp41cx_tools 1.8.3 (#1640) 2025-10-21 17:05:25 +02:00
Darren Bane 3dca16681a x1804 1.0.2 (#1633)
* x1804 1.0.2 (via `alr publish`)

* Use fixed tarball
2025-10-21 17:02:25 +02:00
Stephane Carrez de5e1ed31f Add Ada Database Objects 2.5.0 crates (Core, MySQL, PostgreSQL and SQLite/SLQCipher drivers) (#1636) 2025-10-21 14:46:18 +02:00
Stephane Carrez b9a8e6881a Ada Wiki Library 1.5.0 (#1635)
* Ada Wiki Library 1.5.0

* Update to integrate minor readme fix
2025-10-21 14:44:40 +02:00
Stephane Carrez 19d84e4ac2 Add Printer Toolkit 0.3.0 with image support (#1634) 2025-10-21 14:41:48 +02:00
Matheus Xavier 46785feeaf swan 0.1.0 (via alr publish) (#1632) 2025-10-21 10:41:11 +02:00
Martin Krischik 6a5e476b84 hp41cx_tools 1.8.2 (#1629) 2025-10-17 12:47:49 +02:00
Jeremy Grosser aaec2661bc chests 0.2.0 (#1628) 2025-10-16 12:04:07 +02:00
Martin Krischik 7cbff84671 hp41cx_tools 1.8.1 (#1626) 2025-10-14 11:06:52 +02:00
Daniel King 3740b7a9ff RP runtimes 15.0.0 (#1624) 2025-10-08 09:21:28 +02:00
Martin Krischik 3819f0a115 hp41cx_tools 1.8.0 (#1623) 2025-10-08 09:16:24 +02:00
Martin Krischik b3f809ce5a adacl_regexp 7.0.1 (#1621) 2025-10-08 09:14:10 +02:00
Martin Krischik 4f996275a3 adacl_eastrings 7.0.1 (#1620) 2025-10-08 09:12:11 +02:00
Martin Krischik 09af94fe7c adacl_sar 7.0.1 (#1622) 2025-10-08 09:08:49 +02:00
Darren Bane 0d4a65dcbc scatcdsk_lib 1.0.0 (#1612)
* scatcdsk_lib 1.0.0 (via `alr publish`)

* Limit test to Linux

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-10-06 20:16:08 +02:00
Martin Krischik 592288c1dd adacl_aunit 7.0.1 (#1619) 2025-10-06 16:59:22 +02:00
Martin Krischik cf06d80462 adacl 7.0.1 (#1618) 2025-10-06 16:51:49 +02:00
Gautier de Montmollin 557a3993d5 hac 0.42.0 (#1616) 2025-10-06 14:17:20 +02:00
Gautier de Montmollin d1d89e011f excel_writer 19.0.1 (#1615) 2025-10-06 14:16:30 +02:00
Daniel King a1b4a11b9e RP runtimes 14.0.0 (#1614) 2025-10-06 14:11:23 +02:00
Jeremy Grosser e04a5aa5e5 rp2040_hal 2.6.0 (#1613) 2025-10-06 14:08:33 +02:00
pmunts 78251f0314 remoteio 2.23808.1 (#1610)
Added conflicting packages to [[forbids]] section:
libsimpleio, mcp2221, wioe5_ham1, wioe5_ham2, wioe5_p2p.

Include support for Wio-E5 LoRa Transceiver Module.

Added -gnatwK to compiler flags to suppress a lot of warnings.
2025-10-01 22:11:55 +02:00
pmunts 14c4bb724c libsimpleio 2.23808.1 (#1609)
Reworked Linux Industrial I/O infrastructure.

Added support for Linux Industrial I/O temperature sensors.
Added support for Hardware Monitoring (hwmon) temperature sensors.

Include (more properly: no longer *exclude*) Wio-E5 LoRA Transceiver
packages.

Forbid packages whose functionality is already included in libsimpleio,
namely: mcp2221, remoteio, wioe5_ham1, wioe5_ham2, wioe5_p2p.
2025-10-01 22:10:33 +02:00
HROMANO c940fc7f4f gettext 25.9.2 (#1606)
* Add gettext crate

Signed-off-by: Hervé ROMANO <shuihuzhuan@free.fr>

* Create gettext_runtime-external.toml

* Update and rename gettext-25.9.2.toml to gettext-25.9.3.toml

* Wrong directory

Signed-off-by: Hervé ROMANO <shuihuzhuan@free.fr>

---------

Signed-off-by: Hervé ROMANO <shuihuzhuan@free.fr>
Co-authored-by: Hervé ROMANO <shuihuzhuan@free.fr>
2025-09-19 11:27:14 +02:00
pmunts eb79e02d78 muntsos_aarch64 release 10.5.1 Wed Sep 17 11:14:40 AM PDT 2025 (#1608)
Added licenses = "BSD-1-Clause"

Added aws, libsimpleio, mcp2221, remoteio, wioe5_ham1, wioe5_ham2, and
wioe5_p2p to [[forbids]].

Fixed post-fetch script.
2025-09-19 11:00:35 +02:00
Holger Rodriguez 4928a06ad7 eeprom_i2c 8.0.1 (#1602) 2025-09-15 18:42:25 +02:00
pmunts d8e8ef4a78 muntsos_aarch64 10.5.0 (#1597)
Add /usr/local/share/muntsos/examples/ada/packages/ to Source_Dirs
2025-09-15 18:37:11 +02:00
Martin Krischik 1eec7251c4 adacl_sar 7.0.0 (via alr publish) (#1605) 2025-09-15 18:22:25 +02:00
Garret Noble f5b0b013ac ada_sqlite3 0.1.1 (via alr publish) (#1599) 2025-09-15 17:14:14 +02:00
Martin Krischik 937ec6fc11 adacl_regexp 7.0.0 (via alr publish) (#1604) 2025-09-15 16:37:48 +02:00
Martin Krischik f1fce01456 adacl_eastrings 7.0.0 (via alr publish) (#1603) 2025-09-15 16:35:48 +02:00
Martin Krischik ae4dffcc68 adacl_aunit 7.0.0 (#1601)
* adacl_aunit 7.0.0 (via `alr publish`)

* Update adacl_aunit-7.0.0.toml

Null-change to force rebuild.
2025-09-15 14:54:45 +02:00
Martin Krischik 196bd1acb5 adacl 7.0.0 (via alr publish) (#1600) 2025-09-15 12:02:45 +02:00
Martin Krischik a77a528f0e hp41cx_tools 1.7.1 (#1596) 2025-09-10 14:01:52 +02:00
pmunts b918472d2b libsimpleio release 2.23699.1 Mon Sep 8 10:02:59 AM PDT 2025 (#1595)
Added support for Linux Industrial I/O Subsystem scaled ADC voltage inputs.

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2025-09-09 15:08:45 +02:00
Holger Rodriguez 29f279d6be mcp9808_i2c 0.9.0 (via alr publish) (#1566) 2025-09-09 15:03:59 +02:00
César Sagaert b7615e306d gnat 15.2.0-1 (#1586) 2025-09-09 14:48:44 +02:00
Blady-Com 1db0da2a04 uxstrings 0.9.0 (#1593) 2025-09-06 17:07:38 +02:00
Martin Krischik 35f35af79c mos6502_create_led 1.5.1 (#1592) 2025-09-06 17:05:58 +02:00
Martin Krischik a0714582b3 mos6502_create_nop 1.5.1 (#1591) 2025-09-06 17:05:07 +02:00
Martin Krischik 5ff2ffd7de mos6502_create_reset 1.5.1 (#1590) 2025-09-06 17:04:15 +02:00
Martin Krischik 49984d991b atari_exe_tools 1.5.1 (#1589) 2025-09-06 17:00:41 +02:00
Martin Krischik 37be358fbb atari_atr_tools 1.5.1 (#1588) 2025-09-06 14:52:48 +02:00
Martin Krischik 75775802f8 hp41cx_tools 1.7.0 (#1587) 2025-09-06 14:51:35 +02:00
Martin Krischik 00100d8cc9 adacl_eastrings 6.3.0 (#1583)
* adacl_eastrings 6.3.0 (via `alr publish`)

* fix: Björn encoding

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-09-03 20:46:39 +02:00
Martin Krischik e81de508c6 adacl_sar 6.3.0 (#1585) 2025-09-03 20:37:42 +02:00
Martin Krischik 397cde3bb8 adacl_regexp 6.3.0 (#1584) 2025-09-03 20:35:07 +02:00
Jeremy Grosser c80aff8ad2 base32 1.0.1 (#1579)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-26 20:29:13 +02:00
Gautier de Montmollin 5349579242 cbsg 0.0.2 (#1581)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-26 20:27:44 +02:00
Juan Antonio de la Puente 985f6ab4e4 astro 1.2.2 (#1580)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-26 20:26:30 +02:00
Alejandro R Mosteo 2a7ad6bb1b fix: stop-gag for macOS Ports failure on macOS 15 (#1582) 2025-08-26 20:19:51 +02:00
Martin Krischik 054883a6c2 adacl 6.3.0 (#1578) 2025-08-26 19:56:51 +02:00
Holger Rodriguez 518f6098bb mcp9808_i2c 1.0.0 (#1577) 2025-08-26 19:52:38 +02:00
Blady-Com 95d036a2bc exsytrawo 2.0.0 (#1576) 2025-08-26 19:51:32 +02:00
Juan Antonio de la Puente 327f9e4b5c astro 1.2.1 (#1571)
* astro 1.2.1 (via `alr publish`)

* Reintroduce lost tags

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-15 20:06:27 +02:00
Martin Krischik 98a2afcf3c adacl_eastrings 6.2.2 (#1573)
* adacl_eastrings 6.2.2 (via `alr publish`)

* Update adacl_eastrings-6.2.2.toml

* Fixed "Björn" encoding

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-15 20:06:05 +02:00
Martin Krischik c6d837792a adacl_sar 6.2.2 (#1575) 2025-08-15 19:55:54 +02:00
Martin Krischik e6075834a4 adacl_regexp 6.2.2 (#1574) 2025-08-15 19:54:44 +02:00
Martin Krischik 6b84be367d adacl 6.2.2 (#1569)
* adacl 6.2.2 (via `alr publish`)

* release adacl 6.2.2 remove test action.
2025-08-13 22:31:57 +02:00
Holger Rodriguez 36ab479361 ltp_305 1.1.0 (#1565) 2025-08-07 12:20:58 +02:00
Holger Rodriguez f5b1032b44 ltp_305 1.0.0 (#1564) 2025-08-04 20:43:09 +02:00
Fabien Chouteau 7eec13a20e noise_nugget_sdk 2.0.0 (#1561) 2025-08-04 20:41:53 +02:00
Fabien Chouteau 287477d776 tresses 2.0.0 (#1562) 2025-08-04 20:40:34 +02:00
Darren Bane 46a267d910 x1804 1.0.1 (via alr publish) (#1559) 2025-08-04 18:02:20 +02:00
Holger Rodriguez e9a32ac0b7 edc_client 1.5.2 (via alr publish) (#1563) 2025-08-04 18:00:40 +02:00
Paul Jarrett 6ef50d04e8 trendy_test 0.0.4 (via alr publish) (#1560) 2025-08-04 17:59:57 +02:00
Jon e10e2a9143 aho_corasick 0.3.0 (#1558) 2025-08-01 11:57:55 +02:00
Luke A. Guest e3aa24c9ba sdl2 external gentoo pkgs (#1557)
* fix: improper syntax that will be rejected post-2.1 (#1417) (#1445)

We had a missing check in index loading logic that should have rejected an unexpected array.

* Add gentoo package names.

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-08-01 11:56:48 +02:00
Fabien Chouteau b2330b0763 embedded_components 0.4.0 (#1556) 2025-07-31 13:48:07 +02:00
Gautier de Montmollin d94c7315a8 Create ali_parse-1.0.0.toml (#1555)
* Create ali_parse-1.0.0.toml

* Update ali_parse-1.0.0.toml

Fixed type in project name URL
2025-07-31 11:23:20 +02:00
Fabien Chouteau bddf973569 adl_middleware 0.4.0 (#1554) 2025-07-30 16:59:46 +02:00
Lionel Draghi 4a8b1a15df bbt 0.2.0 (via alr publish) (#1550) 2025-07-29 18:23:36 +02:00
Jeremy Grosser c7a5a12ef8 rp2040_hal 2.5.0 (#1553) 2025-07-29 18:23:10 +02:00
Holger Rodriguez 0b57114dc1 eeprom_i2c 7.0.0 (#1551) 2025-07-24 10:00:29 +02:00
S. Tucker Taft 2062388b51 lwt 1.1.0 (#1552)
* lwt 1.1.0 (via `alr publish`)

* Update lwt-1.1.0.toml

Added a dependence on libgomp for windows.
2025-07-24 09:58:38 +02:00
S. Tucker Taft 2b4b143114 lwt 1.0.0 (#1544)
* lwt 1.0.0 (via `alr publish`)

* Update lwt-1.0.0.toml to remove MacOS-specific flags

The MacOS-specific flag "-ld_classic" and also a weirdly-named extraneous file (":wq").

* Dependency on libgomp on Windows

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-07-18 17:20:25 +02:00
Darren Bane 3bd531756d ptf 1.2.1 (#1546) 2025-07-18 10:58:47 +02:00
Martin Krischik 48a2db4bb3 adacl_sar 6.2.1 (#1538) 2025-07-16 11:04:34 +02:00
Stephane Carrez 685a35281f Ada Servlet 1.8.0 crates (#1543)
* Ada Servlet 1.8.0 crates

* Remove AWS support because as usual AWS is broken in automated builds
2025-07-15 11:10:07 +02:00
Stephane Carrez 804e09f7ed Ada Keystore 1.4.2 crates (#1542) 2025-07-15 11:09:15 +02:00
Stephane Carrez 30f7807a13 Ada EL Library 1.8.8 (#1541) 2025-07-15 11:06:52 +02:00
Stephane Carrez ab63e4666c Ada Utility Library 2.8.1 crates (#1540)
* Ada Utility Library 2.8.1 crates

* Remove the AWS support because AWS is broken as usual
Now, it fails when building libgpr which is imported by GNATCOLL:

```
   [Ada]          gpr-env.adb
   gpr-util-put_resource_usage__unix.adb:34:24: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:35:24: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:69:34: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:78:34: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:84:50: error: invalid prefix in selected component "This"
   gpr-util-put_resource_usage__unix.adb:86:20: error: invalid prefix in selected component "This"
   gpr-util-put_resource_usage__unix.adb:34:24: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:35:24: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:69:34: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:78:34: error: "Timeval" not declared in "Thin_Common"
   gpr-util-put_resource_usage__unix.adb:84:50: error: invalid prefix in selected component "This"
   gpr-util-put_resource_usage__unix.adb:86:20: error: invalid prefix in selected component "This"

      compilation of gpr-env.adb failed
         compilation of gpr-util-aux.adb failed

	 gprbuild: *** compilation phase failed
	 make: *** [Makefile:188: build-awsres-tool-native] Error 4
```
2025-07-15 11:05:46 +02:00
Stephane Carrez 13b1b77df5 lzmada 1.1.5 crate (#1539) 2025-07-15 11:04:34 +02:00
Martin Krischik 66c9e35ca1 adacl_eastrings 6.2.1 (via alr publish) (#1537) 2025-07-15 11:02:40 +02:00
Martin Krischik 57dbf89b7b adacl 6.2.1 (#1536)
* sparkfun_qwiic_motor_driver 0.1.0 (#1495)

* press_utils 1.0.0 (#1505)

* adacl 6.2.1 (via `alr publish --submit`)

* adacl_regexp 6.2.1 (#1531)

* Force re-execution of build pipeline

* adacl 6.2.1 (via `alr publish`)

---------

Co-authored-by: KLOC-Karsten <72611407+KLOC-Karsten@users.noreply.github.com>
Co-authored-by: Matheus Xavier <soft.song@fastmail.net>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-07-14 15:54:00 +02:00
cowile 73f200fe78 format_strings 1.0.0 (#1519) 2025-07-14 14:01:47 +02:00
Darren Bane a3ee004f51 testlog 1.0.0 (#1535) 2025-07-14 13:57:47 +02:00
Darren Bane 6878dd6574 pager2 2.0.1 (#1534) 2025-07-10 12:01:23 +02:00
Vadim Godunko 8003443de6 a0b_stm32g474 0.2.0 (#1526) 2025-07-10 11:51:53 +02:00
Vadim Godunko 3c5fc76bc7 a0b_tools 0.1.0 (#1525) 2025-07-10 11:51:24 +02:00
Vadim Godunko bb0d83af96 a0b_atsam3x8e 0.4.0 (#1523) 2025-07-07 13:42:26 +02:00
Vadim Godunko 76a596465f a0b_stm32f401 0.3.0 (via alr publish) (#1524) 2025-07-07 11:33:34 +02:00
Vadim Godunko 8c9386bf72 a0b_armv7m 0.4.0 (#1522) 2025-07-07 10:10:54 +02:00
Daniel King 291d4d188d stm32g4xx runtimes 15.0.0 (#1521) 2025-07-07 10:09:36 +02:00
Daniel King f2e952dd15 stm32g0xx runtimes 15.0.0 (#1520) 2025-07-07 10:08:36 +02:00
cowile d3c88b9342 format_strings 0.1.0 (#1516) 2025-07-03 12:54:54 +02:00
Jeremy Grosser 712693425a linux_hal 1.2.0 (#1515) 2025-06-30 11:29:29 +02:00
Daniel King ec367fbc7e stm32f0xx-runtimes 15.0.0 (#1514) 2025-06-27 10:53:28 +02:00
Jesper Quorning b4cc7a12b4 hostarm 25.0.4 (#1511) 2025-06-24 19:48:36 +02:00
Juan Antonio de la Puente b5d210926f astro 1.1.1 (#1513)
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2025-06-24 16:39:10 +02:00
Juan Antonio de la Puente c43ad20f92 ephemeris 1.1.1 (#1512) 2025-06-24 14:14:32 +02:00
Vincent ROUX 04acd65f54 levenshtein_distance 1.0.0 (#1508) 2025-06-23 11:43:04 +02:00
Jon 466b72416f aho_corasick 0.2.0 (#1510) 2025-06-23 11:39:38 +02:00
Daniel King 6a9d17f16a libcrc 1.0.0 (#1509) 2025-06-23 11:38:30 +02:00
Alejandro R Mosteo c8f57b57d7 braillart 0.1.0 (via alr publish) (#1504)
Co-authored-by: Alejandro R. Mosteo <example@example.com>
2025-06-12 11:57:39 +02:00
Daniel King 854b03995f nrf52-runtimes 15.0.0 (#1503) 2025-06-09 14:16:50 +02:00
Quentin Dauprat c48440571a lsystem_editor 1.0.0 (#1502) 2025-06-09 12:24:45 +02:00
César Sagaert 809638fab8 GNAT FSF 15.1.0 (#1500) 2025-06-04 18:58:08 +02:00
Francesc Rocher 74d1123e71 mold 1.1.0 (#1498) 2025-06-04 18:36:51 +02:00
Francesc Rocher 058796a060 mold_lib 2.3.1 (#1497) 2025-05-30 12:01:48 +02:00
César Sagaert 788a339fb6 release gprbuild fsf 25.0.0-1 (#1494) 2025-05-26 10:58:27 +02:00
César Sagaert cee8642ff4 gnatprove fsf build for 15.1.0 (#1493)
* gnatprove fsf build for 15.1.0

* add myself to maintainers list
2025-05-21 11:26:21 +02:00
Manuel 760589d0f5 coap_spark, coap_client 0.9.0 (#1486)
* coap_spark 0.9.0 (via `alr publish`)

* Include coap_client as subdir of the coap_spark repository

* coap_spark: remove unneded dependency for users

* Revert "coap_spark: remove unneded dependency for users"

This reverts commit d8c395bfa6.

The dependency is needed for SPARKlib, which is not packaged
separately from gnatprove.
2025-05-19 14:24:20 +02:00
Gautier de Montmollin 4a1c733e48 Create globe_3d-2025.04.18.toml (#1479)
- Code cleanup
- Visualisation of portals (on show_portals = True)

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2025-05-19 10:34:53 +02:00
pmunts f2e64c68f6 wioe5_* 1.23340.1 (#1492)
* muntsos_aarch64 release 10.4.0 Wed May 14 07:38:24 PM PDT 2025

Added wioe5_ham1, wioe5_ham2, and wioe5_p2p to the list of crates that are
included in this one.

* wioe5_p2p release 1.23340.1 Wed May 14 10:49:49 PM PDT 2025

Backported some improvements from wioe5_ham2.

* wioe5_ham1 release 1.23340.1 Wed May 14 10:52:00 PM PDT 2025

Backported some improvements from wioe5_ham2.

* wioe5_ham2 release 1.23340.1 Wed May 14 10:53:28 PM PDT 2025

Added new crate wioe5_ham2, for Amateur Radio Unicast Flavor #2.
2025-05-16 13:03:22 +02:00
pmunts cc54f7d7b8 wioe5 1.23299.1 (#1491)
* wioe5_p2p release 1.23299.1 Fri 09 May 2025 05:33:48 PM PDT

Initial release.

* wioe5_ham1 release 1.23299.1 Fri 09 May 2025 05:35:17 PM PDT

Initial release.
2025-05-13 12:17:01 +02:00
pmunts 4a179fb192 libsimpleio 2.23289.2 (#1488)
Removed Wio-E5 LoRa Transceiver Module device drivers.  Since
these drivers now use GNAT.Serial_Communications, they work
on Windows, and will soon have their own crates.
2025-05-13 12:11:55 +02:00
Jeremy Grosser 01882d364f rp2040_hal 2.4.2 (#1487) 2025-05-08 12:48:00 +02:00
Manuel 6cbbed3355 wolfssl 5.8.0 (#1485)
* wolfssl 5.8.0 (via `alr publish`)

* Update wolfssl-5.8.0.toml to set original repository
2025-05-02 18:07:14 +02:00
Alejandro R Mosteo 3eded0f0c9 c_strings 1.1.0 (via alr publish) (#1463) 2025-04-28 10:30:06 +02:00
Fabien Chouteau d7adee2e49 microbit_bsp 0.2.1 (#1484) 2025-04-26 20:17:20 +02:00
Jesper Quorning af404ac311 hostarm 25.0.2 (#1483) 2025-04-26 20:09:33 +02:00
Jesper Quorning b139c19fec hostarm 25.0.1 (via alr publish) (#1481)
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
2025-04-24 11:57:05 +02:00
pmunts 6f0fdb9c82 libsimpleio release 2.23168.1 Wed Apr 23 03:17:36 PM PDT 2025 (#1482)
Added packages to support the Wio-E5 LoRa transceiver module.
Added a generic function for calculating CRC16-CCITT checksums.
2025-04-24 10:45:44 +02:00
Darren Bane dca3dcec8d pager2 2.0.0 (#1473) 2025-04-14 20:49:09 +02:00
Darren Bane e4d6cb565a x1804 1.0.0 (#1475) 2025-04-14 12:35:28 +02:00
Darren Bane 8d6f6ebf3f ptf 1.2.0 (#1474) 2025-04-14 12:32:58 +02:00
Brent Seidel 666499b1a4 bbs_simcpu 0.3.3 (#1476) 2025-04-14 12:20:48 +02:00
Holger Rodriguez be09852362 ltp_305 0.3.0 (#1471) 2025-04-10 13:34:55 +02:00
Alejandro R Mosteo 4143a206c6 sync: 1.3.0 --> 1.4.0
sync: 1.3.0 --> 1.4.0
2025-04-07 12:45:48 +02:00
Holger Rodriguez ca2af566ef eeprom_i2c 6.0.1 (#1467) 2025-04-07 11:34:02 +02:00
Holger Rodriguez ddf53ebf28 itsybitsy_rp2040_bsp 1.0.0 (#1466) 2025-04-07 11:32:53 +02:00
Holger Rodriguez 6e30481441 tiny_rp2040_bsp 1.0.0 (#1465) 2025-04-07 11:32:05 +02:00
Gautier de Montmollin 61e11c26d7 lea 0.92.1 (#1464) 2025-04-07 11:30:37 +02:00
Brent Seidel 23dc88d03f bbs_ansiterm 0.1.0 (#1460) 2025-04-02 18:00:39 +02:00
Fabien Chouteau 03e874cab9 cortex_m 1.1.0 (#1457)
* Add files via upload

* Update cortex_m-1.1.0.toml
2025-03-31 12:13:24 +02:00
Gautier de Montmollin 29acf17424 azip 2.7.1 (#1456) 2025-03-27 13:13:50 +01:00
Gautier de Montmollin 7bed3b4c76 Create lea-0.92.0.toml (#1455) 2025-03-26 10:36:17 +01:00
Alejandro R Mosteo 294ffee8fe sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-23 14:12:16 +01:00
Gautier de Montmollin 64f02e3f71 gwindows 1.5.0 (#1451) 2025-03-23 12:28:10 +01:00
Manuel c9f06b649b alr2appimage 1.0.0 (#1449) 2025-03-21 22:38:28 +01:00
Fabien Chouteau a7f16ee3f2 strategy 0.1.0 (#1448) 2025-03-21 20:09:25 +01:00
M. Anthony Aiello d1fe9756c8 gnatprove 14.1.1 metadata (#1444)
Add an author, website, and long description that provides links for getting started with GNATprove
2025-03-20 19:05:53 +01:00
Alejandro R Mosteo f189c45bd9 feat: testing on Ubuntu aarch64 (#1441)
* Enable testing in Ubuntu ARM

* Bump setup-alire
2025-03-18 21:29:50 +01:00
Alejandro R Mosteo 1e7da33757 GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)
* Update gprbuild-24.0.1.toml

* GNAT 14.2.1 cross compilers

---------

Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Co-authored-by: Fabien Chouteau <chouteau@adacore.com>
2025-03-18 21:02:01 +01:00
Alejandro R Mosteo 0a27d940a7 aaa 0.3.0, aaa_texts 0.3.0, texts 0.1.0 (#1439)
* Add manifests for aaa=0.3.0 aaa_texts=0.3.0

* Add texts=0.1
2025-03-18 17:48:04 +01:00
Alejandro R Mosteo 484b9f5750 sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-17 15:49:12 +01:00
Alejandro R Mosteo d8ba20bb3c lml 0.1.0 (via alr publish) (#1437) 2025-03-17 14:13:29 +01:00
Vadim Godunko 1adfe2f5a3 button_led_weact_stm32g474 0.1.0 (#1434) 2025-03-17 14:04:35 +01:00
Vadim Godunko a0238311d8 blink_led_weact_stm32g474 0.1.0 (#1433) 2025-03-17 14:02:36 +01:00
Vadim Godunko 79865e170e a0b_stm32g474_gpio 0.1.0 (#1432) 2025-03-14 18:22:54 +01:00
Vadim Godunko 88a5127f02 light_weact_stm32g474 0.1.0 (#1431) 2025-03-14 17:45:33 +01:00
Vadim Godunko 6e1a5478ab a0b_stm32g4_gpio 0.1.0 (#1430) 2025-03-14 17:44:34 +01:00
Vadim Godunko d909e034ca a0b_stm32g474 0.1.0 (#1429) 2025-03-14 13:58:32 +01:00
Vadim Godunko cb781bac60 a0b_stm32f2_generic_exti 0.1.0 (#1428) 2025-03-14 13:57:54 +01:00
Vadim Godunko 3e6330ebea a0b_stm32g4 0.1.0 (#1427) 2025-03-14 12:48:41 +01:00
Vadim Godunko 56c4af3696 a0b_stm32f2_generic_gpio 0.1.0 (#1426) 2025-03-14 12:31:11 +01:00
Jon d7d141b9bb sparknacl 4.0.1 (#1425) 2025-03-14 12:29:54 +01:00
Vadim Godunko d30fd0d423 a0b_base 0.4.0 (#1424) 2025-03-14 09:46:16 +01:00
Alejandro R Mosteo 44c5359265 sync: 1.3 --> 1.4
sync: 1.3 --> 1.4
2025-03-10 10:31:34 +01:00
Gautier de Montmollin 16ca8bd140 apdf 8.0.0 (#1418)
* Create apdf-8.0.0.toml

* Update apdf-8.0.0.toml

Fixed GID dependency.

* Update apdf-8.0.0.toml

Reverted to gid = ">=9.0.0"

* Update apdf-8.0.0.toml

Fixed .gpr name.
2025-03-09 19:37:36 +01:00
Alejandro R Mosteo 18855ad0f9 fix: improper syntax that will be rejected post-2.1 (#1417)
We had a missing check in index loading logic that should have rejected an unexpected array.
2025-03-08 22:15:25 +01:00
Gautier de Montmollin 32b8f4738d zipada 61.0.0 (#1416) 2025-03-08 22:14:25 +01:00
Simon Wright d719460ede ada_caser 0.1.0 (#1415) 2025-03-08 20:45:06 +01:00
Alejandro R Mosteo 3a5e2b0ede Sync indexes 1.3 --> 1.4
Sync indexes 1.3 --> 1.4
2025-03-08 13:39:25 +01:00
Blady-Com b68a04c708 ppa_gtkada 1.0.0 (#1412)
* Add ppa_gtkada-1.1.0 (Tutorials for GTKAda) to Alire.

* Fix in Alire badge URL.
2025-03-08 12:52:57 +01:00
Gautier de Montmollin 6e97d9a9fd hac 0.41.0 (#1411) 2025-03-08 12:02:26 +01:00
pmunts 8acd01a323 release 2.22974.1 (#1410)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 12:01:05 +01:00
pmunts 4fd42debf7 libsimpleio 2.22974.1 (#1409)
Added support for the BeaglePlay Linux microcomputer.
2025-03-08 12:00:16 +01:00
Alejandro R Mosteo 99574543a1 yeison_12 0.2.0 (via alr publish) (#1405) 2025-03-07 14:21:53 +01:00
Alejandro R Mosteo abf9379bfc toml_slicer 0.1.2 (via alr publish) (#1406) 2025-03-07 14:20:44 +01:00
Alejandro R Mosteo 01af5456b2 Sync indexes 1.3 --> 1.4
Sync indexes 1.3 --> 1.4
2025-03-07 13:17:15 +01:00
Alejandro R. Mosteo 328033d37d Sync index 1.4 with releases in 1.3 2025-03-06 22:42:39 +01:00
Alejandro R Mosteo d1755d52f2 Set up index v1.4 with alr v2.1 (#1404)
* exsytrawo 1.2.0 (#1396)

* bbt 0.1.0 (#1397)

* prolog 1.0.0 (#1398)

* prolog 1.0.0 (via `alr publish`)

* Update prolog-1.0.0.toml

* Move to alr 2.1

---------

Co-authored-by: Blady-Com <blady.net@orange.fr>
Co-authored-by: Lionel Draghi <lionel.draghi@free.fr>
Co-authored-by: Jesper Quorning <jesper.quorning@gmail.com>
2025-03-06 22:39:29 +01:00
Blady-Com 2caa409572 exsytrawo 1.2.0 (#1396) 2025-03-03 13:34:49 +01:00
Alejandro R. Mosteo 5e491add2b Bump metadata version 2025-03-03 13:34:33 +01:00
658 changed files with 35638 additions and 89 deletions
-35
View File
@@ -1,35 +0,0 @@
name: Check Author
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
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.
- name: Check out alire-index-checks
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
- name: Test authorship
run: ${{env.CHECKS_REPO}}/scripts/check-author.sh "${{ github.event.pull_request.user.login }}"
shell: bash
+7 -5
View File
@@ -7,7 +7,7 @@ name: Build Crate (Distro toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 2.1.1
on:
pull_request:
@@ -31,8 +31,10 @@ jobs:
- centos-stream-fsf-latest # CentOS is used for unknown package manager
- debian-stable # Debian has very good Ada support and apt
- fedora-latest # Fedora has its own GNAT and dnf
# - gentoo-rolling # Gentoo has its own GNAT and emerge
# TODO: enable in the next major Alire version index
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
# TODO: diagnose and reinstate problems with tar/compiler installation
# TODO: diagnose and reinstate problems with tar/compiler installation
- ubuntu-lts # Ubuntu LTS is a common Debian derivative
steps:
@@ -54,20 +56,20 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
toolchain: --disable-assistant # We want to use the external ones in this workflow
branch: master
- name: Test crate (${{matrix.tag}})
uses: mosteo-actions/docker-run@v1
uses: mosteo-actions/docker-run@v2
with:
image: ghcr.io/alire-project/docker/gnat:${{matrix.tag}}
command: ${{env.CHECKS_REPO}}/scripts/gh-build-crate.sh
+4 -3
View File
@@ -30,9 +30,10 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-15-intel # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
@@ -53,7 +54,7 @@ jobs:
path: ${{env.CHECKS_REPO}}
- name: Set up devel `alr`
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
branch: 'master'
+6 -5
View File
@@ -6,7 +6,7 @@ name: Build Crate (Alire toolchain)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 2.1.1
PACMAN: C:\Users\runneradmin\AppData\Local\alire\cache\msys64\usr\bin\pacman
on:
@@ -27,9 +27,10 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-15-intel # amd64
- macos-latest # arm64
- ubuntu-latest
- ubuntu-24.04-arm
- windows-latest
steps:
@@ -52,14 +53,14 @@ jobs:
# By default, this also sets up the newest indexed native toolchain
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
version: ${{env.ALR_VERSION}}
# By default, this also sets up the newest indexed native toolchain
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
branch: 'master'
+4 -4
View File
@@ -9,7 +9,7 @@ name: Build Crate (MacPorts)
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 2.1.1
on:
pull_request:
@@ -29,8 +29,8 @@ jobs:
fail-fast: false
matrix:
os:
- macos-13 # amd64
- macos-latest # arm64
- macos-15-intel # amd64
- macos-latest # arm64
steps:
- name: Check out alire-index
@@ -50,7 +50,7 @@ jobs:
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
version: ${{env.ALR_VERSION}}
+15
View File
@@ -0,0 +1,15 @@
name: Check Author
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Author
script: check-author.sh
script_arg: ${{github.event.pull_request.user.login}}
setup_alr: true
+14
View File
@@ -0,0 +1,14 @@
name: Check Crate Name
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Crate Name
script: check-crate-name.sh
script_arg: ${{github.event.pull_request.title}}
+3 -3
View File
@@ -1,7 +1,7 @@
name: Check Index
env:
ALR_VERSION: 2.0.2
ALR_VERSION: 2.1.1
on: pull_request
@@ -13,13 +13,13 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
branch: master
+16
View File
@@ -0,0 +1,16 @@
name: Check Schema
on:
pull_request:
paths:
- 'index/**.toml'
jobs:
check:
uses: ./.github/workflows/check-with-script.yml
with:
name: Schema
script: check-schema.sh
script_arg: alire/schemas/manifest-schema.yaml
setup_python: true
fetch_schema: true
+85
View File
@@ -0,0 +1,85 @@
name: Check With Script
on:
workflow_call:
inputs:
name:
description: Display name for the check job
required: true
type: string
script:
description: Script filename under alire-index-checks/scripts/
required: true
type: string
script_arg:
description: Single argument passed to the script
required: true
type: string
setup_alr:
description: Whether to install alr before running the script
required: false
type: boolean
default: false
setup_python:
description: Whether to set up Python and install requirements.txt
required: false
type: boolean
default: false
fetch_schema:
description: Whether to clone the Alire repo (manifest JSON Schema)
required: false
type: boolean
default: false
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.1.1
SCHEMA_REPO: https://github.com/alire-project/alire
jobs:
check:
name: ${{inputs.name}}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
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.
- name: Check out alire-index-checks
uses: actions/checkout@v4
with:
repository: ${{env.CHECKS_ORG}}/${{env.CHECKS_REPO}}
ref: ${{github.base_ref}}
path: ${{env.CHECKS_REPO}}
- name: Set up stable `alr`
if: inputs.setup_alr
uses: alire-project/setup-alire@latest
with:
version: ${{env.ALR_VERSION}}
- name: Set up Python
if: inputs.setup_python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install Python dependencies
if: inputs.setup_python
run: pip install -r ${{env.CHECKS_REPO}}/requirements.txt
shell: bash
- name: Fetch manifest schema
if: inputs.fetch_schema
run: git clone --depth 1 "$SCHEMA_REPO" alire
shell: bash
- name: Run check
run: >
${{env.CHECKS_REPO}}/scripts/${{inputs.script}}
"${{inputs.script_arg}}"
shell: bash
+3 -3
View File
@@ -8,7 +8,7 @@ name: Diff release
env:
CHECKS_ORG: alire-project
CHECKS_REPO: alire-index-checks
ALR_VERSION: 2.0.2
ALR_VERSION: 2.1.1
on:
pull_request:
@@ -39,14 +39,14 @@ jobs:
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
uses: alire-project/setup-alire@latest
with:
toolchain: --disable-assistant # We don't need the compiler
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v4
uses: alire-project/setup-alire@latest
with:
toolchain: --disable-assistant # We don't need the compiler
branch: master
+6 -3
View File
@@ -6,12 +6,15 @@ Because Alire comes late in the history of the Ada and SPARK languages we will n
- Respect the ownership of projects: Owner and maintainers of a project deserve to be credited for their work.
- Avoid user confusion on the name of crates: Crate names should be clear with regards to the project they contain. For instance, do not try to impersonate existing crates or projects.
To that extent we will potentially reject a create or transfer the ownership of a crate.
To that extent we will potentially reject a crate or transfer the ownership of a crate.
We count on the goodwill of the contributors to help us conduct this moderation in a kind and courteous way. Do not submit a crate to the Alire index if you are not willing to comply with this policy.
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
As the Alire project matures, we expect to do less moderation and potentially remove this policy in favor of a first come, first served policy.
# Release immutability
A release (identified by a unique semantic version) is protected against changes by its integrity hashes. If errors are identified post-publication, a release could be withdrawn, or superseded by a new one (using the appropriate major/minor/patch/build version changes), but not modified.
A release (identified by a unique semantic version) is protected against
changes by its integrity hashes. If errors are identified post-publication, a
release could be marked unavailable, or superseded by a new one (using the
appropriate major/minor/patch/build version changes), but not modified.
+56
View File
@@ -0,0 +1,56 @@
This document describes the manual process to review a PR for a release
submission to the Alire's community index.
## Purpose of the review process
- Ensure submitted releases build and resolve on at least some platforms.
- Keep crate names clear and unambiguous (see [POLICY.md](POLICY.md)).
- Protect users from broken, misleading, or malicious manifests.
- Help submitters land good releases, not gatekeep them.
## Checks for all releases
- [ ] Wait for CI checks to pass. Do not merge with failing tests unless a
justified reason is given in the PR comments.
- [ ] Help the submitter when an error is well known or the cause is readily
apparent.
- [ ] Missing dependencies are not a failure by themselves: verify that at
least some platforms resolve and build.
- [ ] Build failures caused by dependencies out of the control of the
submitter are not a reason to block the PR.
- [ ] Inspect the submitted manifest for anything untoward.
- [ ] For repeat releases, check the Diff workflow output to quickly spot the
important changes against the previous release.
- [ ] Tags are meaningful and descriptive.
- [ ] `gpr-set-externals` settings are appropriate (see Common pitfalls below).
- [ ] System library dependencies are declared and not left implicit. If a
needed external crate does not exist yet, request its external to be
added in the same PR. Examples:
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/li/libcurl/libcurl-external.toml
- https://github.com/alire-project/alire-index/blob/stable-1.4.0/index/ma/make/make-external.toml
## Checks for new crates (first release)
- [ ] The crate name does not collide with a popular existing Ada/SPARK
project not yet indexed (see [POLICY.md](POLICY.md)). Do not let a
submission impersonate or shadow an established project.
- [ ] Inspect the upstream repository: confirm it is a real project with real
code, not a placeholder or squatting attempt, or otherwise deceitful.
## Common pitfalls
- **Test-only dependencies in the root crate.** Crates depending on e.g.
`gnattest` or `gnatprove` must not have them in the root crate; those are
only for testing the crate itself. Request moving them to a nested crate
and point the submitter to the catalog spec section on testing with pins:
https://github.com/alire-project/alire/blob/master/doc/catalog-format-spec.md#using-pins-for-crate-testing
- **Use of `gpr-set-externals`.** Setting a GPR external value is:
- OK to configure the build for the current environment (OS, architecture).
- OK for crates that produce a binary and are not intended as dependencies.
- NOT OK to fix the build mode (devel/release) on a library crate; clients
must be able to set it themselves.
## Approving
- [ ] Once everything checks out, tag the @alire-project/crate-reviewers team
in a comment stating that the PR is OK to merge.
+36
View File
@@ -0,0 +1,36 @@
name = "a0b_armv7m"
description = "ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)"
website = "https://github.com/godunko/a0b-armv7m"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
project-files=["gnat/a0b_armv7m.gpr"]
tags = ["a0b", "embedded", "armv7m", "cortex-m", "cortex-m3", "cortex-m4", "cortex-m7"]
[configuration.variables]
FPU_Extension = {type = "Enum", values = ["undefined", "none", "VFPv4", "VFPv5"], default="undefined"}
# This configuration varible is not used by the crate, and it is not clear now should, or should not be preserved.
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[[depends-on]]
a0b_base = "*"
gnat_arm_elf = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "bb8b0af2ed2c64f2381ad5c7953bfa2b88b0c4da"
url = "git+https://github.com/godunko/a0b-armv7m.git"
@@ -0,0 +1,34 @@
name = "a0b_atsam3x8e"
description = "ATSAM3X8E base and SVD package"
website = "https://github.com/godunko/a0b-atsam3x8e"
version = "0.4.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "atsam3x8e", "sam3x8e", "arduino", "due", "svd"]
project-files = ["gnat/a0b_atsam3x8e.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/atsam3x8e.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/ATSAM3X8E.svd"
[[depends-on]]
a0b_armv7m = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "4c368fe1c80bc3948b37adc0501cfc4dc4a3bdcc"
url = "git+https://github.com/godunko/a0b-atsam3x8e.git"
+38
View File
@@ -0,0 +1,38 @@
name = "a0b_base"
description = "Fundamental types, GCC built-ins, and base packages for Ada projects"
website = "https://github.com/godunko/a0b-base"
version = "0.5.0"
long-description = """
The `a0b_base` crate provides the root package hierarchy and foundational components tailored for embedded, bare-metal, and low-level Ada applications.
Key features include:
* Foundational Types:
- `Integer_*` and `Unsigned_*` types of various sizes (1 to 64 bits) with shift and rotate operations.
- `Unsigned_*_Array` types and "Enumerable" modular types (2 to 8 bits).
* Low-Level Utilities:
- Big-endian formatted types (`A0B.Types.Big_Endian`) for low-level protocol specifications.
- Type declarations specifically designed for use with the SVD2Ada code generator.
* Compiler Bindings:
- Direct bindings to GCC built-ins (such as `bswap`, `clz`, `ffs`) in `A0B.Types.GCC_Builtins`.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "types", "builtins"]
project-files=["gnat/a0b_base.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[configuration.variables]
Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"}
[origin]
commit = "882bbc92ae5c38d43cd3012d2e37e23dfae078ab"
url = "git+https://github.com/godunko/a0b-base.git"
@@ -0,0 +1,33 @@
name = "a0b_sensirion"
version = "0.1.0"
website = "https://github.com/godunko/a0b-sensirion"
description = "A0B: Utilities for various Sensirion's sensors"
long-description = """
The a0b-sensirion crate provides essential low-level utilities for interfacing with Sensirion sensors, specifically focusing on the data integrity requirements of their communication protocols.
It offers specialized routines for CRC calculation and provides automated packet encoding and decoding logic that handles the insertion and deletion of CRC bytes.
By abstracting these boilerplate tasks, the crate ensures reliable data transmission and simplifies the implementation of drivers for any Sensirion hardware utilizing checksum-protected packets.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "sensirion", "sensor"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[[depends-on]]
a0b_base = "*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "0f120a3a998db83e1966aa70efe0ce94b38318d9"
url = "git+https://github.com/godunko/a0b-sensirion.git"
@@ -0,0 +1,34 @@
name = "a0b_stm32f401"
description = "STM32F401 base and SVD package"
website = "https://github.com/godunko/a0b-stm32f401"
version = "0.3.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "svd","stm32", "stm32f4", "stm32f401"]
project-files = ["gnat/a0b_stm32f401.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32f401.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32F401.svd"
[[depends-on]]
a0b_armv7m="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "fb9d60a5c1300b84f913dc3722fa39aea4d59150"
url = "git+https://github.com/godunko/a0b-stm32f401.git"
@@ -0,0 +1,34 @@
name = "a0b_stm32g474"
description = "A0B: STM32G474 base support and SVD files"
version = "0.2.0"
website = "https://github.com/godunko/a0b-stm32g474"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "Apache-2.0 WITH LLVM-exception"
tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"]
project-files = ["gnat/a0b_stm32g474.gpr"]
[configuration]
generate_ada = false
generate_c = false
generate_gpr = true
[environment]
A0B_TOOLS_BINDING_STARTUP.set = "${CRATE_ROOT}/binding/startup/stm32g474.json"
A0B_TOOLS_SVD.set = "${CRATE_ROOT}/svd/STM32G474.svd"
[[depends-on]]
a0b_stm32g4 ="*"
[[actions]]
type = "test"
directory = "selftest"
command = ["alr", "build"]
[origin]
commit = "f4731f4055973c43e3edd081743137c990e3d423"
url = "git+https://github.com/godunko/a0b-stm32g474.git"
+35
View File
@@ -0,0 +1,35 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.1.0"
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = "*"
gnatcoll = "*"
vss = "*"
[origin]
commit = "39e79120e51c646cd330e77cc38f359b81ee6194"
url = "git+https://github.com/godunko/a0b-tools.git"
+42
View File
@@ -0,0 +1,42 @@
name = "a0b_tools"
description = "A0B Tools: Runtime Generator"
website = "https://github.com/godunko/a0b-tools"
version = "0.2.0"
long-description = """
The primary tool in this crate is the `a0b-runtime` generator.
While GNAT provides several standard runtimes (such as `light`, `light-tasking`, and `embedded`), these can be difficult to customize for specific project requirements.
`a0b-tools` solves this by allowing developers to generate a tailored, project-specific runtime from a single configuration file.
It also enables the creation of runtimes for hardware platforms and MCUs that do not have prebuilt GNAT runtimes available, providing full control over startup code, linker scripts, and Ada library components.
"""
authors = ["Vadim Godunko"]
maintainers = ["Vadim Godunko <vgodunko@gmail.com>"]
maintainers-logins = ["godunko"]
licenses = "GPL-3.0-or-later"
project-files=["gnat/a0b_tools.gpr"]
executables=["a0b-runtime"]
auto-gpr-with=false
tags = ["a0b", "tools", "runtime"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[environment]
PATH.append = "${CRATE_ROOT}/bin"
[[depends-on]]
a0b_base = "*"
gnat = ">=15"
gnatcoll = "^25"
vss_text = "*"
vss_extra = "*"
[origin]
commit = "3ea7bd72f3de2f9f2664498c1d7a76b655a91095"
url = "git+https://github.com/godunko/a0b-tools.git"
@@ -0,0 +1,34 @@
name = "aarch64_baremetal_ada"
description = "AArch64 Baremetal Ada"
version = "1.0.0"
licenses = "Apache-2.0"
website = "https://github.com/jgrivera67/aarch64_bare_metal_ada"
tags = ["aarch64"]
authors = ["J. German Rivera"]
maintainers = ["J. German Rivera <jgrivera67@gmail.com>"]
maintainers-logins = ["jgrivera67"]
[[depends-on]]
gnat_aarch64_elf = "*"
gprbuild = "*" # needed by alire-index CI builds
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=yes"]
directory = "embedded_apps/aarch64_hello_ada"
[[actions]]
type = "test"
command = ["alr", "build", "--" ,"-XBoard=rpi5", "-XUart_Boot=no"]
directory = "embedded_apps/uart_boot_loader_server"
[[actions]]
type = "test"
command = ["alr", "build"]
directory = "host_apps/uart_boot_loader_client"
[origin]
commit = "c9dfeb0b44bc468276fd8da4ece67bb5a425761c"
url = "git+https://github.com/jgrivera67/aarch64_bare_metal_ada.git"
@@ -0,0 +1,33 @@
description = "An implementation of the Microsoft's Language Server Protocol for Ada"
name = "ada_language_server"
version = "26.0.0"
website = "https://github.com/AdaCore/ada_language_server"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/lsp_server.gpr"]
tags = ["lsp", "vscode"]
[configuration]
disabled = true
[environment]
ADA_PROJECT_PATH.set= "${CRATE_ROOT}/subprojects/stubs"
[[depends-on]]
gnatcoll = "26.0.0"
libadalang = "26.0.0"
libadalang_tools = "26.0.0"
libgnatdoc = "26.0.0"
libgnatformat = "26.0.0"
liblal_refactor = "26.0.0"
prettier_ada = "26.0.0"
vss_text = "26.0.0"
vss_extra = "26.0.0"
spawn = "26.0.0"
xdiff = "26.0.0"
[origin]
url="https://github.com/AdaCore/ada_language_server/archive/v26.0.0/ada_language_server-26.0.0.zip"
hashes=['sha512:46c28e2cda46426189a2278fcac6f74f11a8eaad58e8a7d7fa6233a80168e07e9625aa4e9ad32fc288c1c37ebed45f1a12e9c6733aa6b6abc5912fe5a01a55dc']
@@ -0,0 +1,24 @@
name = "ada_sqlite3"
description = "Sqlite3 bindings for Ada with embedded SQLite engine"
version = "0.1.1"
authors = ["Garret Noble"]
maintainers = ["Garret Noble <garretnoble@gmail.com>"]
maintainers-logins = ["gtnoble"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/gtnoble/ada-sqlite3"
tags = ["sqlite", "database", "sql", "embedded"]
[build-switches]
"*".compile_checks = ["-gnatwa", "-gnatVa", "-gnatQ"]
"*".style_checks = []
"*".ada_version = "ada12"
"*".contracts = ["-gnata"]
"*".runtime_checks = ["-gnato"]
"*".debug_info = ["-g"]
"*".optimization = ["-O2"]
[origin]
commit = "2edbcebd7cd03757fb9e9c1801977283cf384500"
url = "git+https://github.com/gtnoble/ada-sqlite3.git"
+23
View File
@@ -0,0 +1,23 @@
name = "adabots"
description = "Learn Ada by programming Minecraft robots"
version = "2.1.0"
website = "adabots.net"
authors = ["Tama McGlinn"]
maintainers = ["Tama McGlinn <t.mcglinn@gmail.com>"]
maintainers-logins = ["TamaMcGlinn"]
licenses = "MIT"
project-files = ["adabots.gpr"]
tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]
[[depends-on]]
utilada_curl = "^2.5.0"
[[depends-on]]
json = "^5.0.3"
[origin]
commit = "a16786ccff74a85e2bf8c3a5511b01e6fa13d3a3"
url = "git+https://github.com/TamaMcGlinn/adabots.git"
+83
View File
@@ -0,0 +1,83 @@
name = "adacl"
description = "Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)"
long-description = """A class library for Ada for those who like OO programming.
Currently the following functionality is migrated to Ada 2022:
* Getopt commandline argument parser - with wide character support.
* String utilities - with wide character support.
* Calendar utilities - with wide character support.
* Trace utility - with wide character support.
* Protected queue - with finish, wait for finish and abort support.
* Smart pointer
* Reference counted
* Unique pointer
* Shared pointer
* AUnit compatible informative asserts
* generic for access types
* generic for arrays types
* generic for discrete types
* generic for floating point types
* generic for fixed point types
* generic for decimal fixed point types
* generic for vector types
* AUnit parameter
* Call one test with multipe input and expected values
See [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html) for details.
Development versions and testsuite available using the follwowing index:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code and testsuite available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^15.1"
aunit = "25.0.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:9723c4cbd36b390208aee3740bba11c3af47739ad8481b61b015bd02acd511bb",
"sha512:39b265ab90770b076856d7da8afc9ed3a776d224bf21444f5812cf35dc480345e84999e46eb12472d899a5f950b2cdec4114ecff44dbbde3d9247db199feadde",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.1.tgz"
+74
View File
@@ -0,0 +1,74 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
gnat = "^15.1"
gprbuild = "^25.0"
# [[actions]]
# type = "test"
# command = ["alr", "run"]
# directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:82cf7321a2485a7d83fe4a070e9611b5417f1c2333e6e4c067f047ca152f86f4",
"sha512:71e6740f9f480325b4019950d79d3ed0042c564512015d04ba33acdee5927e03959c3e6eeac9020692df3f367bd4b86cbd0882fb9aa5c2bb2c8035e19c0447e1",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.2.2.tgz"
+67
View File
@@ -0,0 +1,67 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:632f80664d28d9a84919e1c9787af7978469cbfe0d8f45d22d6b9370051cb429",
"sha512:78e67a9ad7f4927343afe0e281d6d1c4ec9f6b3baad5168a6a796ca4282183314dd919a9a28e54565a0e151de9a733dfcb75a036179d8ed6dc800be907bf8821",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-6.3.0.tgz"
+67
View File
@@ -0,0 +1,67 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
- AUnit-Compatible Assertions:
- Generic for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- AUnit Parameter: Run tests with multiple inputs and expected values
Related crates:
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
aunit = "25.0.0"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:24e84438002c6f4ed176692f2347415e1a422f29c73d9fea3df004c7db8e1f11",
"sha512:439d7bd39f351c82313d5b3223d7a6b65e49c5d7d8d034450ddc127e04681136d50541239a03a2a201fcc321721f7321da038f513574e3b5a90b0972bc73d700",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.0.0.tgz"
+62
View File
@@ -0,0 +1,62 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6737d96693a295102c8f6c6f3c35c1379ecb0faff67b01f19df330625f4ddc5a",
"sha512:61286ca6c52e280791780226f7813161f22829ade08f9a88651a48c9ea4e59c31dcc4821e2190a198ee2deac2cdbd187b306ade4c2171e536f4c9ef49a83df06",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.0.1.tgz"
+62
View File
@@ -0,0 +1,62 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:75293ae0e9c80dd0f428c4677d817eb4145f310a4fc83ce440649ee9e473f184",
"sha512:861e982747347dc2fd10d5aa287a95783cd2b9343cd011a0d8fa88d7e10543f3b18760506f40e9c7fc99f85692c44595de54d013b58184aa69b9ff7ccea19818",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.0.tgz"
+61
View File
@@ -0,0 +1,61 @@
name = "adacl"
description = "Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt"
long-description = """A versatile Ada 2022 class library for robust application development.
Features:
- Getopt: Command-line argument parser with wide character support
- Strings: Utilities for String, Wide_String, and Wide_Wide_String
- Calendar: Time and date utilities with wide character support
- Tracing: Diagnostic trace utility with wide character support
- Protected Queue: Supports finish, wait, and abort operations
- Smart Pointers:
- Reference-counted pointers
- Unique pointers (C++-style)
- Shared pointers (C++-style)
Related crates:
- AUnit: AUnit-Compatible Assertions for access, array, discrete, floating-point, fixed-point, decimal, and vector types
- EAStrings: Encoding-aware string utilities
- RegEx: SPITBOL-inspired pattern matching and regular expressions for String, Wide_String, and Wide_Wide_String
- SAR: Text search and replace for String, Wide_String, and Wide_Wide_String
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "command-line", "trace", "logging", "string", "aunit", "assert", "container", "smart-pointer", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:f164e66e7ab67aba80a4947feccd1012b1ab7d5a94584fd73884851e5daaca41",
"sha512:5ba56c74a14149e264b8dcc0c0b85a36d08adc929a464e2ca792bce5b675c562acbe18c01b7a9e515a05c0f4a821d71197117e49471351bef1b1da7f6dc9c008",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.2.tgz"
+102
View File
@@ -0,0 +1,102 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
[origin]
hashes = [
"sha256:4b06f31a213ba388117a0c31b6492ddebb2546966824c6e5a8c9b293877da813",
"sha512:abd9381fad4411b2a22224a7ff065ca04a6097f05fbe42401cc1b9a8653e09dfd0ca786818218666f24164c70b36776caea97b750b97d8af399256961ceb7413",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.0.0.tgz"
+109
View File
@@ -0,0 +1,109 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:ebfefd3e7f69834409b1f2215dcede0772feaad9f41c477c4fde55cf17eede26",
"sha512:db9a7cc4ffb7e773e074466fd65cd2520d9f9b6164fe5b016feaa6410e3a610363871297caf8bde90fa3cce9848daa0f44eec7c321cd5a5e02970bf9123241d5",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.0.1.tgz"
+109
View File
@@ -0,0 +1,109 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
aunit = "25.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:ba1b4d8f92e4de8447de7a6bf16d17005fcdabf2717984a43d8c456c3f4b3b29",
"sha512:8e84182b0691de025bbee5e4ebeb35df1654f27b042b51d2b6cd3fb291b62b2d1102fdd76d0b02c912d63ce0ba8bf03b0f71e1a3329e5dc88456b0b1edf9e0c1",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.0.tgz"
+109
View File
@@ -0,0 +1,109 @@
name = "adacl_aunit"
description = "Ada 2022 AUnit with readable asserts & paramerised test"
long-description = """A versatile Ada 2022 testing library, enhancing AUnit with readable assertions and parameterised tests.
## Features
### AUnit-Compatible Assertions
- Generic support for access, array, discrete, floating-point, fixed-point, decimal, vector types, and files.
- **Readable Error Messages**: Assertions provide detailed feedback.
Example for unbounded strings:
```ada
procedure Equal
(Actual : Ada.Strings.Unbounded.Unbounded_String;
Expected : String;
Name : String;
Source : String := GNAT.Source_Info.File;
Line : Natural := GNAT.Source_Info.Line)
is
use Ada.Strings.Unbounded;
begin
if not (Actual = Expected) then
Report_Assertion
(Message => "In string «" & Name & "» the " & Actual'Image & " is not equal to " & Expected'Image,
Source => Source,
Line => Line);
end if;
end Equal;
```
This yields clear, context-rich error messages, surpassing standard AUnit
output.
## Parameterised Tests
Run the same test with varied inputs and expected values, boosting coverage
efficiently.
Example from hp41cx_tools:
```ada
overriding procedure Register_Tests (T : in out Test_Case) is
pragma Debug (AdaCL.Trace.Entering (In_Parameter => T.Name.all'Image));
begin
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "WAKE_UP", "2024-12-01 08:00:00", [3, 9, 4, 2, 0, 2, 8, 8, 0, 0, 0], 3942028800.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "^LBLTEST", "2025-07-22 12:00:00", [3, 9, 6, 2, 1, 7, 4, 4, 0, 0, 0], 3962174400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "TONE", "2025-11-12 09:12:34", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 0], 3971927554.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "FRACTION", "2025-11-12 09:12:34.5", [3, 9, 7, 1, 9, 2, 7, 5, 5, 4, 5], 3971927554.5);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT24", "24:00:00", [0, 0, 0, 0, 0, 8, 6, 4, 0, 0, 0], 0000086400.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'First", "0000:00:01.0", [0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0], 0000000010.0);
T.Parameter.Register_Routine (T, Test_To_HP_Duration_01'Access, "REPEAT'Last", "9999:59:59.9", [0, 0, 3, 5, 9, 9, 9, 9, 9, 9, 9], 0035999999.9);
pragma Debug (AdaCL.Trace.Exiting);
return;
end Register_Tests;
```
Registering tests multiple times with different data enhances test coverage
without redundant code.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_aunit/test/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_aunit_test/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl_aunit/"
tags = ["library", "aunit", "assert", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
aunit = "^26.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:26ea0bad6222af3bed97456328d75ae292e37de7939e2f948b58ce1f613f10e7",
"sha512:0fa1159df8cbadba08eab8c474ac8d252d2f6513530d2030d321abda32fe71ee3fbd6fe28ed369e7c4e1070862e1133c8380191259e8af12d0274f7b04ca643f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-7.1.2.tgz"
@@ -0,0 +1,61 @@
name = "adacl_eastrings"
description = "Ada Class Library - EAStrings"
long-description = """A class library for Ada for those who like OO programming.
Encoding aware strings.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"BjÃrn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat = "^15.1"
adacl = "^6.2.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:80208501ad831e5bcb7a042ef584b511e2079d2b38d4e3fb0a39da46247efda2",
"sha512:2e31b8b0eed505a85beb56eefdb469415779e12e754ce87d8664c67dad5b1280f27a401e7ae5a5f0b0a3b6d40dede8e1b93f241fa4abfdd31726ed99a94f2d39",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.1.tgz"
@@ -0,0 +1,66 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:6c023b2821816a15aaf2fe106766c223364e094deb9d43534ddac148e5468610",
"sha512:eb94ed4e05d09f3cc6a8245be95eeb84b7725c38c5cfeaab860b560ef4fe89477946b2d993508488421af4a9eaa88d3f7208ab591f84188f2d16af28fa85412f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.2.2.tgz"
@@ -0,0 +1,64 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:8ec7facdaa9dd77cf95a5fe959a26540998b0be5c49dfeb57cb6efed8174f1f7",
"sha512:5f4ae9bfc9473ce6a329354f612a7988f6bc2af83b54af38f70399dff97f592caecc705d8f72ec1537cc84adec6e139a358bb9461fbdcc835d8f9667f7ce7e60",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-6.3.0.tgz"
@@ -0,0 +1,64 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:fa8bce5a25dbaf8589dff2523d57e2b39ea8e2bbcf8641ec80ddeaa564936905",
"sha512:18a4dbd59da585c9daf6a979b7ed8a9fe4cda2dfcbbb9a8102a2e8cef1e7f79b0870efbf7da7a101651e41a9276ec44b702f0c18670af2ae2df8e029fca3b219",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.0.0.tgz"
@@ -0,0 +1,70 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:91b30d7d34c15362e8d61fa9ccff9cc8da2299fe9368a284480c8d9312ce0ed1",
"sha512:89f4e17e86113aa0b4e014cb68f6e60c53d92636e38402eeacbc44031f585c37c2277b45bfca64704142dff09160f6b17ea8517445b4633135639e8c201aa622",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.0.1.tgz"
@@ -0,0 +1,70 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:82fb6e4564cda85581ca776ea7dc83b1b0cc94a3df6b7ac7c3718ee9f5195dc4",
"sha512:7a2a7c47e746a788b40c7b0b8975fb6d35f7afaf0c8fead027f5fac95b502a3f245764f679108f58d912320edc6a6c4dc100be8ee49a6b241a0786efc1f561b7",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.0.tgz"
@@ -0,0 +1,70 @@
name = "adacl_eastrings"
description = "AdaCL: Encoding-Aware String Utilities"
long-description = """Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
Supports text processing with the following encodings:
- Universal Character Set 4, Big-Endian (UCS-4 BE)
- Universal Character Set 4, Little-Endian (UCS-4 LE)
- Universal Character Set 2, Big-Endian (UCS-2 BE)
- Universal Character Set 2, Little-Endian (UCS-2 LE)
- Unicode Transformation Format 16, Big-Endian (UTF-16 BE)
- Unicode Transformation Format 16, Little-Endian (UTF-16 LE)
- Unicode Transformation Format 8 (UTF-8)
- American Standard Code for Information Interchange (ASCII)
- ISO/IEC 8859-1 (Latin-1)
- Code Page 850 (DOS Latin-1)
- Windows Code Page 1252
Additional features:
- Text I/O for encoding-aware input/output
- Basic command-line parsing for internationalized text
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_eastrings/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_eastrings/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>" ,"Björn Persson <rombobeorn@users.sourceforge.net>"]
maintainers-logins = ["krischik", "rombobeorn"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "i18n", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6bb988d2cb432befb802f7f026b0381f5621b73339b270351f9cba169d1c9493",
"sha512:92a0af84f6133f80f1da80905bf6e73f4e91a2c9c8c6f4418d12a75f93a62be1b1d0946011bd0e425356314dfbc41a16bb7bb128abcc94b149ca122f39ce881e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_eastrings-7.1.2.tgz"
@@ -0,0 +1,77 @@
name = "adacl_embedded"
description = "Ada Embedded Library"
long-description = """
## AdaCL Embedded - Lightweight Embedded Ada Library
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
strings, and wide strings are avoided or kept to an absolute minimum.
### Current Features
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
### Configuration Options
* `Variant`
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
* `tasking` - for runtimes with tasking support.
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
etc.pp).
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
completely.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
"""
version = "7.1.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[configuration.variables]
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:4feddadbc5e900b65ccfa3bed4a4becb9afb9cc89ac3d865e0ea0ecf9477eee6",
"sha512:e611feee8b969e7bf3ca61033a70660ae389f06264ed94027d5d12a55ded8f2e9f44088155740182e627431f12b66753745faba18016f431490ce64f6868e43b",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.1.tgz"
@@ -0,0 +1,76 @@
name = "adacl_embedded"
description = "Ada Embedded Library"
long-description = """## AdaCL Embedded - Lightweight Embedded Ada Library
AdaCL-Embedded focuses on embedded and real-time programming on the Raspberry Pi and similar platforms.
It favours predictability, minimal runtime overhead, and static data structures. Object-oriented programming, unbounded
strings, and wide strings are avoided or kept to an absolute minimum.
### Current Features
* **AdaCL.Embedded.Trace** - Interrupt-safe, lightweight tracing facility using a ring buffer.
* **AdaCL.Embedded.Text_IO** - Extended Ada.Text_IO.
### Configuration Options
* `Variant`
* `no_tasking` - for the lightest runtimes (no protected objects). Also works well with interrupt-driven runtimes.
* `tasking` - for runtimes with tasking support.
* `Event_Log_Buffer_Length` - maximum length of each trace line (default: 200, min: 1, max: 1024)
* `Event_Log_Buffer_Size` - number of entries in the ring buffer (default: 0, max: 1024, min: 0 (buffer disabled))
A text length of 200 is the standart minimum used in the Ada Standart (i.E. `Ada.Text_IO.Get_Line`, exception messages,
etc.pp).
Memory needed is approximately `(Event_Log_Buffer_Length + 4) * Event_Log_Buffer_Size` bytes, plus some overhead for the
buffer management. For example: 1024 buffer size with 200 line lenght is about the maximum size that can be used with
the static memory of Raspberry Pi Pico. The buffer size can be set to 0 to disable the trace buffer and the related code
completely.
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl-embedded/src/)
Documentation: [GNATdoc](https://adacl-embedded.sourceforge.net/gnatdoc/adael/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "embedded", "trace", "logging", "raspberry-pi", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[configuration.variables]
Variant = {type = "Enum", values = ["tasking", "no_tasking"], default = "no_tasking" }
Event_Log_Buffer_Length = {type = "Integer", first = 1, last = 1024, default = 200 }
Event_Log_Buffer_Size = {type = "Integer", first = 0, last = 1024, default = 0 }
# vim: set textwidth=120 wrap tabstop=8 shiftwidth=4 softtabstop=4 noexpandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:fe91db4f952655498fd733d3f4132d55f33e5286a296c1e9b9a62d03afa98d6c",
"sha512:a0fc7fe07d29e8e26d2a16f8664297d1359be2ea4a0ba6d9dd9944162dea1f6b220263133707a52e305a0c7026f4824ac5c6167a96e70946249f7412fdc16279",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_embedded-7.1.2.tgz"
@@ -0,0 +1,54 @@
name = "adacl_regexp"
description = "Ada Class Library - Regular Expressions"
long-description = """A class library for Ada for those who like OO programming.
Regular expression for String, Wide_String and Wide_Wide_Strings using a
generic implementation that could be used for any array of descreete elements.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^14.2"
adacl = "6.2.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:d25d08b193d4e5f93b2c67c39dd54dfaccc24eb4a0bdb92466a5e8a3d40d4721",
"sha512:427e5ab1c579b63b822d81e55a3e25c0a3106a9406d3981e5cf19ffeb83854632e2b7b6418cdc39ad258ef0e064be2b925a348282fedb6c39c2e53129749458d",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.1.tgz"
@@ -0,0 +1,58 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:50a9770f9202f0192049ce13870c5f3d11e01f3eab3c0085ebe5a500fad53fa1",
"sha512:49c74a4ebd46158a58672f7d3a2bf004a120d8a368bfc69041d35d8c03db3344e5c419ee36ba07f03f0e0f575313d3331bb604cf5d16e8bbe50316e0ef4bd72f",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.2.tgz"
@@ -0,0 +1,56 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:d1f82aba41f039402e75c68efe90c4e3def0eda6ffee1feda7c46ebbf29d2f1b",
"sha512:f865f1b142baabe82c3d178e27015d6671affa477348a38f19bc99c5a747e9de89d94e750f7125e2eec9536b0e994b5c9cd40294b61d875d0f321e8ad7c963c6",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.3.0.tgz"
@@ -0,0 +1,56 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:3418a3cceef67322148028ac2196ce6aeb4d10d24f41a1d39bccb0a13c5e6834",
"sha512:e6732d51dc2ffcaae19f4687673f8fb176fe7f638045bfb225fca4f7fe85c7c08446439070e3b170c029dc7a6668cde7f8b61c9c8867459cd0f79ffbc15e9e77",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.0.0.tgz"
@@ -0,0 +1,62 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:9309c3cb5b40b8a51a8891c21c4865584fd0de4cb59a51fbf8ea947b50a3dc98",
"sha512:4fd99be1dbb86996721bdc3ea8d89a426b32f5fb06a7976bf5c9b34320147f1374ce512e8739dea1854bed94cd5bcb18e3abf6cd62049b0e7a9d7100d52d44fd",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.0.1.tgz"
@@ -0,0 +1,62 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:666d1d77d3c60d9de789c0e185fc14e2ed1d0637dfac8d3733d9baeb86cfe871",
"sha512:ed7e1d537edf6013a37126ae7973f2f6d483c73733362f8e49fe02af945864f55590d6439c2ca8435b809da0ecc613eaccd95e49e6a53fbe364bb8523965c993",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.0.tgz"
@@ -0,0 +1,62 @@
name = "adacl_regexp"
description = "AdaCL: Regex and SPITBOL Patterns with Wide Character Support"
long-description = """Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Features:
- Regular Expressions:
- Generic implementation for any discrete element array
- Instantiations for String, Wide_String, and Wide_Wide_String
- SPITBOL Patterns:
- Pattern construction and matching, inspired by Macro-SPITBOL (Robert Dewar)
- Supports String, Wide_String, and Wide_Wide_String
- Forked from GNAT.Regexp and GNAT.Spitbol with enhanced wide and wide-wide character support
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_regexp/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_regexp/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:33dc6d3df5198bfbeae063f6c1d239feb71a512485b29afe716475c3984b8bd9",
"sha512:52ce5fa534742a653a96ca0077555b6d64d9301affeee39d4d0637cf8fcfcb401714dbd9478a837a698d63f50a1a96315ad0a5b640e0a988140d9556f07618a0",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-7.1.2.tgz"
+66
View File
@@ -0,0 +1,66 @@
name = "adacl_sar"
description = "Ada Class Library - Search and Replace"
long-description = """A class library for Ada for those who like OO programming.
Search and Replace for text. This libary performs tranformations on text data
stored in a string vectors. The transformation instructions are also stored in vector
so multiple transformations can be performed in one go.
Each tranformations instructions is performed using a tagged type allowing the user to develop
abritrary complex operatations.
Development versions available with:
```sh
alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik
```
Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git)
"""
version = "6.2.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
gnat_native = "^15.1"
adacl = "^6.2.1"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:493deabe54c73f6e9e9a9be998a23f0739c7b953b6981f0ab07c3c65b4ffb69f",
"sha512:ee33bb2cc6a45b9ea82f0562345fdb3873461e3fe779122cc64f4cf670d5eb3e7733b0f9f76ac6bfcbc3f98aacc916038f7a457261272e127aa9f25d0fde94cb",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.2.1.tgz"
+57
View File
@@ -0,0 +1,57 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "6.2.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.2.2"
gnat = "^15.1"
gprbuild = "^25.0"
[origin]
hashes = [
"sha256:83f803a1430ee961173bb5d7059f17a4baa2a567bad935cba11445eaaf0715a8",
"sha512:09d3bcf8a15809a4101886d2ff45bca5073914bcb4e883952b3daf5a58eb78369a395e3e70351b1ef7e48631460b3ff382274c0da8d584059f786143db052336",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.2.2.tgz"
+55
View File
@@ -0,0 +1,55 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "6.3.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[origin]
hashes = [
"sha256:e62c9e2b5bbaa985e8efddc847d55929b7e2855e28a51156fe93a58b66096772",
"sha512:ab35ddc84829958991a5cfb29ed6e2a08b8ffb2be561494f2af3293cddc15b0305cae5393d6ce731f28957503577a77f59515e7d76347cb83c45a8a7ce6b2a60",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-6.3.0.tgz"
+55
View File
@@ -0,0 +1,55 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.0.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
[origin]
hashes = [
"sha256:c9259a7505db8438d1717657b805a79c1a8aec64b795285f36799373aaf2598b",
"sha512:a2f9a4b0b997022f9f21276bea459bb0e610f4ab428719bbf0336e64590bb2f0e40f9fa4423465dca7ed947057dbef66c5456b5baf745b9861a8a62e25176836",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.0.0.tgz"
+61
View File
@@ -0,0 +1,61 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.0.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:6a589f6739d492ef98839544c8edd1e2b90013146773c1ffeee8af87b80672a7",
"sha512:d9a24d1a19af7bd05d42a54b6e359a2991ebe9d8a273a4842aa3cc6ce095050e7159656b400679f972fe87c36d689d672020f00409fad46ff9b20abc26cb0d91",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.0.1.tgz"
+61
View File
@@ -0,0 +1,61 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.1.0"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.0.0"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:e166fae7c4f82734d550b5ff358c9cd1d765303ddebeb6d35e9dc9a36f3b7ae3",
"sha512:8bb50b515b36c4f9be8fea461cc58ce7058dd71a631f8007becff9e15d8466dc7a4cb9557334dc17c64e06667bd8a2f568ccc6029dee6278cdbae2b34f459c0e",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.0.tgz"
+61
View File
@@ -0,0 +1,61 @@
name = "adacl_sar"
description = "AdaCL: Search and Replace with Wide/Wide-Wide Support"
long-description = """Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Features:
- Load, transform, and store text
- Vector-based text transformations for efficient processing
- Supports standard, wide, and wide-wide characters for internationalisation
- Embedded transformations for internal text processing
- Extensible transformations via tagged types for complex operations
- Integrates with the Ada Class Library (AdaCL) for robust text handling
Licensed under GPL-3.0-or-later. Integrates with the Ada Class Library (AdaCL).
Source: [SourceForge](https://sourceforge.net/p/adacl/git/ci/master/tree/adacl_sar/src/)
Documentation: [GNATdoc](https://adacl.sourceforge.net/gnatdoc/adacl_sar/index.html)
"""
version = "7.1.2"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://sourceforge.net/projects/adacl/"
tags = ["library", "strings", "search", "replace", "ada2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^7.1"
# [[pins]]
# adacl = { path = "../adacl" }
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:dff0c40c7c1685dc75bd20a80f21c4d07448d29d3a00f8fc219a828a1a45b122",
"sha512:df7f487cca52ba81f34c414be35a8c3bd7c0b007b245ecfa2c85c1108fc41c33e2e05b341334cc8bc5c779bcbbc6c47602824a9e061aad1dc5d541cefbcca7a6",
]
url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-7.1.2.tgz"
+26
View File
@@ -0,0 +1,26 @@
name = "adamodbus"
description = "SPARK-verified Ada 2022 Modbus library with SunSpec support and C API"
version = "1.0.1"
licenses = "MIT"
authors = ["Florian Fischer <florian.j.a.fischer@icloud.com>"]
maintainers = ["Florian Fischer <florian.j.a.fischer@icloud.com>"]
maintainers-logins = ["flottokarotto"]
website = "https://github.com/flottokarotto/AdaModbus"
tags = ["modbus", "embedded", "protocol", "serial", "tcp", "spark", "industrial", "sunspec", "energy", "solar"]
[gpr-externals]
ADAMODBUS_BUILD_MODE = ["debug", "release"]
[[depends-on]]
gnat = ">=12"
[[depends-on]]
aunit = "^26.0.0"
[origin]
url = "https://github.com/flottokarotto/AdaModbus/archive/refs/tags/v1.0.1.tar.gz"
hashes = [
"sha256:760faf5a96365d6f8917a658bfc045e31f0bed0d492f4da6e85c034bd14525d9",
"sha512:123714988d7db41c7431acb1c004171e5b96536a7aee0cd2e51eb7d8475b2e71b0d71edcdddc95351fda4e821cd3557a4a42917e2157860a5e777db87a363f53"
]
+35
View File
@@ -0,0 +1,35 @@
name = "adasat"
description = "Implementation of a DPLL-based SAT solver in Ada."
long-description = """
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
"""
version = "26.0.0"
website = "https://github.com/AdaCore/adasat"
authors = ["AdaCore"]
licenses = "Apache-2.0 WITH LLVM-exception"
maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"]
maintainers-logins = ["chouteau", "roldak", "AldanTanneo"]
tags = ["sat", "solver", "theories"]
[configuration]
disabled = true
[gpr-externals]
ADASAT_BUILD_MODE = ["dev", "prod", "prof"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/external ("ADASAT_BUILD_MODE", "dev")/external ("ADASAT_BUILD_MODE", "prod")/', "adasat.gpr"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/, "-flto");/);/', "adasat.gpr"]
[origin]
url="https://github.com/AdaCore/AdaSAT/archive/refs/tags/v26.0.0.zip"
hashes=['sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9']
@@ -0,0 +1,38 @@
description = "Middleware layer of the Ada Drivers Library project"
long-description = '''# adl_middleware
Middleware layer of the Ada Drivers Library project.
This crate is a snapshot of the `middleware` of [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "adl_middleware"
version = "0.4.0"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["adl_middleware.gpr"]
tags = ["embedded", "nostd", "fat", "bitmap"]
[[depends-on]]
hal = "^1.0.0"
[build-switches]
"*".style_checks = "no"
[configuration.variables]
Max_Mount_Points = {type = "integer", first = 1, default = 2}
Max_Mount_Name_Length = {type = "integer", first = 1, default = 128}
Max_Path_Length = {type = "integer", first = 1, default = 1024}
[origin]
commit = "aadd86ce7adff45862a329ee8252ad13ba6e0856"
url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git"
+62
View File
@@ -0,0 +1,62 @@
description = "Ada Database Objects (Core library)"
tags = ["database", "uml", "sql"]
name = "ado"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
Ada Database Objects is an Ada05 library that provides
object relational mapping to access a database in Ada05.
The library supports Postgresql, MySQL, SQLite as databases.
Most of the concepts developped for ADO come from the Java Hibernate ORM.
The ORM uses an YAML, XML mapping file or an UML model, a code generator and a runtime library
for the implementation. It provides a database driver for [Postgresql](https://www.postgresql.org/),
[MySQL](https://www.mysql.com/), [SQLite](https://www.sqlite.org/) or
[SQLCipher](https://www.zetetic.net/sqlcipher/). The ORM helps your
application by providing a mapping of your database tables directly in the target programming
language: Ada05 in our case. The development process is the following:
* You design your database model either using a UML tool or by writing a YAML or XML description,
* You generate the Ada05 mapping files by using the [Dynamo](https://github.com/stcarrez/dynamo) code generator,
* You generate the SQL database tables by using the same tool,
* You write your application on top of the generated code that gives you direct and simplified access to your database.
![ADO Development model](https://github.com/stcarrez/ada-ado/wiki/images/ado-orm.png)
You need at least one of these databases (or all of then). The configure script will now
fail if no supported database was found. Check the [Database Drivers](#database-drivers)
section to install them and run the configure again after the installation.
# Documentation
* [Ada Database Objects Programmer's Guide](https://ada-ado.readthedocs.io/en/latest/)
* [Persistence with Ada Database Objects](https://fr.slideshare.net/StephaneCarrez1/persistence-with-ada-database-objects-ado) FOSDEM 2019
"""
[[depends-on]]
utilada = "^2.8.0"
utilada_xml = "^2.8.0"
[gpr-externals]
ADO_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
ADO_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+41
View File
@@ -0,0 +1,41 @@
description = "Ada Database Objects (All drivers)"
tags = ["database", "uml", "sql", "mysql", "mariadb", "sqlite", "postgresql"]
name = "ado_all"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_all.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This crate give access to the PostgreSQL, MySQL and SQLite drivers for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.5.0"
[configuration]
disabled = true
[[actions]]
type = "post-fetch"
command = ["sh", "./alire-setup.sh"]
[[actions]]
type = "pre-build"
command = ["sh", "./alire-setup.sh"]
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./drivers/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+38
View File
@@ -0,0 +1,38 @@
description = "Ada Database Objects (Mysql)"
tags = ["database", "uml", "sql", "mysql", "mariadb"]
name = "ado_mysql"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_mysql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the MySQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.5.0"
libmariadb = "*"
[configuration]
disabled = true
[[actions]]
type = "pre-build"
command = ["sh", "./alire-setup.sh"]
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./mysql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -0,0 +1,34 @@
description = "Ada Database Objects (PostgreSQL)"
tags = ["database", "uml", "sql", "postgresql"]
name = "ado_postgresql"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_postgresql.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the PostgreSQL driver for the Ada Database Objects library.
"""
[[depends-on]]
ado = "^2.5.0"
libpq = "*"
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./postgresql/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
+41
View File
@@ -0,0 +1,41 @@
description = "Ada Database Objects (SQLite)"
tags = ["database", "uml", "sql", "sqlite"]
name = "ado_sqlite"
version = "2.5.0"
licenses = "Apache-2.0"
authors = ["Stephane.Carrez@gmail.com"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["ado_sqlite.gpr"]
website = "https://gitlab.com/stcarrez/ada-ado"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-ado/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-ado/summary)
[![Documentation Status](https://readthedocs.org/projects/ada-ado/badge/?version=latest)](https://ada-ado.readthedocs.io/en/latest/?badge=latest)
This is the SQLite or SQLCipher driver for the Ada Database Objects library.
The choice between SQLite and SQLCipher is controlled by the `ADO_USE_SQLCIPHER` gpr external variable.
Use `-XADO_USE_SQLCIPHER=yes` if you want to use the SQLCipher support. The database encryption key
is configured by using a `pragma key`.
"""
[[depends-on]]
ado = "^2.5.0"
libsqlite3 = "any"
[gpr-externals]
ADO_USE_SQLCIPHER = ["yes", "no"]
[configuration]
disabled = true
[origin]
commit = "9071ae7cb3a82085f7d59fc5a387c9e834a5dd69"
subdir = "./sqlite/"
url = "git+https://gitlab.com/stcarrez/ada-ado.git"
@@ -0,0 +1,20 @@
name = "aho_corasick"
description = "Aho-Corasick Implementation"
version = "0.2.0"
authors = ["docandrew"]
maintainers = ["docandrew <jonfandrew@fastmail.com>"]
maintainers-logins = ["docandrew"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = ""
tags = ["strings", "search", "matching", "intrusion", "aho-corasick"]
# project-files = ["aho_corasick.gpr", "sparklib.gpr"]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "e7132ae19b4ecc372ccff0a90a77582a9af7e3b3"
url = "git+https://github.com/docandrew/aho_corasick.git"
@@ -0,0 +1,20 @@
name = "aho_corasick"
description = "Aho-Corasick Implementation"
version = "0.3.0"
authors = ["docandrew"]
maintainers = ["docandrew <jonfandrew@fastmail.com>"]
maintainers-logins = ["docandrew"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = ""
tags = ["strings", "search", "matching", "intrusion", "aho-corasick"]
# project-files = ["aho_corasick.gpr", "sparklib.gpr"]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "fddeabadee10c6eb44bec7ea75d8e0e798237ed0"
url = "git+https://github.com/docandrew/aho_corasick.git"
+27
View File
@@ -0,0 +1,27 @@
name = "aion"
description = "Structured Asynchronous Runtime for Ada"
version = "1.0.0"
licenses = "MIT"
authors = ["Mahesh Chandra Teja Garnepudi", "Kairais Tech Solutions Pvt. Ltd."]
maintainers = ["Kairais Tech Solutions Pvt. Ltd. <maheshchandrateja@gmail.com>"]
maintainers-logins = ["MaheshChandraTeja"]
tags = ["async", "runtime", "concurrency", "networking", "ada", "futures", "reactor", "observability"]
project-files = ["aion.gpr"]
website = "https://www.kairais.com"
long-description = """
Aion is a structured asynchronous runtime for Ada, built for reliable
networking, deterministic concurrency, cancellation-safe tasks, futures,
timers, channels, supervision, observability, and production-grade systems
software.
"""
[build-switches]
"*".ada_version = "Ada12"
development.runtime_checks = "Everything"
validation.runtime_checks = "Everything"
release.optimization = ["-O2"]
[origin]
commit = "9a6f2dd913294de6df8ed23292375320e7df0e98"
url = "git+https://github.com/MaheshChandraTeja/Aion.git"
+95
View File
@@ -0,0 +1,95 @@
description = "Ada Keystore Tool"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-keystore/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-keystore/summary)
# Overview
AKT is a tool to store and protect your sensitive information and documents by
encrypting them in secure keystore (AES-256, HMAC-256).
Create the keystore and protect it with a gpg public key:
```
akt create secure.akt --gpg <keyid> ...
```
Store a small content:
```
akt set secure.akt bank.password 012345
```
Store files, directory or a tar file:
```
akt store secure.akt notes.txt
akt store secure.akt contract.doc
akt store secure.akt directory
tar czf - . | akt store secure.akt -- backup
```
Edit a content with your $EDITOR:
```
akt edit secure.akt bank.password
akt edit secure.akt notes.txt
```
Get a content:
```
akt get secure.akt bank.password
akt extract secure.akt contract.doc
akt extract secure.akt -- backup | tar xzf -
```
## Documents
* [Ada Keystore Guide](https://ada-keystore.readthedocs.io/en/latest/) [PDF](https://github.com/stcarrez/ada-keystore/blob/master/docs/keystore-book.pdf)
"""
name = "akt"
version = "1.4.2"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
tags = ["security", "storage", "nosql"]
website = "https://gitlab.com/stcarrez/ada-keystore"
[project-files.'case(os)']
linux = ["akt_fuse.gpr"]
macos = ["akt_nofuse.gpr"]
windows = ["akt_nofuse.gpr"]
'...' = ["akt_nofuse.gpr"]
[[actions]]
type = "post-fetch"
command = ["gnatprep", "-DPREFIX=\"/usr/local\"", "-DVERSION=\"1.4.2\"",
"src/akt-configs.gpb",
"src/akt-configs.ads"
]
[[depends-on]]
utilada = "^2.8.0"
keystoreada = "^1.4.0"
intl = "^1.0.1"
[depends-on.'case(os)'.linux]
ada_fuse = "*"
[gpr-externals]
KEYSTORE_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
KEYSTORE_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
MANPATH.prepend = "${CRATE_ROOT}/man"
[origin]
commit = "849b47b9db6cd8e99dca9a77b846baedd81bb2d0"
subdir = "./akt/"
url = "git+https://gitlab.com/stcarrez/ada-keystore.git"
+28
View File
@@ -0,0 +1,28 @@
description = "ALI_Parse - parsing and processing GNAT's .ali files"
name = "ali_parse"
version = "1.0.0"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/ali_parse/"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch"]
project-files = ["ali_parse.gpr"]
tags = ["webview"]
executables = ["gnathtml"]
long-description = """
ALI_Parse is a parser for the .ali files generated by the GNAT Ada compiler.
ALI means Ada Library Information.
You find the .ali files in the same directories as the object files (.o) containing the machine code produced by GNAT.
Currently, ALI_Parse is focused at cross-references within a set of Ada source files.
Two command-line tools using the parser are provided:
* GNATHTML, which generates a set of Web pages from Ada sources
* ALI_Stats, which shows the list of entities, the list of cross-references, the count of references to each entity and the list of files.
ALI_Parse is pure Ada 2012 and doesn't depend on any other resource.
"""
[origin]
url = "https://sourceforge.net/projects/ali-parse/files/ali-parse-v1.0.zip"
hashes = ["sha512:64e768d9e4cdd08402d072be32a4ca3be0247c45c2bcb10bcc4dd0fa7bc3d2b2de2d1636cafc063c36ec43729f986ab6813ba6f9735172a135400863dd7f8cae"]
+13
View File
@@ -0,0 +1,13 @@
name = "amqp"
version = "0.3.1"
description = "AMQP 0-9-1 client library for Ada"
website = "https://github.com/geewiz/amqp_ada"
authors = ["Jochen Lillich <contact@geewiz.dev>"]
maintainers = ["Jochen Lillich <contact@geewiz.dev>"]
maintainers-logins = ["geewiz"]
licenses = "Apache-2.0"
tags = ["amqp", "messaging", "rabbitmq", "protocol"]
[origin]
commit = "985b2735cbe25c3c3dd0d82fd959f719f627aba3"
url = "git+https://github.com/geewiz/amqp_ada.git"
+38
View File
@@ -0,0 +1,38 @@
name = "anteforth"
description = "A Forth virtual machine"
version = "0.1.0"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["forth","vm","spark"]
executables = ["anteforth"]
[build-switches]
Development.Debug_Info = "Yes"
Development.Contracts = "Yes"
Development.Runtime_Checks = [
"-gnato", # Enable numeric overflow checking;
"-fstack-check", # Stack overflow checking
"-gnatVa", # All validity checks
]
Release.Runtime_Checks = "None"
# "*".Compile_Checks = "Errors"
"*".Ada_Version = "Ada2022"
"*".Style_Checks = [
"-gnaty-d", # Disable no DOS line terminators
"-gnatyM200", # Maximum line length
"-gnatyO", # Overriding subprograms explicitly marked as such]
]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "7fa8dfcf0eef211c7ed3067147d3338063bf066c"
url = "git+https://github.com/pyjarrett/anteforth.git"
+38
View File
@@ -0,0 +1,38 @@
name = "anteforth"
description = "A Forth virtual machine"
version = "0.1.1"
authors = ["Paul Jarrett"]
maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
maintainers-logins = ["pyjarrett"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["forth","vm","spark"]
executables = ["anteforth"]
[build-switches]
Development.Debug_Info = "Yes"
Development.Contracts = "Yes"
Development.Runtime_Checks = [
"-gnato", # Enable numeric overflow checking;
"-fstack-check", # Stack overflow checking
"-gnatVa", # All validity checks
]
Release.Runtime_Checks = "None"
# "*".Compile_Checks = "Errors"
"*".Ada_Version = "Ada2022"
"*".Style_Checks = [
"-gnaty-d", # Disable no DOS line terminators
"-gnatyM200", # Maximum line length
"-gnatyO", # Overriding subprograms explicitly marked as such]
]
[[depends-on]]
gnatprove = "^15.1.0"
[origin]
commit = "6f6d3d289edb88d1ab361e0c4f5d2094491bb9e6"
url = "git+https://github.com/pyjarrett/anteforth.git"
+31
View File
@@ -0,0 +1,31 @@
name = "aor_jsona"
description = "Typed extraction from JSON payloads via path-based, indexed navigation"
version = "1.6.6"
authors = ["David Sauvage - AdaLabs Ltd"]
maintainers = ["David Sauvage - AdaLabs Ltd <david.sauvage@adalabs.com>"]
maintainers-logins = ["dsauvage"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
website = "https://gitlab.com/adalabs/aor_jsona"
tags = ["json","aor"]
project-files=["aor_jsona.gpr"]
[configuration]
generate_ada = false
generate_gpr = true
generate_c = false
[[depends-on]]
gnatcoll = "^25.0.0"
aws = "^25.2.0"
[[actions]]
type = "test"
directory = "tests"
command = ["alr", "run"]
[origin]
commit = "b47690c034f6370ff57558d1b8b946e61181247d"
url = "git+https://gitlab.com/adalabs/aor_jsona.git"
+56
View File
@@ -0,0 +1,56 @@
description = "Portable package for producing dynamically PDF documents"
name = "apdf"
version = "9.0.0"
authors = ["Gautier de Montmollin"]
website = "https://github.com/zertovitch/ada-pdf-writer"
licenses = "MIT"
maintainers = ["gdemont@hotmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_project_tree.gpr"]
executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"]
tags = ["pdf", "adobe", "acrobat"]
long-description = """
**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics.
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_delivery_m.png "Screenshot of a page produced by PDF_Out")
![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_sowebio_m.jpg "Screenshot of a report produced by PDF_Out")
* Ideal for the dynamic production of reports, invoices, tickets, labels, delivery notes, charts, maps etc.
* Vector graphics
* Inclusion of JPEG images
* Object oriented
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Unconditionally portable code: OS-, CPU-, compiler- independent code
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions
* *Free*, open-source
The creation of a PDF file is as simple as this small procedure:
```ada
with PDF_Out;
procedure Small_Demo is
pdf : PDF_Out.PDF_Out_File;
begin
pdf.Create ("small.pdf");
pdf.Put_Line ("This is a very small demo for PDF_Out...");
pdf.Close;
end Small_Demo;
```
"""
[gpr-externals]
PDF_Build_Mode = ["Debug", "Fast"]
[[depends-on]]
gid = ">=13.0.1"
[origin]
url = "https://sourceforge.net/projects/apdf/files/apdf_009.zip"
hashes = ["sha512:d62bdc1365f387a761de8eca59fbcb1b4757dea39b214592e2c8951edec0dcf826efa6c2b6b581059bf16ce23ba9f1779a9fe0dc0c12d471494a78a907df86db"]
+20
View File
@@ -0,0 +1,20 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.1.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "bfdf0c97d3dc26b807d5d0c84e00f1bd2ee2195b"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
+20
View File
@@ -0,0 +1,20 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.2.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = ""
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "2eca2bd969d3835ee12af74faeef8affcaff631c"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
+20
View File
@@ -0,0 +1,20 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.2.2"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "9a3e203c89ad145c41e4d4dc6c97578644605db2"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
+20
View File
@@ -0,0 +1,20 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.3.0"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/tree/master/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.1.0"
[origin]
commit = "f8d89b7e7fdeeeb2544b5716a4e2afee3a511d04"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
+20
View File
@@ -0,0 +1,20 @@
name = "astro"
description = "Library for astronomical calculations"
version = "1.4.1"
authors = ["Juan A. de la Puente"]
maintainers = ["Juan A. de la Puente <juan.de.la.puente@upm.es>"]
maintainers-logins = ["jpuente"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/jpuente/almanac/tree/master/astro"
tags = ["astronomy", "sun", "moon", "planets"]
[[ depends-on ]]
ephemeris = "~1.2.0"
[origin]
commit = "1e325c980699230765379fbdf0a57db1c14ddc44"
subdir = "./astro/"
url = "git+https://github.com/jpuente/almanac.git"
@@ -0,0 +1,85 @@
name = "atari_atr_tools"
description = "Cross-platform tool for ATR disk images for Atari 8-bit systems"
long-description = """Atari ATR Tools is a versatile, cross-platform utility written in Ada 2022 for managing ATR disk image files used by Atari 8-bit emulators (e.g., Altirra, Atari800) and hardware add-ons like SIO2PC. Unlike most existing tools, which are Windows-only, this tool runs seamlessly on macOS, Linux, and Windows, making it ideal for retro computing enthusiasts across all major platforms.
Key features include:
**Header Analysis**: Display detailed metadata of ATR files, including sector
size, disk density, track count, and boot sector presence.
```sh
> atr_tools-main --print-header test-DD-DS-80.atr
File name : test-DD-DS-80.atr
Magic : 16#296#
Paragraphs : 46056
Sector size : 256
Flags : 2#1#
Bad Sectors : 0
Unused : 16#0#
Sectors : 2880
Bytes : 736896
Boot Sectors : true
Floppy disk double density, double sided, 80 track
```
**Floppy Image Creation**: Format and create ATR files for various disk
configurations (e.g., single-sided, double-density, 80 tracks).
```sh
> atr_tools-main --verbose --format-floppy --density=DD --side=SS --track=80 test-DD-SS-80.atr
File created : test-DD-SS-80.atr
Sector size : 256
Sector per track : 18
Tracks per side : 80
Sides per disk : 1
```
The tool includes a comprehensive test suite to ensure reliability across platforms and configurations. Source code and tests are available on SourceForge. Detailed GNATdoc documentation can be found at [6502 Tutorial](https://tutorial-6502.sourceforge.io/gnatdoc/atr_tools/index.html).
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
executables = ["atr_tools-main"]
website = "https://sourceforge.net/projects/tutorial-6502"
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Overflow"
release.compile_checks = "Warnings"
release.contracts = "No"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Default"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:f83e01b4a70cb4ed38169c7aebd6eaa90a10f241d78b050bfaea55c3796c3e54",
"sha512:65ad2fe793d2fed8d1e12c2de7718ffcf997d602c5b0f4896af15197a24fe6f71359dc94d3c07f93e58e68f84cb5bc633062621ad682b0dca7271750792bc01e",
]
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_atr_tools-1.5.1.tgz"
@@ -0,0 +1,87 @@
name = "atari_exe_tools"
description = "Cross-platform tool for analysing and inspecting Atari 8-bit EXE files"
long-description = """Atari EXE Tools is a robust, cross-platform utility written in Ada 2022 for analysing Atari 8-bit executable (EXE) files, used in Atari 400/800 and XL/XE systems or emulators like Altirra and Atari800. Unlike most existing tools, which are typically Windows-only, this tool operates seamlessly on macOS, Linux, and Windows, making it an essential asset for retro computing enthusiasts and developers working across diverse platforms.
Key features include:
**Header Analysis**: Extract and display detailed metadata from EXE files,
including memory start/end addresses, segment lengths, and init/run vectors.
```sh
> exe_tools-main --print-header ./test/share/atari_check_exe_test/HELLO_C.EXE
File: ./test/share/atari_check_exe_test/HELLO_C.EXE
Magic: $FFFF; Start: $2E00; End: $2EF5; Length: 246
Magic: $0000; Start: $02E2; End: $02E3; Length: 2; Init: $2E47
Magic: $0000; Start: $2400; End: $28DE; Length: 1247
Magic: $0000; Start: $02E0; End: $02E1; Length: 2; Run: $2401
```
Data Dumping: Output hexadecimal data from EXE files for inspection, with ATASCII portions omitted to ensure compatibility with non-UTF-8 environments.
```sh
> exe_tools-main --print-data ./test/share/atari_check_exe_test/HELLO_A.EXE
File: ./test/share/atari_check_exe_test/HELLO_A.EXE
2400: 60 60 A2 00 A9 0B 9D 42 03 A9 3F 9D 44 03 A9 24
2410: 9D 45 03 A9 2E 9D 48 03 A9 00 9D 49 03 20 56 E4
2420: A2 00 A9 07 9D 42 03 A9 6D 9D 44 03 A9 24 9D 45
2430: 03 A9 01 9D 48 03 A9 00 9D 49 03 20 56 E4 60 48
2440: 65 6C 6C 6F 20 57 6F 72 6C 64 21 9B 28 75 73 69
2450: 6E 67 20 61 20 65 78 65 63 75 74 61 62 6C 65 20
2460: 69 6E 20 61 73 73 65 6D 62 6C 65 72 29 9B 00
02E0: 02 24
Run: $2402
```
The tool includes a comprehensive AUnit test suite to ensure reliability across
platforms and Atari 8-bit configurations. Source code and tests are available
on SourceForge. Detailed GNATdoc documentation can be found at 6502
Tutorial.
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
executables = ["exe_tools-main"]
website = "https://sourceforge.net/projects/tutorial-6502"
tags = ["atari", "tools", "retrocomputing", "ada-2022"]
[build-switches]
"*".ada_version = "Ada2022"
"*".source_encoding = "UTF_8"
development.compile_checks = "Warnings"
development.contracts = "Yes"
development.debug_info = "Yes"
development.optimization = "Debug"
development.runtime_checks = "Everything"
release.compile_checks = "Warnings"
release.contracts = "Yes"
release.debug_info = "No"
release.optimization = "Performance"
release.runtime_checks = "Everything"
validation.compile_checks = "Warnings"
validation.contracts = "Yes"
validation.debug_info = "Yes"
validation.optimization = "Debug"
validation.runtime_checks = "Everything"
[[depends-on]]
adacl = "^6.3.0"
[[actions]]
type = "test"
command = ["alr", "run"]
directory = "test"
# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab :
# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff :
# vim: set spell spelllang=en_gb :
[origin]
hashes = [
"sha256:d60e073111d639242eedebd3e11b18f781b9d600c12e3d04fbd4bf1dd3f7a9e6",
"sha512:c2700ec5d401dab2d48027d265d70ccd0985a1c735c6bba692352576c746d83b4195965850e03867de8827e06739e3e09b1375130f0e17db1d5e8cdf362889c5",
]
url = "https://sourceforge.net/projects/tutorial-6502/files/Alire/atari_exe_tools-1.5.1.tgz"
+19
View File
@@ -0,0 +1,19 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "1.1.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[configuration.variables]
Backend = {type = "Enum", values = ["Intrinsic", "armv6m", "rp2040_spinlock"], default = "Intrinsic"}
RP2040_Spinlock_ID = {type = "Integer", first = 0, last = 31, default = 31 }
[origin]
commit = "5e6250a055565914cd614f38855b0cb14620b889"
url = "git+https://github.com/Fabien-Chouteau/atomic"
+20
View File
@@ -0,0 +1,20 @@
description = "Ada unit test framework"
name = "aunit"
version = "26.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"]
maintainers-logins = ["Fabien-Chouteau", "AldanTanneo"]
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/refs/tags/v26.0.0.zip"
hashes=['sha512:b882e96a4b2cbc2d0d3838e14f2c7b6e576d6d7ccf88fe3562b1fbca61a2ebfd4e8b3379dd5c3fb3140949cda69526c8696fe3b7a6c6748fe93f116213276b39']
+60
View File
@@ -0,0 +1,60 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "25.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["aws.gpr", "build/projects/aws_config.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
[gpr-externals]
TGT_DIR = ""
TARGET = ""
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".freebsd]
PRJ_TARGET = "freebsd"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
TGT_DIR = "../build"
TARGET = "build"
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch actions.
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p `gcc -dumpmachine`/setup/src"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "make setup ZLIB=false DEMOS=false LAL=false XMLADA=true SOCKET=openssl prefix=install_dir PRJ_BUILD=Release"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mv `gcc -dumpmachine`/ build/"]
[[depends-on]]
xmlada = "~25.0.0"
gnatcoll = "~25.0.0"
make = "*"
gnat = ">=12"
openssl = ">=1.1.0"
[origin]
url="https://github.com/AdaCore/aws/releases/download/v25.0.0/aws-25.0.0-with-templates-parser.zip"
hashes=['sha512:cf1dc186d2ca7545ae776332e3f03198e920e48dba974275b7c1161786a0af7de823cd2053aeda5ee31072f42db13494b69d51e9879298981fa2a2ae5c94aa38']
+60
View File
@@ -0,0 +1,60 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "25.2.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["aws.gpr", "build/projects/aws_config.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
[gpr-externals]
TGT_DIR = ""
TARGET = ""
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".freebsd]
PRJ_TARGET = "freebsd"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
TGT_DIR = "../build"
TARGET = "build"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
TGT_DIR = "../build"
TARGET = "build"
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch actions.
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mkdir -p `gcc -dumpmachine`/setup/src"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "make setup ZLIB=false DEMOS=false LAL=false XMLADA=true SOCKET=openssl prefix=install_dir PRJ_BUILD=Release"]
[[actions]]
type = "post-fetch"
command = ["sh", "-c", "mv `gcc -dumpmachine`/ build/"]
[[depends-on]]
xmlada = "~25.0.0"
gnatcoll = "~25.0.0"
make = "*"
gnat = ">=12"
openssl = ">=1.1.0"
[origin]
url="https://github.com/AdaCore/aws/releases/download/v25.2.0/aws-25.2.0-with-templates-parser.zip"
hashes=['sha512:bb26af84c502135c3ec1137c895d628e5f068810e3ad6c1cad6113256d44d764794ecfdcc12fa9efbdcfc3eaa4a971b56f35dae7c0bbe0f6d953cbaf45a40e10']
-4
View File
@@ -43,10 +43,6 @@ windows = true
[gpr-externals]
AZip_Build_Mode = ["Debug", "Fast", "Small"]
[gpr-set-externals]
AZip_Build_Mode = "Small"
Zip_Build_Mode = "Small"
[[depends-on]]
ini_files = ">=11.0.0"
[[depends-on]]
+61
View File
@@ -0,0 +1,61 @@
description = "Generate various types of bar codes (1D or 2D) on various media"
name = "bar_codes"
version = "6.0.0"
authors = ["Gautier de Montmollin"]
website = "https://ada-bar-codes.sourceforge.io/"
licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["ada_bar_codes.gpr"]
tags = ["bar", "code", "barcode", "bar-code",
"datamatrix", "data-matrix",
"qr", "qrcode", "qr-code",
"code128", "msi", "ean13", "upca",
"pbm", "pdf", "png", "svg"]
executables = ["bar_codes_demo"]
long-description = """
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/qr_code-d286323e.png" alt="QR" width="171" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png"><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/abc_logo_rect-d71ba4ac.png" alt="Code 128" width="178" height="129"></a>
&nbsp;<a target="_blank" href="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" ><img src="https://a.fsdn.com/con/app/proj/ada-bar-codes/screenshots/dm_code_y129-8619c0ec.png" alt="Data Matrix" width="181" height="129"></a>
Some features:
* 1D bar codes supported: Code 128, EAN-13, MSI, UPC-A
* 2D bar codes supported: Data Matrix, QR Codes
* Task safe
* Endian-neutral
* Multi-platform, but native code build
* Standalone (no dependency on other libraires, bindings, etc.; no extra component needed for running)
* Unconditionally portable code: OS-, CPU-, compiler- independent code.
* Pure Ada 2012: this package can be used in projects in Ada 2012 and later versions of the Ada language
* Tests and demos included
* *Free*, open-source
The creation of a bar code is as simple as this small procedure:
```ada
with Ada.Text_IO, Bar_Codes, Bar_Codes_Media;
procedure Small_Demo is
use Ada.Text_IO;
svg : File_Type;
begin
Create (svg, Out_File, "qr_code.svg");
Put_Line
(svg,
Bar_Codes_Media.SVG_Bar_Code
(Bar_Codes.Code_QR_Low, (5.0, 5.0, 100.0, 100.0), "mm", "Hello"));
Close (svg);
end Small_Demo;
```
"""
[gpr-externals]
Build_Mode = ["Debug", "Fast"]
[origin]
url = "https://sourceforge.net/projects/ada-bar-codes/files/abc_006.zip"
hashes = ["sha512:60a70c816297d0ab2124008da6f3aa79bbbbf891c25889a5a0c2fcb16e7eb9be1375f45a242ba14f3874a591271309a7f7ae0a069af299c9bd91f8f595e76739"]
+15
View File
@@ -0,0 +1,15 @@
name = "base32"
description = "Simple base32 codec"
version = "1.0.1"
authors = ["Jeremy Grosser"]
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
maintainers-logins = ["JeremyGrosser"]
licenses = "BSD-3-Clause"
website = "https://github.com/JeremyGrosser/base32"
tags = ["base32", "encoder", "decoder", "codec"]
[origin]
commit = "b200c79cbef74500956066354710ee21f08076ce"
url = "git+https://github.com/JeremyGrosser/base32.git"
+24
View File
@@ -0,0 +1,24 @@
name = "bbs_lisp"
description = "Embedable tiny lisp interpreter"
version = "0.2.2"
long-description = """
This is the core of a simple tiny lisp that is intended to be embedded in
other applications. It can be extended with new commands specific to
the application.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Ada-Lisp"
tags = ["lisp", "embedded"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "ca9c70842fb4999b269233e862c4b05525f053b6"
url = "git+https://github.com/BrentSeidel/Ada-Lisp.git"
+23
View File
@@ -0,0 +1,23 @@
name = "bbs_simcpu"
description = "CPU Simulator for multiple CPUs"
version = "0.3.3"
long-description="""
This contains simulators for the 6502, 8080/8085/Z80 and 680000/68008 processors.
More will probably be added with time.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Sim-CPU"
tags = ["cpu-simulator", "6502", "i8080", "i8085", "z80", "m68000"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "182249e5ae587e7a69cdaf9ae0770fe86d5ef255"
url = "git+https://github.com/BrentSeidel/Sim-CPU.git"
+23
View File
@@ -0,0 +1,23 @@
name = "bbs_simcpu"
description = "CPU Simulator for multiple CPUs"
version = "0.4.0"
long-description="""
This contains simulators for the 6502, 8080/8085/Z80 and 680000/68008 processors.
More will probably be added with time.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Sim-CPU"
tags = ["cpu-simulator", "6502", "i8080", "i8085", "z80", "m68000"]
[[depends-on]]
bbs = "~0.1.0"
[origin]
commit = "00914dbc5d392f9c4dcac0aaa40aafdf7a3f3bdf"
url = "git+https://github.com/BrentSeidel/Sim-CPU.git"
+56
View File
@@ -0,0 +1,56 @@
name = "bbt"
description = "Black box test runner"
version = "0.2.0"
authors = ["Lionel Draghi"]
maintainers = ["Lionel Draghi <lionel.draghi@free.fr>"]
maintainers-logins = ["LionelDraghi"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/LionelDraghi/bbt"
tags = ["test", "testing", "gherkin", "markdown", "tdd", "bdd"]
executables = ["bbt"]
[configuration]
output_dir = "src/Alire_config"
generate_C = false
[[depends-on]]
# markdown = "^24.0.0"
[[depends-on]]
ansiada = "^1.0.0"
gnat="^14"
# [[test]]
# command = ["make", "build", "check"]
# [[test]]
# id = "examples"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/examples/"]
# [[test]]
# id = "features"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/features/"]
# [[test]]
# id = "non_reg"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "non_reg_tests/"]
# [[test]]
# id = "unit_testing"
# directory = "tests/file_utilities_tests/"
# runner = "alire"
# command = ["./test_file_utilities", "-q"]
# [[actions]]
# type = "post-build"
# command = ["echo", 'run "alr test" to check bbt build']
[origin]
commit = "e0ba91e6719e4727179bca4a5cfaa425a4d7b25c"
url = "git+https://github.com/LionelDraghi/bbt"
+56
View File
@@ -0,0 +1,56 @@
name = "bbt"
description = "Black box test runner"
version = "0.2.1"
authors = ["Lionel Draghi"]
maintainers = ["Lionel Draghi <lionel.draghi@free.fr>"]
maintainers-logins = ["LionelDraghi"]
licenses = "MIT OR Apache-2.0 WITH LLVM-exception"
website = "https://github.com/LionelDraghi/bbt"
tags = ["test", "testing", "gherkin", "markdown", "tdd", "bdd"]
executables = ["bbt"]
[configuration]
output_dir = "src/Alire_config"
generate_C = false
[[depends-on]]
# markdown = "^24.0.0"
[[depends-on]]
ansiada = "^1.0.0"
gnat="^14"
# [[test]]
# command = ["make", "build", "check"]
# [[test]]
# id = "examples"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/examples/"]
# [[test]]
# id = "features"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "../docs/features/"]
# [[test]]
# id = "non_reg"
# directory = "tests/"
# command = ["./bbt", "-c", "-q", "-sb", "--yes", "non_reg_tests/"]
# [[test]]
# id = "unit_testing"
# directory = "tests/file_utilities_tests/"
# runner = "alire"
# command = ["./test_file_utilities", "-q"]
# [[actions]]
# type = "post-build"
# command = ["echo", 'run "alr test" to check bbt build']
[origin]
commit = "826f44b35eda9140ffb78b406e6f19a5129b346e"
url = "git+https://github.com/LionelDraghi/bbt"
+62
View File
@@ -0,0 +1,62 @@
description = "Ada API for the GNU Binutils BFD library"
name = "bfdada"
version = "1.3.1"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = ["bfdada.gpr"]
tags = ["object", "binary", "elf", "symbols", "disassembler"]
website = "https://gitlab.com/stcarrez/ada-bfd"
long-description = """
[![Build Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/build.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/summary)
[![Test Status](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/tests.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/xunits)
[![Coverage](https://img.shields.io/endpoint?url=https://porion.vacs.fr/porion/api/v1/projects/ada-bfd/badges/coverage.json)](https://porion.vacs.fr/porion/projects/view/ada-bfd/summary)
The Ada-BFD is a library which provides Ada API for GNU Binutils BFD
library. It works on any version of GNU Binutils (starting at 2.15).
The recommended version for GNU Binutils is at least the 2.42.
The Ada-BFD library allows to:
* list and scan the ELF sections of an executable or object file,
* get the content of the ELF sections,
* get access to the symbol table,
* use the BFD disassembler
# Documentation
* [BFD Documentation](http://sourceware.org/binutils/docs/bfd/index.html)
* [Reading a program symbol table with Ada BFD](https://blog.vacs.fr/vacs/blogs/post.html?post=2012/11/03/Reading-a-program-symbol-table-with-Ada-Bfd)
"""
[gpr-externals]
BFDADA_BUILD = ["distrib", "debug", "optimize", "profile", "coverage"]
BFDADA_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[available.'case(os)']
linux = true
windows = false
macos = false
'...' = false
[[depends-on]]
gnat = ">=13"
[[actions]]
type = "post-fetch"
command = ["sh", "configure"]
[[actions]]
type = "post-fetch"
command = ["make", "static"]
[configuration]
disabled = true
[origin]
commit = "e532f03dbf30904f7a733b460a7300fc0e9d644c"
url = "git+https://github.com/stcarrez/ada-bfd.git"
+50
View File
@@ -0,0 +1,50 @@
name = "bigints"
description = "Experimental SPARK Constant Time Big Integer library"
version = "0.2.0"
authors = ["César SAGAERT"]
maintainers = ["César SAGAERT <sagaert@adacore.com>"]
maintainers-logins = ["AldanTanneo"]
licenses = "MIT"
website = "https://github.com/AldanTanneo/bigints"
tags = ["bigint", "cryptography", "constant-time", "spark", "ada2022"]
long-description = """# SPARK Constant Time Big Integer library
Implementation of a constant time big integer library, inspired by [crypto-bigint](https://github.com/RustCrypto/crypto-bigint).
All functions are implemented in constant time, except those with an explicit `_Vartime` suffix. Overloaded operators are also constant time.
> \u26A0\uFE0F The constant time choice primitives like `Ct_Eq`, `Ct_Gt`, `Cond_Select` and `CSwap` rely on best-effort optimisation barriers.
## Usage
The implementations are generic over the size of the integer:
```ada
package U256 is new Bigints.Uint (256);
package U1024 is new Bigints.Uint (1024);
```
There is also a generic package to deal with modular integers (over a prime field):
```ada
P : U256.Uint := ... -- a big prime, like 2**255 - 19
package GF_P is new Bigints.Modular (U256, P);
```
It is up to the user of the library to ensure the chosen modulus is effectively prime. Otherwise, operations like field inversion become invalid (as it relies on Fermat's little theorem).
## Formal proof
The preinstantations in the library (packages `U256s` and `F25519`), as well as the constant time primitives and basic limb primitives, are formally checked using GNATprove.
"""
[build-switches]
"*".ada_version = "Ada2022"
development.optimization = ["-O3"]
release.runtime_checks = "none"
[origin]
commit = "414589c10e5dec87aebf9cfe8fda675a047d45b1"
url = "git+https://github.com/AldanTanneo/bigints.git"
@@ -0,0 +1,69 @@
name = "blinkenlights"
description = "Project to blink LEDs in interesting patterns"
version = "0.3.0"
long-description = """
This is a complex project involving 3D printing and soldering as well as
software. Alr will take care of the software dependencies for you, but
you will have to read the README and documentation to find the other parts.
This project is intended to replicate the look and feel of older computers
with the switches and lights. It uses the simulators from bbs_simcpu to
drive the LEDs and act on the switches. Using the Intel 8080 simulator,
I was actually able to toggle a bootstrap program in using the panel and
get it to boot CP/M. A boot loader (boot.ihx) is included. CP/M is not
included. There are places on the web where you can find a disassembled
CP/M 2.2. Then combine it with the BIOS from bbs_simcpu and add it to a
disk image using the loadcpm tool. If you use the Motorola 68000 simulator,
it will load and run a simple multitasking OS. The example simulator can
be used to flash the lights in a variaty of ways.
There is a lamp test program in the lamp-test directory that may be useful
for debugging the hardware.
Note that since each cycle of the simulator involves multiple I2C bus
transactions to read switches and set LEDs, any CPU simulation will run
rather slowly. The intention of this project is more for display than
simulator usage.
There is also a web server that can be used to select the CPU variant.
This is most useful with the example simulator to select the light pattern.
This project runs on a Raspberry Pi 2 (or later). It will build on most
Unix or Unix-like systems, but unless the hardware interface matches the
Raspberry Pi, it won't run. You are welcome to try porting it to other
systems, if you like.
"""
authors = ["Brent Seidel"]
maintainers = ["Brent Seidel <brentseidel@mac.com>"]
maintainers-logins = ["BrentSeidel"]
licenses = "GPL-3.0-or-later"
website = "https://github.com/BrentSeidel/Pi-Mainframe"
tags = ["embedded", "simulation", "i8080", "m68000", "hardware"]
executables = ["blinkenlights"]
[available."case(os)"]
"windows" = false
"..." = true
[[depends-on]]
bbs = "~0.1.0"
[[depends-on]]
bbs_embed_common = "~0.2.0"
[[depends-on]]
bbs_embed_linux = "~0.2.0"
[[depends-on]]
bbs_webif = "~0.1.0"
[[depends-on]]
bbs_simcpu = "~0.4.0"
[origin]
commit = "5c98f5a45c22f556ca24a6dcffae8b0b5bc69c22"
url = "git+https://github.com/BrentSeidel/Pi-Mainframe.git"
+19
View File
@@ -0,0 +1,19 @@
name = "braillart"
description = "Use Braille patterns as a dot-matrix printer"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
licenses = "LGPL-3.0-or-later"
website = "https://github.com/mosteo/braillart"
tags = ["braille", "art", "ascii", "unicode"]
# To be pre-3.0 compatible
# [test]
# runner = "alire"
[origin]
commit = "8b93b1d8652062429b173cb1a6509112d1d41f5b"
url = "git+https://github.com/mosteo/braillart.git"

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