Commit Graph

895 Commits

Author SHA1 Message Date
Luke A. Guest c3ef5cbe96 sdlada 2.5.20 (#959) 2024-01-15 16:55:52 +01:00
pmunts e9634f1be3 muntsos_aarch64 9.0.0 (#958) 2024-01-15 16:51:24 +01:00
Fabien Chouteau 3ae57d18ba aws 24.0.0 (#937) 2024-01-10 11:37:43 +01:00
Maxim Reznik 9e52f10fb8 bme280 1.0.0 (via alr publish --submit) (#944) 2024-01-03 12:45:39 +01:00
jgrivera67 87f4e0366b hirtos 1.0.0 and hirtos_separation_kernel 1.0.0 (#943)
Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
2024-01-03 12:42:09 +01:00
Fraser Wilson 5d18acdbed wl_lib 0.1.2 (via alr publish --submit) (#948) 2024-01-03 12:33:12 +01:00
John Serock 0f5ba1a0d6 pla_util 2.1.2 (#955) 2024-01-02 16:38:46 +01:00
Stephane Carrez 5bc4d01dae Add crate for the SCI Ada library (Collection of Scientific Operations) (#953) 2024-01-02 16:36:37 +01:00
Luke A. Guest dcdecfec80 Add missing SDL2 mixer external library. (#951) 2024-01-02 16:31:52 +01:00
John Serock 1e57885c82 Add suse distribution to libgmp-external (#946) 2024-01-02 15:57:27 +01:00
John Serock f21e304d59 pla_util 2.1.1 (#935)
* pla_util 2.1.1

* Remove header as requested

* Remove build-profiles as requested
2023-12-20 16:28:23 +01:00
Fabien Chouteau b5eb5aa08c gtkada 24.0.0 (#936)
* GtkAda 24.0.0

* pkg_config-external.toml: add homebrew and macport distrib
2023-12-18 20:07:52 +01:00
Fabien Chouteau eb022c1a79 adasat 24.0.0 (#941) 2023-12-18 19:11:46 +01:00
jgrivera67 453f25b110 portable_minimal_ada_rts 1.0.0 (#940)
Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
Co-authored-by: J. German Rivera <jgrivera@google.com>
2023-12-18 19:05:30 +01:00
pmunts 356e375c3e remoteio 1.21527.1 (#931) 2023-12-11 18:50:40 +01:00
Francesc Rocher 0805012282 euler_tools 1.3.0 (#928)
* euler_tools 1.2.0

* Fix compilation with gnat-13.1.1

* euler_tool 1.3.0
2023-12-11 18:49:14 +01:00
John Serock cd3c06986b libpcap external (#927) 2023-12-11 18:34:38 +01:00
pmunts 400f6f41d1 libsimpleio 1.21527.1 (#929) 2023-12-11 18:25:51 +01:00
pmunts 4ab407edb7 mcp2221 1.21527.1 (#930) 2023-12-11 18:18:27 +01:00
Rowan Walshe 064bfe6e31 gnat/gprbuild external broader regex (#924) 2023-11-27 16:35:10 +01:00
Stephane Carrez a8589243b8 magicada 1.0, libmagic external (#926) 2023-11-27 16:26:25 +01:00
Fabien Chouteau 0cae39b728 AdaCore libraries 24.0 II (#925) 2023-11-27 16:23:52 +01:00
Francesc Rocher ac2dce34eb mold_lib 2.0.0 (#923) 2023-11-27 16:16:56 +01:00
Manuel d8df16e4ee asfml 2.5.5 (#922) 2023-11-20 18:40:41 +01:00
Fabien Chouteau 49b8a71a00 AdaCore libraries 24.0 (#921) 2023-11-20 18:38:49 +01:00
Fabien Chouteau 9c1101813a bbqueue 0.3.2 (#896) 2023-11-16 07:22:28 +01:00
Alejandro R Mosteo b86e41b797 dirty_booleans 0.1.0 (via alr publish --submit) (#893) 2023-11-15 16:01:39 +01:00
Stephen Leake a9e17f624e emacs_gpr_mode 1.0.5 (#920) 2023-11-15 11:08:43 +01:00
Fabien Chouteau 6a964e7a2b gnatprove 13.2.1: GPR_PROJECT_PATH for sparklib (#917) 2023-11-13 19:11:41 +01:00
Stephane Carrez 6712cb7e2f New crate intl for a small NLS library on top of Unix gettext (3) (#918) 2023-11-13 10:36:17 +01:00
Fabien Chouteau 543c19cb46 gnatprove 13.2.1 (#916) 2023-11-10 10:02:06 +01:00
Simon Wright df12ae1d76 Don't look for gprbuild from system provider. (#913)
* Don't look for gprbuild from system provider.

Because the manifest currently asks for Alire to attempt to download
gprbuild from the system package manager, alr <anything> spends
several fruitless seconds trying to find gprbuild.

  * index/gp/gprbuild/gprbuild-external.toml: remove the 'system' external.

* macOS distributions don't provide gprbuild, others do.

  * index/gp/gprbuild/gprbuild-external.toml: the "system" external isn't
    available on macOS, so specify it explicitly for the other operating
    systems.
2023-11-09 14:52:02 +01:00
Simon Wright 332abd761f libgtk3 external for brew/port on macOS (#915)
* Add externals for libgtk3 on macOS.

* Add check from alr devel branch

* Add specific Ports CI test

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2023-11-08 17:17:55 +01:00
Blady-Com c3adb36e51 automate 3.0.0. (#914)
Upgrade to UXStrings 0.6.0, UXStrings.Lists and Ada.Containers.Ordered_Maps.
Automate name input has been moved to command line.
Automate information inputs have been moved to parameters.
Add embedded debug support in automate description for each read event.
Miscellaneous improvements.
2023-11-03 08:22:29 +01:00
Stephen Leake 9099ace37b emacs_wisi 4.3.2, wisitoken 4.2.1 (#912)
* Release emacs_wisi 4.3.1

* Better fix for gnat 13 bug

* index/wi/wisitoken/wisitoken-4.2.1.toml: New file.

* index/em/emacs_wisi/emacs_wisi-4.3.2.toml: New file.
2023-10-26 14:23:00 +02:00
Francesc Rocher 1e39daf0c2 mold_lib 1.0.3 (#911)
* mold_lib 1.0.0

* Update release

* Update release 1.0.0 (main)

* Update release to 1.0.2

* Update commit id

* Update release to 1.0.3
2023-10-25 13:04:12 +02:00
Stephen Leake ad7f97ac4f emacs_wisi 4.3.1 (#910) 2023-10-23 14:48:39 +02:00
Adel Noureddine 13d5f35941 powerJoular 0.7.0 (#909)
* Add files via upload

* Add files via upload

* Add files via upload

* Delete index/po/powerjoular/alire.toml

* Version 0.7.0
2023-10-23 10:48:04 +02:00
Fabien Chouteau 0ffe703dec GNAT FSF 13.2.1 (#908) 2023-10-19 11:00:25 +02:00
Stephen Leake c460cca531 emacs_ada_mode 8.1.0, emacs_gpr_mode 1.0.4 (#905)
* Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies

* Fix "incorrect line termination" bug

* index/wi/wisitoken/wisitoken-4.2.0.toml: Patched for "incorrect line
termination" in s-memory.adb.

* One more try for "incorrect line termination" bug

* index/wi/wisitoken/wisitoken-4.2.0.toml: Fix syntax in .gitattributes.

* * index/wi/wisitoken/wisitoken-4.2.0.toml: One more try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: Another try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: One more try

* * index/wi/wisitoken/wisitoken-4.2.0.toml: This should work
2023-10-14 22:04:34 +02:00
Blady-Com 3b343bbfab uxstrings 0.6.0. (#906)
Add string convenient subprograms: Contains, Ends_With, Starts_With, Is_Lower, Is_Upper, Is_Basic, Is_Empty, Remove, Replace.
Add string convenient subprograms: Contains, Ends_With, Starts_With, Is_Lower, Is_Upper, Is_Basic, Is_Empty, Remove, Replace.
2023-10-10 17:53:37 +02:00
Fabien Chouteau 3a01f97f06 gnat_native, gnat_riscv_elf, gnat_avr_elf, gnat_arm_elf 13.1.0 on macOS (#907) 2023-10-10 12:22:52 +02:00
Stephane Carrez c23beb5165 openai 1.0.0 (#904) 2023-10-02 12:33:28 +02:00
Léo Germond 1484149a93 labs_solar_system 1.0.0 (#903) 2023-09-27 15:38:28 +02:00
Jon f80b499b97 sparknacl 4.0.0 (#901)
* Create sparknacl-4.0.0.toml

Added latest SPARKNaCl release

* Update sparknacl-4.0.0.toml

Added myself as additional mainatainer
2023-09-25 16:18:18 +02:00
Rod Kay 146492329a ashell 1.4.0 metadata update (allow compatible dependencies) (#902)
* Add files via upload

* ashell: Force use of GCC 11.2.4 until 'florist_blady' fixes 'unnecessary with of ancestor' warning, which was introduced in later versions of GCC.

* ashell: Add spawn_server to project-files.

* ashell: Disable availability on 'msys2' distributions.

* Update 'alire.toml' to allow higher versions of dependencies to be used.

---------

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2023-09-25 12:58:55 +02:00
Simon Rowe dd4f163b18 Update libgmp-external.toml - add Fedora detection (#900)
As indicated in the open issue [#1320](https://github.com/alire-project/alire/issues/1320) the detection of `gmp` does not work with `alr` with the Fedora Linux OS. This PR adds the suggested missing config line to detect the Fedora `gmp-devel` library. 

Tested by editing the local cache file `~/.config/alire/indexes/community/repo/index/li/libgmp/libgmp-external.toml` to add the line suggested in the open issue:

```
fedora = ["gmp-devel"]
````
The detection then works as expected, and the previously failing build of `libadalang` on Fedora 38 (x86_64) now works.
2023-09-25 10:22:02 +02:00
Francesc Rocher 1202a4905a euler_tools 1.2.1 (#899)
* euler_tools 1.2.0

* Fix compilation with gnat-13.1.1
2023-09-19 11:44:19 +02:00
Léo Germond 7a4f147440 mage 0.6.1 (#898) 2023-09-18 10:17:12 +02:00
Gautier de Montmollin 413be2bf17 apdf 6.0.0 metadata update (#897) 2023-09-15 09:20:10 +02:00