Commit Graph

888 Commits

Author SHA1 Message Date
Holger Rodriguez 96b8738e4a edc_client 1.5.0 (#680) 2022-11-02 20:44:05 +01:00
Maxim Reznik 4d7814a723 ada_language_server 23.0.0 (#678) 2022-11-02 20:19:36 +01:00
Martin Krischik 5da6a659a0 Migrate to Alire build. (#679)
First version contains base classs, string tools, trace and getopt.

Co-authored-by: Martin Krischik <martin@iMac.local>
2022-11-02 10:29:01 +01:00
Maxim Reznik ce5ea41d6b Add gnatdoc (as a library, for now). (#676) 2022-10-31 15:08:14 +01:00
Holger Rodriguez f67126d85e added Microchip 24FC512 512 kBit (#675) 2022-10-31 11:17:03 +01:00
Maxim Reznik 6f728acf8c Add spawn 23 (#674) 2022-10-31 11:16:00 +01:00
Fabien Chouteau 7253e60c03 aunit, gnatcoll, lal, xmlada... 23.0.0 (#668)
* First batch of 23.0.0 releases for GNATcoll, LAL, XMLAda, etc.

* Update libadalang_tools-23.0.0.toml
2022-10-31 10:55:51 +01:00
Stephen Leake d06fcdc186 first Alire release; required for Emacs ada-mode (#659)
* first Alire release

* Add emacs_wisi crate; required for Emacs ada-mode.

* Add wisitoken; required for Emacs ada-mode

* Add re2c as a system crate.

* Move re2c to proper directory, file name

* * index/re/re2c/re2c-external.toml: Fix syntax of external.origin

* Add emacs_gpr_query crate

* index/em/emacs_gpr_query/emacs_gpr_query-1.0.0.toml: New file.

* Add emacs_gpr_mode

* Add emacs_ada_mode

* Add wisitoken

* Stephes_ada_library: Update hashes to match tarball

* Add emacs_ada_mode-8.0.1.toml, emacs_gpr_query-1.0.1.toml

* Restrict gnat version for -gnat2022, fix packaging bug

* index/em/emacs_ada_mode/emacs_ada_mode-8.0.2.toml: New file.

* index/em/emacs_gpr_mode/emacs_gpr_mode-1.0.1.toml: New file.

* index/em/emacs_gpr_query/emacs_gpr_query-1.0.1.toml: New file.

* index/em/emacs_wisi/emacs_wisi-4.1.1.toml: New file.

* index/st/stephes_ada_library/stephes_ada_library-3.7.1.toml: New file.

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

* Delete broken versions for Emacs ada-mode related crates

* index/wi/wisitoken/wisitoken-4.0.0.toml: Delete.
* index/em/emacs_ada_mode/emacs_ada_mode-8.0.0.toml:
* index/em/emacs_ada_mode/emacs_ada_mode-8.0.1.toml:
* index/em/emacs_gpr_mode/emacs_gpr_mode-1.0.0.toml:
* index/em/emacs_gpr_query/emacs_gpr_query-1.0.0.toml:
* index/em/emacs_wisi/emacs_wisi-4.1.0-beta.toml:
* index/st/stephes_ada_library/stephes_ada_library-3.7.0.toml:

* Fix alr build on Windows

* index/em/emacs_ada_mode/emacs_ada_mode-8.0.2.toml (hashes): Update.
* index/st/stephes_ada_library/stephes_ada_library-3.7.1.toml:

* Wisitoken builds wisitoken-bnf-generate.exe

* index/st/stephes_ada_library/stephes_ada_library-3.7.1.toml: Update.
* index/wi/wisitoken/wisitoken-4.0.1.toml:

* Fix build bug
2022-10-28 13:50:24 +02:00
Maxim Reznik 084d4071ed Add markdown crate (#673) 2022-10-28 13:49:07 +02:00
Maxim Reznik e50b2f5847 Switch to ubuntu-22.04. Add gtkada-23.0.0 (#669) 2022-10-28 13:48:12 +02:00
Maxim Reznik 3cfe95d99e Add VSS 23.0.0 release (#667) 2022-10-28 11:24:39 +02:00
Stephen Merrony cdcc30c544 Add files via upload (#672) 2022-10-28 11:23:57 +02:00
Maxim Reznik c24daacc13 Add gtkada-22.0.0 (#670) 2022-10-28 11:20:01 +02:00
Alejandro R Mosteo 1e0574994f Disable pkg-config-detected externals (#671)
Proper use of these packages would require calling `pkg-config` to set up
environment, which Alire does not do (yet?)

Co-authored-by: GHA <actions@github.com>
2022-10-27 13:50:12 +02:00
Fabien Chouteau 244a85d34f GNAT FSF 12.2.1 (#664)
* GNAT FSF 12.2.1

* Convert case(word-size) to case(host-arch) in binary crates
2022-10-25 20:31:09 +02:00
Blady-Com a8bcb71a90 florist_blady 6.0.0 (#629)
* Add Alire support for Florist source version.

* Specify available OS.

* Change name to avoid confusion with that one provided by AdaCore. Add provides property for API compatibility with any Florist compliant with Posix Ada.

* Rename the parent folder.

* Set corresponding alternate AdaCore version to 22.0.

* Fix naming of config GPR file in the new provided commit.
2022-10-24 09:34:38 +02:00
Simon Wright 6c65c1f5f9 tash 8.7.0 (#663)
* Add tash 8.7.0 (first Alire release).

* Removed local-index setting in workflows.

* Use tclsh or tclsh8.6 if not found.
2022-10-14 09:48:13 +02:00
nytpu 3f265894d9 tlsada 2.5.2 (#662) 2022-10-13 16:22:32 +02:00
Manuel Hatzl c357e88610 vaton 0.1.0 (#660)
* feat: add vaton 0.1.0-dev to alire

* fix: pump GNAT version to support VALID_BIG_INTEGER
2022-10-11 12:29:33 +02:00
Marc Poulhiès a108a1589a stm32f0x2_hal 0.1.0 (#661)
Crate is derived from Ada_Drivers_Library and provide initial support
for STM32 F0x2 MCU family.

Signed-off-by: Marc Poulhiès <dkm@kataplop.net>

Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
2022-10-11 12:26:33 +02:00
Holger Rodriguez e98fab332f tiny_rp2040_bsp 0.2.1 (#658)
* caught up with all new RP2040 changes required

hal 0.3.0; rp2040 2.0.0 etc.

* caught up with newest changes for HAL/RP2040

* Delete tiny_rp2040_bsp-0.2.0.toml

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2022-10-10 12:53:23 +02:00
Rolf Ebert 99db17c5ed avrada_lib 2.0.2, avrada_mcu 2.0.2, avrada_examples 1.0.1 (#655)
* remove pins from alire.toml

* set correct dependency in the examples
2022-10-10 10:52:35 +02:00
Fabien Chouteau 5d6f2014c6 task_coroutines 0.1.0 (#653) 2022-10-06 16:51:25 +02:00
Marc Poulhiès fe3418be8c libadalang_tools: fix gnat dependency (#652)
libadalang_tools crate does not build correctly with GNAT 12 because of new diagnostic message.
2022-10-06 16:41:41 +02:00
J.GIOUX 007ed729d1 libgtk3, libmysqlclient external: Fedora support (#649)
* Update libmysqlclient-external.toml

update with fedora package
https://packages.fedoraproject.org/pkgs/community-mysql/community-mysql-devel/

* Update libgtk3-external.toml

add support for fedora package
https://packages.fedoraproject.org/pkgs/gtk3/gtk3-devel/
2022-10-05 12:12:11 +02:00
Adel Noureddine de3888090f powerjoular 0.4.0 (#646)
* Add PowerJoular

* Add tags

Co-authored-by: Adel Noureddine <7352066-adelnoureddine@users.noreply.gitlab.com>
2022-10-05 10:40:43 +02:00
Rolf Ebert 88d724e98e avrada_examples 1.0.0 (#650) 2022-10-05 09:54:43 +02:00
Rolf Ebert f5eb425e08 avrada_lib 2.0.0, 2.0.1 (#631)
* crate for AVR standard library

* remove the prerelease part from version

* moved to v2.0.1, accept gnat-v12.2

Co-authored-by: GHA <actions@github.com>
2022-10-04 19:08:26 +02:00
J.GIOUX 69cecf03e0 libsqlite3 external: Fedora support (#647)
update with fedora package
https://packages.fedoraproject.org/pkgs/libsqlite3x/libsq3-devel/
2022-10-04 17:53:44 +02:00
J.GIOUX ab2e1c7511 libpq external: Fedora support (#644)
* Add Support for Fedora

Nomenclature of package name is different on Fedora, certainly the case for all RPM based distribution...

* Update libpq-external.toml

forever dyslexic... wrong package name in my previous commit, sorry.

* Update libpq-external.toml

forever dyslexic... wrong package name in my previous commit, sorry.
2022-10-04 17:50:49 +02:00
Rolf Ebert 2bd4373fbf avrada_mcu, avrada_rts 2.0.1 (#630)
* Add Run-Time-System and MCU definitions from AVR-Ada

* remove the prerelease part from version

* force use of LF only on git checkout, permit GNAT v12.2 as dependancy

* moved RTS and MCU version to v2.0.1
2022-10-04 17:22:54 +02:00
Holger Rodriguez 8cd5704a3f itsybitsy_rp2040_bsp 0.2.0 (#643)
hal 0.3.0; rp2040 2.0.0 etc.
2022-10-03 14:36:01 +02:00
J.GIOUX 1238a38dab openssl external: Fedora support (#645)
Add support for fedora
2022-10-03 11:43:26 +02:00
Simon Wright 8eb9a42630 libtcl, libtk external (#639)
* Added externals for libtcl, libtk.

macOS note: these call up the Homebrew package tcl-tk, but as usual if
the user isn't using alr 1.3 they can install the package themselves.

* Corrected spelling errors for libtcl, libtk.

  * index/li/libtcl/libtcl-external.toml: sytem -> system.
  * index/li/libtk/libtk-external.toml: likewise.
2022-10-03 11:32:47 +02:00
pmunts f3ff75830e libsimpleio 1.20506.1 (#641) 2022-09-29 11:40:57 +02:00
Blady-Com 2c7e961f7b gtkada 21.0.0: macOS support (#545)
* Add macOS support to GTKAda 21.0.0.

* Fix sed syntax for Linux.

* To be compatible between macOS and Linux, we should avoid sed -i and use tmp files instead.

* Disable problematic platforms

Co-authored-by: GHA <actions@github.com>
2022-09-29 11:36:37 +02:00
Gautier de Montmollin 5e9c278231 hac 0.21.0 (#638)
* Create hac-0.21.0.toml

Upgrade to HAC v.0.21
Details here: https://sourceforge.net/p/hacadacompiler/news/
More details in doc/hac_work.xls

* Update hac-0.21.0.toml

Added a few tags. Other ideas are welcome...
2022-09-27 11:37:35 +02:00
Paul Jarrett 5331bdb7a7 simple_regex 0.1.0 (#640) 2022-09-26 12:43:37 +02:00
Laurent Thévenoux 5f0ee5c822 admpfr 4.1.0, libmpfr external (#636)
* Add index entry for Admpfr v4.1.0-0

Admpfr is an Ada library offering bindings for the MPFR C library.
It's a complete interface to the C library.

Admpfr v4.1.0-* is compatible with MPFR 4.1.0.

* fixup! Add index entry for Admpfr v4.1.0-0

* fixup! fixup! Add index entry for Admpfr v4.1.0-0

* Adjust admpfr and libmpfr indexes regarding checks results

* fixup! Adjust admpfr and libmpfr indexes regarding checks results
2022-09-21 12:13:47 +02:00
Holger Rodriguez 12c3f4fbc5 eeprom_i2c 4.0.1 (EEPROM MicroChip 24FC64: 64 kBit) (#637)
* added another EEPROM MicroChip 24FC64: 64 kBit

* added MicroChip 24FC64: 64 kBit and bumped HAL to 0.3.0

* Delete eeprom_i2c-4.0.0.toml

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2022-09-20 16:12:07 +02:00
Manuel ba2b6261d1 asfml 2.4.1 (#635)
* Version of ASFML aimed to be compatible with CSFML v2.4

* Fix package name casing for Fedora 36
2022-09-15 10:32:27 +02:00
Alejandro R Mosteo 4490d94341 hello 1.0.2, libhello 1.0.1 (#628)
Add Alire manifests and enable use of configuration

Co-authored-by: GHA <actions@github.com>
2022-09-14 09:50:14 +02:00
Mateus de Lima Oliveira ca49c6455c chacha20 0.1.0 (#634)
* Added chacha20-0.1.0-dev

* Update and rename chacha20-0.1.0-dev.toml to chacha20-0.1.0.toml

Renamed file and fixed version number.
2022-09-12 16:20:17 +02:00
Stephane Carrez 4a8ca83b18 dynamo 1.3.0 (#617)
Co-authored-by: GHA <actions@github.com>
2022-09-05 11:04:09 +02:00
Blady-Com afecc3ffb5 ppag 1.6.0, 2.1.0 (#627)
* Add Alire support for the tutorial PPAG with Gnoga versions 1.6 and 2.1.

* Fix ppag folder oversight.
2022-08-31 11:10:49 +02:00
Fabien Chouteau 33e941f730 rtmidi 0.1.0, librtmidi external (#625)
* Create rtmidi-0.1.0.toml

* Create librtmidi-external.toml

* Update rtmidi-0.1.0.toml

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2022-08-29 18:38:02 +02:00
Alejandro R. Mosteo 3ea15e928f index.toml: update version to 1.2.1 2022-08-29 18:21:04 +02:00
Stephane Carrez 0fee038825 ado_mysql: add libmariadb dependency (#622) 2022-08-29 12:29:49 +02:00
Gautier de Montmollin 1c621877c3 zipada 58.0.0 (#621)
* Create zipada-58.0.0.toml

Moving on to Zip-Ada version 58.

* Update zipada-58.0.0.toml

Adapted an example from Alire's doc to relate Alire's `os` to zipada.gpr's `Zip_OS`.

* Update zipada-58.0.0.toml

Put [gpr-set-externals...] after headerless part.

* Update zipada-58.0.0.toml

On zip-ada's side: fixed version string.

* Update zipada-58.0.0.toml

Adapted list of executables to those actually built by zipada.gpr.
2022-08-29 12:25:53 +02:00
Stephane Carrez 8aa6e80a02 awa, awa_unit 2.4.0 (#623) 2022-08-27 17:20:42 +02:00