Commit Graph

19 Commits

Author SHA1 Message Date
César Sagaert b7615e306d gnat 15.2.0-1 (#1586) 2025-09-09 14:48:44 +02:00
César Sagaert 809638fab8 GNAT FSF 15.1.0 (#1500) 2025-06-04 18:58:08 +02: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
Fabien Chouteau 22ffe9848d GNAT FSF 14.2 (#1207) 2024-08-24 14:03:43 +02:00
Fabien Chouteau 9876169397 GNAT FSF 14.1.3 (#1087)
* GNAT FSF 14.1

* Replace GNAT 14.1.2 by 14.1.3

This new build fixes a problem with Arm Cortex-M run-times.

* Update gnat_native-14.1.3.toml
2024-06-10 10:37:12 +02:00
Alejandro R. Mosteo e04f0d4da2 Bump version to 1.3 and related fixes 2024-02-29 09:35:55 +01:00
Fabien Chouteau ed68b4e0c4 Fix description for RISC-V and AVR GNAT 13.2.1 (#969) 2024-01-19 11:29:07 +01:00
Fabien Chouteau 0ffe703dec GNAT FSF 13.2.1 (#908) 2023-10-19 11:00:25 +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
Fabien Chouteau 7136f5a8b3 gnat_native, gnat_arm_elf, gnat_avr_elf, gnat_riscv64_elf 13.1.0 (#890)
* GNAT 13.1 Native, ARM, RISC-V and AVR hosted on Windows x86_64 and Linux x86_64

* Fix tarball URLs
2023-09-06 10:05:22 +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
Fabien Chouteau 4ded60916f gnat, gnatprove 12.1.1 (#550)
* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml
2022-07-27 11:28:24 +02:00
Fabien Chouteau 7a09619df4 gnatprove 11.2.3, gnat 11.2.4 (#488) 2022-03-31 21:47:00 +02:00
Fabien Chouteau 680313cbaf gnat 11.2.3 (#407) 2021-11-19 12:25:14 +01:00
Fabien Chouteau 2b717eabc0 GNAT 11.2.2, GPRbuild 21.0.2, GNATcov 21.0.2 (#376)
* GNAT 11.2.2

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

* GPRbuild 21.0.1

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

* GNATcov 21.0.1

The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.
2021-09-30 17:16:55 +02:00
Fabien Chouteau 77eed57181 GNAT 10.3.2 (#375)
The Linux versions are built on ubuntu 18 instead of 20 for the .1
releases.
2021-09-29 18:06:38 +02:00
Fabien Chouteau 526dc9e01b Change binary crate version from X.Y.0-1 to X.Y.1 (#336)
* Change binary crate version from X.Y.0-1 to X.Y.1

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

* gnat_native-11.2.1.toml: typo in URL
2021-09-07 12:42:17 +02:00
Fabien Chouteau 6d4e6d6cec gnat 11.2 (native, arm-elf, riscv64-elf) (#330) 2021-09-02 12:36:19 +02:00
Fabien Chouteau 37ddcd9488 Rename GNAT crates (#302)
* Rename GNAT crates

I changed the names of the crates to what I think is more meaningful.

I  merged the Linux, Windows and macOS under a gnat_native that will be
easier to understand and use in my opinion.

I also added a licenses field.

One thing that we may want to improve is the values for the case
statements, for instance `[origin."case(os)".macos."case(word-size)".bits-64]`
will soon be a blocking point to support macOS on the M1.

Instead of word size we probably need something like: "case(CPU)" or
"case(arch)". Or even use full platform triplets: "case(host_triplet)".

* Add "provides" to gnat_external

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
2021-07-24 09:50:15 +02:00