Commit Graph

8 Commits

Author SHA1 Message Date
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 9b5792cb12 Update gnat_native-11.2.0-1.toml (#332) 2021-09-02 15:33:55 +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