Alire commits | Ecosyste.ms: OpenCollective

Update main.yml

github.com/alire-project/ada_spark_workflow - 0fe2480dbcbe0c407d99cbd14f8f3be7043b9e22 authored over 2 years ago by Fabien Chouteau <[email protected]>

Sync with branch 'alire/release/1.2'

github.com/alire-project/alire - 8b2557d0195940c1d23fc8f59b3396217ce4f6f2 authored over 2 years ago by Alejandro R. Mosteo <[email protected]>

Fix early parsing of verbosity switches (#1034)

* Fix early parsing of verbosity switches

We were recognizing them even after the subcommand....

github.com/alire-project/alire - 2fae747124d33ea9db4d805fc7af7463af5b008f authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Give hint when invalid subcommand switch is a valid global switch (#20)

* Give hint when invalid subcommand switch is valid global

* Improve wording

github.com/alire-project/clic - 185519d65b089c3238e24cfe87f1d22db1f3e0d9 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Sync with branch 'release/1.2'

github.com/alire-project/alire - 266a218fab777fe6cdc94987ead9927edc76c175 authored over 2 years ago by Alejandro R. Mosteo <[email protected]>

Alire.Utils.Switches: Disable No_Exception_Propagation warning

This switch was always added to the init crates and should have been
included in the first versi...

github.com/alire-project/alire - 9c37cb020b6b59f5658bf7df2c0597de18dbfcd6 authored over 2 years ago by Fabien Chouteau <[email protected]>

Alire.Utils.Switches: Disable No_Exception_Propagation warning (#1030)

Alire.Utils.Switches: Disable No_Exception_Propagation warning

github.com/alire-project/alire - d2a7bcf2b2d5c2c6920643298aa92582bad684d4 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Adjust frequency of tests

github.com/alire-project/alire-crates-ci - cbcd1e6004cf87d7138655f82e0f90e391dd3228 authored over 2 years ago by Alejandro R. Mosteo <[email protected]>

eeprom_i2c 3.2.0 (#526)

removed runtime/target dependency in GPR file

github.com/alire-project/alire-index - 0b1fc4ed4dd9ec985ec929f99d3d3d7efe40adff authored over 2 years ago by Holger Rodriguez <[email protected]>

Update main.yml

github.com/alire-project/ada_spark_workflow - ab8825cdd5b87651819dcdf08ffe28708b598140 authored over 2 years ago by Fabien Chouteau <[email protected]>

Alire.Utils.Switches: Disable No_Exception_Propagation warning

This switch was always added to the init crates and should have been
included in the first versi...

github.com/alire-project/alire - 07150b22a563bbc0fb2083494ea9aa996b06debc authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix action used to set up alr (#525)

github.com/alire-project/alire-index - 4a6fddc7c1b99167641c0fce9f96c497123795bb authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Add alt-ergo build

github.com/alire-project/GNAT-FSF-builds - bbb0ce5c89f4d280c61078e996bfea2a5ee05525 authored over 2 years ago by Fabien Chouteau <[email protected]>

Rebase on 22.0

github.com/alire-project/GNAT-FSF-builds - 7192b403a5a996a95caf0754b6235eadd7b88ca3 authored over 2 years ago by Fabien Chouteau <[email protected]>

Change branch for why3 and alt-ergo

github.com/alire-project/GNAT-FSF-builds - b4f2248a04994ce719e6fa6534203ed9a35cfcb6 authored over 2 years ago by Fabien Chouteau <[email protected]>

Change workdir for alt-ergo

github.com/alire-project/GNAT-FSF-builds - 04e8d5ff1dbefa8592d78fdaefdb5a9dd148c443 authored over 2 years ago by Fabien Chouteau <[email protected]>

Build SPARK2014 using why3 and alt-ergo artifacts

github.com/alire-project/GNAT-FSF-builds - c0b5ed5c22f7bce71832c3c752d379dad0bfedb4 authored over 2 years ago by Fabien Chouteau <[email protected]>

Store gnat_util archive localy as adacore.com is not a reliable download source

github.com/alire-project/GNAT-FSF-builds - 08923deb625c608569512a27857362c38ac5b981 authored over 2 years ago by Fabien Chouteau <[email protected]>

Download tarball from GitHub instead of cloning repo

github.com/alire-project/GNAT-FSF-builds - 120a3ccc9dae50bba5a41ce0c73adeb2acfe0e98 authored over 2 years ago by Fabien Chouteau <[email protected]>

GNATprove packaging

github.com/alire-project/GNAT-FSF-builds - 74bfa26979bacfe76f51514250ebe57a836dcd24 authored over 2 years ago by Fabien Chouteau <[email protected]>

Improve SPARK install

github.com/alire-project/GNAT-FSF-builds - 09aecf8c837ead6ec2242a478299088315135b1d authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix GNATcov sanity-check test

github.com/alire-project/GNAT-FSF-builds - a4b9459f75ca3cda78c49213e7d18f243dbbe13f authored over 2 years ago by Fabien Chouteau <[email protected]>

Revert spark job depdencies

github.com/alire-project/GNAT-FSF-builds - cd775f37d0371b2674c0b9e0945ce0289fec2257 authored over 2 years ago by Fabien Chouteau <[email protected]>

Disable why3 zlib dependency on Windows

Potentially a temporary workaround for the missing libz1.dll in the
packaging.

github.com/alire-project/GNAT-FSF-builds - 8c58247acc53c3a53d3a2bda84da4f6bfae817df authored over 2 years ago by Fabien Chouteau <[email protected]>

Bump gnatprove pkgver

github.com/alire-project/GNAT-FSF-builds - 18b9b3c11db9e8073ea9acf28c774bf57798e9cb authored over 2 years ago by Fabien Chouteau <[email protected]>

Build a shared libgmp for alt-ergo on macOS

github.com/alire-project/GNAT-FSF-builds - c117e9df7b8177471640480eb36d1637d92d9e78 authored over 2 years ago by Fabien Chouteau <[email protected]>

spark2014.spec: package share libgmp with gnatprove

github.com/alire-project/GNAT-FSF-builds - 24983b2ad432e72df50ec0486c608d4ca5a07417 authored over 2 years ago by Fabien Chouteau <[email protected]>

GCC on macOS: support both Xcode or Command Line Utilities

Based on Simon Wright's blog post:
https://forward-in-code.blogspot.com/2022/03/which-sdk-choice...

github.com/alire-project/GNAT-FSF-builds - b86ab4db51e8cdf8babb90dab412728c0d33f64a authored over 2 years ago by Fabien Chouteau <[email protected]>

windows.yml: Add why3 build job

github.com/alire-project/GNAT-FSF-builds - e7434f953e2cd15e987bc8050ceae6635c7738bc authored over 2 years ago by Fabien Chouteau <[email protected]>

Why on all platforms

github.com/alire-project/GNAT-FSF-builds - 0ad2428e3b23a07c4b8df9227a97cdd0ed30ef27 authored over 2 years ago by Fabien Chouteau <[email protected]>

Tentative prefix dir fix

github.com/alire-project/GNAT-FSF-builds - 521856e282eb9811bcac0eeaacdb9c73fa1c4273 authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix why3 build os

github.com/alire-project/GNAT-FSF-builds - 0525aed76cea5cf9f61f39fa017aba6d489736e4 authored over 2 years ago by Fabien Chouteau <[email protected]>

Tentative install dir fix

github.com/alire-project/GNAT-FSF-builds - 6685576605b57e36ab377011a67cb3bab9ea958e authored over 2 years ago by Fabien Chouteau <[email protected]>

Update README.md (#4)

* Update README.md

github.com/alire-project/ada_spark_workflow - c9ef8b16e6efcedbccdb07314bf624e0c49da445 authored over 2 years ago by Fabien Chouteau <[email protected]>

Correct msys2 externals for libblas, liblapack (#521)

* index/li/libblas/libblas-external.toml: uncomment the msys2 origin
and make it to lapac...

github.com/alire-project/alire-index - 5883ec53d09393e4ecc2112b3985fc4167cf18bd authored over 2 years ago by Simon Wright <[email protected]>

json 5.0.2 (#510)

github.com/alire-project/alire-index - 2c3fbae2a16beefaff0f4e7057aa629f7c3b05d4 authored over 2 years ago by onox <[email protected]>

alire.toml: Bump version to 1.2-rc1

github.com/alire-project/alire - 82fd26a70413a40a1ca2e80a08338ed7f271bfba authored over 2 years ago by GHA <[email protected]>

Bump version to 1.3-dev

github.com/alire-project/alire - 851885ccdcd0415eaa253a983bc6d52265fcbb69 authored over 2 years ago by GHA <[email protected]>

Sync with release/1.2

Bump alr and index versions to 1.2

github.com/alire-project/alire - 9e494d5ee6595782898b7d661c768c87652e350d authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Bump alr and index versions to 1.2

github.com/alire-project/alire - 28323f369cd6baca8b52d1354e1244c87c70114f authored over 2 years ago by GHA <[email protected]>

Sync 1.1 and 1.2

Sync index versions 1.1 and 1.2

github.com/alire-project/alire-index - 475e11f53e798833dc6a0da98a9ec535eac5c611 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Fix retrieval of git root and prefix inside repo (#1024)

* Fix retrieval of git root and prefix inside repo

* Fix instantiation on older compilers

...

github.com/alire-project/alire - d183708a46e2be4012ceaee2f472dffb96f1c15f authored over 2 years ago by Alejandro R Mosteo <[email protected]>

New `alr get --dirname` switch (#1014)

* Alr.Commands.Get: New --dirname switch

This switch just shows in which folder the just down...

github.com/alire-project/alire - e33900ebb4ad533cc305958d25e5bb94fa7af8f4 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Create zipball with full sources for releases (#1023)

* Create asset for full sources with submodules

* No need to run in multiple OSes

Co-autho...

github.com/alire-project/alire - 20113f3ce7929a06735099a8961e05ae3a1951ff authored over 2 years ago by Alejandro R Mosteo <[email protected]>

libblas, liblapack external (#517)

These only support linux; not needed on macOS, and the msys2 libraries can't
be installed becau...

github.com/alire-project/alire-index - f1f01383e705d20556d67e94d0aa362f4251a0b2 authored over 2 years ago by Simon Wright <[email protected]>

eeprom_i2c 3.0.1 (#516)

github.com/alire-project/alire-index - 85994f8c722299822c0f91955cef5f964d5a9294 authored over 2 years ago by Holger Rodriguez <[email protected]>

aaa 0.2.5 (#515)

Co-authored-by: GHA <[email protected]>

github.com/alire-project/alire-index - 5329cffbd600757cc133bd6745424772e8c51049 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Don't detect external tools when they're not (#1018)

github.com/alire-project/alire - 0f19b4f3995d21f191b701bae7f3c8b808fec8f7 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Properly detect domain in publishing assistant (#1020)

Fixes #1011

Co-authored-by: GHA <[email protected]>

github.com/alire-project/alire - 209acd42af155be44593d9504e4eb69895ec35be authored over 2 years ago by Alejandro R Mosteo <[email protected]>

header.html: remove "beta" banner

github.com/alire-project/alire.ada.dev - c37329feecfed8df0b0c1b06d056e74ff3780de2 authored over 2 years ago by Fabien Chouteau <[email protected]>

Avoid appending to sources (#16)

github.com/alire-project/alire.ada.dev - 0255e371578a8dabe4420bfc66b3063e04028f46 authored over 2 years ago by Jesper Quorning <[email protected]>

Load the index when dependencies are needed (#1019)

* Load the index when dependencies are needed

* Test for this fix

Co-authored-by: GHA <act...

github.com/alire-project/alire - c38d3606f504a7d985e3468e79dee33f0a615246 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Fix hover on top tags and unique ids (#14)

* Fix hover in top section, likewise for letter sections

* Unordered list for each tag

Uni...

github.com/alire-project/alire.ada.dev - ab3952c26e65af89c473fd727fe57b4007d429f6 authored over 2 years ago by Jesper Quorning <[email protected]>

midi 0.1.0 (#514)

github.com/alire-project/alire-index - 8e1474696c5058aa54bf9d52ecc39b885582c126 authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix html validation warning and error (#15)

* Fix lang attribute validation warning

* Fix http-equiv validation error

* Logo image alt...

github.com/alire-project/alire.ada.dev - 52556b4ee688e66d25d645f368131929323e40d6 authored over 2 years ago by Jesper Quorning <[email protected]>

resources 0.1.0 (#511)

github.com/alire-project/alire-index - 347186f252cc94e350b5f4bedb2dd4638d8081a5 authored over 2 years ago by Fabien Chouteau <[email protected]>

tests/crate_config/basic: fix arm64 expected host (#1015)

Co-authored-by: GHA <[email protected]>

github.com/alire-project/alire - 8858e90ef68bb7c242f4d712e088e7d73738c688 authored over 2 years ago by Fabien Chouteau <[email protected]>

Update msys installer (#1017)

Co-authored-by: GHA <[email protected]>

github.com/alire-project/alire - c235b098c75eff96246966598b1fb03229d5f109 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Update default stable release to 1.1.3 (#31)

Co-authored-by: GHA <[email protected]>

github.com/alire-project/setup-alire - dee17535afebb29c4557f91f16a96a42f1369189 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Update diff-release.yml (#513)

github.com/alire-project/alire-index - 35b1629c4b39b0dce0689f4d651b39d95d793c6c authored over 2 years ago by Fabien Chouteau <[email protected]>

rp2040_hal, pico_bsp, pico_examples 1.5.0 (#512)

github.com/alire-project/alire-index - 383c335a871edfd6f504ff7583a2f3b5bc69f273 authored over 2 years ago by Jeremy Grosser <[email protected]>

Show just the version with `alr --version` (#1013)

* Add a new --version standalone switch

* Add a couple of new tests

github.com/alire-project/alire - be2906193d09eadd6300dd83ff66e89c46edd6ab authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Fix style and clean manifests

github.com/alire-project/resources - a418da627ec3d18f50f60edaee41a2f47f173a0e authored over 2 years ago by Fabien Chouteau <[email protected]>

Bump index version (#1009)

* Alire.Index_On_Disk: Drop index cache after deletion

Also ensure that all index addition fu...

github.com/alire-project/alire - d34cc53d5d865adc07e8c43f89d1e002c9629a24 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Alire.Index_On_Disk: Drop index cache after deletion (#1010)

Also ensure that all index addition functions operate with fresh index
information

Co-author...

github.com/alire-project/alire - 797d20b56da5cb29a0567f64902ba1502a2f56bc authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Bump the index version

github.com/alire-project/alire-index - b6cf1c50d85eb00c159e23dadadc0eb5896df2db authored over 2 years ago by GHA <[email protected]>

CHANGELOG.md: document index versioning wrt changes

github.com/alire-project/alire-index - 036c8aa12e676891939ac0924506202cdabcaa15 authored over 2 years ago by GHA <[email protected]>

Cache index detection and crate loading (#1008)

github.com/alire-project/alire - 8041edfe7fda408ad19b4b61bc6c0282c021a0a4 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Check old license format in crate submissions (#508)

* gh-build-crate.sh: check index in strict mode

* Add specific check for "Warning:" during in...

github.com/alire-project/alire-index - 72cf7397e67ea5f8b63d3a9ad00ecb85f5c95beb authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Delete spurious file in root folder of index (#507)

github.com/alire-project/alire-index - 19bf0ee3822a3b17a62be269ffd03b6afbf7a244 authored over 2 years ago by onox <[email protected]>

Implement load of individual crates from index (#1006)

* Make index set its own type

* Basics for individual crate loading in place

* Complete si...

github.com/alire-project/alire - 82f45dcb2f28f00687b648315760c1e7c985b47e authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Fix Licenses in ini_files (#506)

Co-authored-by: GHA <[email protected]>

github.com/alire-project/alire-index - 1cbd810d58d716e4c494c4de41619cd7c9f3320a authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Alr.Commands.Init: Create share folder for resources (#1003)

Note that gprinstall won't complain if this folder doesn't exists, so
users can decided to leav...

github.com/alire-project/alire - cf8e10beead2dfa96e4018e954a59994615c349a authored over 2 years ago by Fabien Chouteau <[email protected]>

Alr.Commands.Init: change default version for new crates to 0.1.0-dev (#1004)

github.com/alire-project/alire - 1c4459d4497ec57cf425ef7eee67b9078ea9b328 authored over 2 years ago by Fabien Chouteau <[email protected]>

ini_files 10.0.0 (#505)

* Create ini_files-10.0.0.toml

A new try, with `name` and `version` fields *and* underscore i...

github.com/alire-project/alire-index - 54e770268068d9ca52a33b43c74d1145fd09867f authored over 2 years ago by Gautier de Montmollin <[email protected]>

septum 0.0.7 (#503)

* Add files via upload

* Update the README

* Add files via upload

* Delete septum-0.0.7...

github.com/alire-project/alire-index - 7ce2f18f32c8c777b3251f5c5adc75691f16e94d authored over 2 years ago by Paul Jarrett <[email protected]>

Update getting-started.md (#1000)

* Update getting-started.md

github.com/alire-project/alire - 4a361181ec6535fc001ffbcff55463977b3ee412 authored over 2 years ago by Fabien Chouteau <[email protected]>

Add trendy-terminal 0.0.5 (#502)

* Add trendy-terminal 0.0.5

* Update alire.toml

github.com/alire-project/alire-index - 6c34f72f171d3fafd3a38066353be2cce9b43fbe authored over 2 years ago by Paul Jarrett <[email protected]>

apdf 5.0.3 (#501)

* Create apdf-5.0.3.toml

New crate descriptor points to 3rd release of the #005 version of AP...

github.com/alire-project/alire-index - 9056a6db93d4db8d8a2bbe91200ad2651a893461 authored over 2 years ago by Gautier de Montmollin <[email protected]>

Release workflow

github.com/alire-project/ada_spark_workflow - 2cf1978746fc974731fe87bbef6909b78a442cb7 authored over 2 years ago by Fabien Chouteau <[email protected]>

Alire.Properties.Configurations: revert forced mixed case (#998)

* Alire.Properties.Configurations: revert forced mixed case

Forcing mixed case for enum value...

github.com/alire-project/alire - 63820d31d6ced1d86d7dd9e4493bfcfa818befe7 authored over 2 years ago by Fabien Chouteau <[email protected]>

chests 0.1.1 (#500)

github.com/alire-project/alire-index - 90abede4902bd50813c91dd6f24d8b5cd5cbb030 authored over 2 years ago by Jeremy Grosser <[email protected]>

gid 10.0.0 (#498)

New v.10:
* Added a decoder for the QOI (Quite OK Image) format
* Added an all RGB demo

For...

github.com/alire-project/alire-index - 0c641ec7b482b617be7942533d8c76c00fb7aa61 authored over 2 years ago by Gautier de Montmollin <[email protected]>

chests 0.1.0 (#497)

github.com/alire-project/alire-index - c2d1a69e4cb2c8f882424fb66ded74df15abf86a authored over 2 years ago by Jeremy Grosser <[email protected]>

Update README.md

github.com/alire-project/ada_spark_workflow - e8011329cd0fa4466dba4dafa44955ebec589cc1 authored over 2 years ago by Fabien Chouteau <[email protected]>

Refactor Alire.Features.Indes -> Alire.Index_On_Disk.Loading (#992)

The Alire.Features.* hierarchy was ill-conceived so getting rid of it by moving
a package around.

github.com/alire-project/alire - c29ebf78de07bb73f3ca7c218cc8fa27c27bce99 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

GitHub workflow (build, gnatprove, gnatcov)

github.com/alire-project/ada_spark_workflow - fa89cd642205987dbf70a0a4b44cbada527e4106 authored over 2 years ago by Fabien Chouteau <[email protected]>

New `action` subcommand (#983)

* New 'action' subcommand, listing supported

* Alr.Commands.Action: Add execution of given ac...

github.com/alire-project/alire - b12a2e355626370f36ecd7cc4773ca12582cecda authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Alire.Crate_Configuration: Fix pragma No_Elaboration_Code (#987)

pragma No_Elaboration_Code_All has an impact on implicitly or explicitly with’ed units:
https:/...

github.com/alire-project/alire - 76df0a9dff7b4a23f1574f42dee859fb6c0c875c authored over 2 years ago by Fabien Chouteau <[email protected]>

dependency_graph_extractor 0.1.0 (#496)

* Rejuvenation 0.1.0 release

First release of Rejuvenation-Ada in Alire.

* First release o...

github.com/alire-project/alire-index - 4b7e8439cd809ad4ee26e5578ec2d41e91e92e83 authored over 2 years ago by pjljvandelaar <[email protected]>

Alr.Command: fix gnatcov built-in alias (#986)

The first argument of gnatcov must be the action (`instrument`, `coverage`, etc.).

github.com/alire-project/alire - cde7f2b91fe6ce5fc5c99956bff92ecaf8e63d8f authored over 2 years ago by Fabien Chouteau <[email protected]>

Pass SPARK proof

github.com/alire-project/ada_spark_workflow - 11a9d15bdb042b61fa43a62d67790563b54fd72b authored over 2 years ago by Fabien Chouteau <[email protected]>

Alire.Utils.Switches: Disable contracts for Development profile (#979)

This was probably too aggressive as contracts severely impact performances.

github.com/alire-project/alire - 25fa18a7d424b1057aa719c5640e76a3b39cb747 authored over 2 years ago by Fabien Chouteau <[email protected]>

Alr.Commands.Init: Fix missing config src dir (#981)

github.com/alire-project/alire - 3195173f5186346d5478d8c2413214e945c55eb3 authored over 2 years ago by Fabien Chouteau <[email protected]>

Reject manifest keys with underscores (#980)

These were slipping in before due to improper validation

github.com/alire-project/alire - 559aac7c877939c521a1ba4e271b08a3d98333c4 authored over 2 years ago by Alejandro R Mosteo <[email protected]>

rejuvenation 0.1.0 (#495)

First release of Rejuvenation-Ada in Alire.

github.com/alire-project/alire-index - 5bec9bab9f55113abefe2098b6323eaf45f2a9bf authored over 2 years ago by pjljvandelaar <[email protected]>

First version of example project

github.com/alire-project/ada_spark_workflow - 561cf9be81adb470a82c0a640d5f5cde50356c7b authored over 2 years ago by Fabien Chouteau <[email protected]>

edc_client 1.4.0 (#494)

github.com/alire-project/alire-index - a4ec7c4840c8f863e3d88b6c82540893a3b3a66f authored over 2 years ago by Holger Rodriguez <[email protected]>

Fix some rich output that eluded --no-color/--no-tty (#978)

* Fix some colored unicode not disabled by --no-tty

* Update manifest pin for clic to match s...

github.com/alire-project/alire - 016b931600f5641d1e2bcd3e6b4b777dc4d37ddc authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Use proper index versioning for backwards compatibility (#975)

* Use index versioning for backwards compatibility

* Improvements to wording of errors

* N...

github.com/alire-project/alire - 94ea95dab4ef7e5310d068b8219d8709e264023d authored over 2 years ago by Alejandro R Mosteo <[email protected]>