github.com/alire-project/GNAT-FSF-builds commits

Add gmp/libiconv as a dependency for gpr2

as a workaround of missing -Lgmp/iconv in gnatcoll-binding linker options.

37708df339f6df713c822950d5d93293937ad3c4 authored 10 months ago by Maxim Reznik <[email protected]>

Fix download URL for mingw

1c7cc562e4d957fc058fd04fd17dc7a030676fae authored 10 months ago by Maxim Reznik <[email protected]>

Fix zlib URL

229c4562764d365afeb77faa37bd822430b1c8eb authored 10 months ago by Maxim Reznik <[email protected]>

Add scripts for MacOS X for ARM compiler

869c4308e3b5a48eef6ec461f836c910ab851b6b authored 10 months ago by Maxim Reznik <[email protected]>

Bump gprconfig_kb version (22->23)

to have support for aarch64-apple-darwin

6da7f1f61032f92247bdee2e5e9a970138045515 authored 10 months ago by Maxim Reznik <[email protected]>

Filter out `-static` option on MacOS X

This is to fix gprbuild 24 on Mac OS. The error is

> ld: library not found for -lcrt0.o

The gp...

e65c2cb80729519b9240bed83fdcdc4b92fbe738 authored 10 months ago by Maxim Reznik <[email protected]>

GPRbuild 24.0.0

1af19fdea8321d34882c767801748a1228aeac4d authored about 1 year ago by Fabien Chouteau <[email protected]>

Build gnatprove with "base_gcc" to avoid waiting for the GNAT build

d5304a02ff49c322ac1c945d94a0a054544b2729 authored about 1 year ago by Fabien Chouteau <[email protected]>

GCC dependencies: use recommanded versions and download from gcc.gnu.org

ecdbbd4c71cc11dd8de28e42356eaff29702321a authored about 1 year ago by Fabien Chouteau <[email protected]>

Bump gnatprove version to 13.2

70f76dbdcb0d5c2ee664c3733169357d923e3dc2 authored about 1 year ago by Fabien Chouteau <[email protected]>

Also build gprbuild, gnatcoll, libgpr, and xmlada from "base_gcc"

b430eaacbc696d6ca1a2bd93ad59bd8048e472fd authored about 1 year ago by Fabien Chouteau <[email protected]>

Fix alt-ergo and why3 builds

6e555219cc15c5a5b21f93ada561ff07c372a944 authored about 1 year ago by Fabien Chouteau <[email protected]>

Bump GNAT release package version

1e09d11f11dc7eac388e833536817837bbf2a14e authored about 1 year ago by Fabien Chouteau <[email protected]>

spark2014.anod: fix typo in z3 tarball name

1a231fbd306db5766ca7bd296b57ceca39b94950 authored about 1 year ago by Fabien Chouteau <[email protected]>

Scripts to generate Alire manifests

4b9281427ec64daecac04f781ba0a3b2f16af6bd authored about 1 year ago by Fabien Chouteau <[email protected]>

Update embedded-runtimes

7aa4a1d864535c9da83114ba3d16ed58407d66ab authored about 1 year ago by Fabien Chouteau <[email protected]>

Upgrade GitHub CI runners for Linux and macOS

The current ones are not available anymore.

b0f3bf622916343ff4ff8da06cedf45df51b09c0 authored about 1 year ago by Fabien Chouteau <[email protected]>

.github/workflows/macos.yml: move to macos-12 and remove sanity check

ec2690a72862ee368646fde3c7d769d57dd90116 authored about 1 year ago by Fabien Chouteau <[email protected]>

Specify the number of jobs for make commands

This should limit the number of threads used during builds and
hopefully fix issues with GitHub ...

450ea7817f3eef8b9c5cb47dcfdb37679e6a04cc authored about 1 year ago by Fabien Chouteau <[email protected]>

Log commit id for Ocaml projects and use newer Ocaml setup action

3976fd734377d3f088332019817472fa1cd537a9 authored about 1 year ago by Fabien Chouteau <[email protected]>

Use fsf-13 branches of spark2014 and why3

ecabda2c17759a1fa3024d688fc426705e6abe04 authored about 1 year ago by Fabien Chouteau <[email protected]>

Fix GDB builds on windows

Disable ZSTD dependency which would otherwise take the msys2 libzstd and mess with the include s...

8a2f797cb3b0c80f6695d223d7e285e09078045c authored about 1 year ago by Fabien Chouteau <[email protected]>

Improve alt-ergo CI steps

44b0294d77f1b83f5cc8bec6dcb48eef79c855a8 authored about 1 year ago by Fabien Chouteau <[email protected]>

gcc: fix build on Windows

67803899ea9ea8a4580c3cd99bd6907e74f9d57b authored about 1 year ago by Fabien Chouteau <[email protected]>

Change ocaml version and source branch for why3 builds

21cdf693a817072e90baec67480cf05510e07133 authored about 1 year ago by Fabien Chouteau <[email protected]>

GCC 13.2

c1f6e0cf0906450a5b173ecb36511dc4e9ab490a authored about 1 year ago by Fabien Chouteau <[email protected]>

GitHub CI: change alt-ergo build script and branch

f9ade440a6a7bfb7d33e36b2254b6685870c5965 authored about 1 year ago by Fabien Chouteau <[email protected]>

Fix Ocaml setup and Linux and macOS

c393398b1b9ab0866e19d260fa52f364f5617c94 authored about 1 year ago by Fabien Chouteau <[email protected]>

specs/binutils.anod: explicitely disable zstd

This lib is present in the GitHub CI images for macOS and therefore
automatically enabled. That'...

3ba83e18fec735c16f82024f8d0067b3c107aad5 authored about 1 year ago by Fabien Chouteau <[email protected]>

Update spark2014 and dependencies

de28300a70a1b4dcba37130bf7c9354f31728a41 authored about 1 year ago by Fabien Chouteau <[email protected]>

Update MINGW to 11.0.0

204335827cdc9847e7581c9993477b6f796150d1 authored about 1 year ago by Fabien Chouteau <[email protected]>

.github/workflows/windows.yml: remove sanity check

af35944dbc6872a81e458793a1e616d9b76d63bb authored about 1 year ago by Fabien Chouteau <[email protected]>

.github/workflows/linux.yml: explicitly request bison install

b05159f3ad57b66e96dcfe13592d2a74e93201f1 authored about 1 year ago by Fabien Chouteau <[email protected]>

Remove sanity checking runs

They were never stabilized enough to be useful.

57195a43fa618a4f258df2648f9576d8be03fff3 authored about 1 year ago by Fabien Chouteau <[email protected]>

gcc.anod: remove macOS specific compiler flag

This is not needed anymore.

bcfd964bc42c0d37869227e64751cc15aa51937f authored about 1 year ago by Fabien Chouteau <[email protected]>

GCC 13.1 and dependencies update

- binutils 2.40
- gdb 13.1
- isl 0.26
- mingw 10.0.0
- mpc 1.3.1
- mpfr 4.2.0
- newlib 4....

c218c036c14ed7f954ae51f210b1b81caa74053d authored about 1 year ago by Fabien Chouteau <[email protected]>

.github/workflows/macos.yml: we don't need GNAT CE anymore

f75bd3166a240be0119413095c3cde6c3af1bd63 authored about 2 years ago by Fabien Chouteau <[email protected]>

Bump GNAT (12.2) and binutils (2.39) versions

72181856445b9109b092f2062b6a55c03fe36b14 authored about 2 years ago by Fabien Chouteau <[email protected]>

specs/release_package.anod: fix typo for AVR

d59ac88a3b47e1ccff831f5f4c5296473f815014 authored about 2 years ago by Fabien Chouteau <[email protected]>

Add avr-libc in avr-elf release package

ce9ec91f9dd9eeda542898b4f522f9c798470466 authored about 2 years ago by Fabien Chouteau <[email protected]>

Set fixed e3-core version

922341000ecdb40c0cbd3910b1d353a5f0e2d4f4 authored about 2 years ago by Fabien Chouteau <[email protected]>

Update README.md

657cfc6a524737a52cf1fdd55860d5e5f07d6b15 authored about 2 years ago by Fabien Chouteau <[email protected]>

specs/bimutils.anod: bump to 2.38

9064bfdde2f056bfd3f03d88ef55cdd36cc35b60 authored over 2 years ago by Fabien Chouteau <[email protected]>

Reset pkgver for GNAT and GNATprove

1cb9043048f6b5a01bf52b56a3d29ceb02c2816d authored over 2 years ago by Fabien Chouteau <[email protected]>

mingw.spec: build with jobs=1

c36867ecade38d598d3f5791236509314986375f authored over 2 years ago by Fabien Chouteau <[email protected]>

GDB: update link patch

15843c3298be1663ca0b78c7ec007ca283c6515e authored over 2 years ago by Fabien Chouteau <[email protected]>

Update SPARK sources

eaa0d38c286c8cf00851b6712f5c72c0e3de0df0 authored over 2 years ago by Fabien Chouteau <[email protected]>

binutils.anod: remove libdep.a from the install on Windows

#36

76a1580307bf14b7f766243f4bb3f9ac1663e994 authored over 2 years ago by Fabien Chouteau <[email protected]>

embedded_runtimes: update for GNAT FSF 12

12ab508585955254605d33e2fa65a999581b413f authored over 2 years ago by Fabien Chouteau <[email protected]>

spark2014: fix z3 tarball on macOS

92822705c5c5f0737520ffd6ec1f2eb603efc656 authored over 2 years ago by Fabien Chouteau <[email protected]>

Alt-ergo: change OCAML version

38d6385b01a32c390539d7f66a64b2a3c29d4728 authored over 2 years ago by Fabien Chouteau <[email protected]>

Use branches for GNATprove, alt-ergo, why3

5e7383c97bf72b330809ca74779ece3bb82757d7 authored over 2 years ago by Fabien Chouteau <[email protected]>

GCC 12.1

d3aee29e94a91a9f76412eb3967d0770e8cb5d4f authored over 2 years ago by Fabien Chouteau <[email protected]>

GNATprove packaging

74bfa26979bacfe76f51514250ebe57a836dcd24 authored over 2 years ago by Fabien Chouteau <[email protected]>

Tentative install dir fix

6685576605b57e36ab377011a67cb3bab9ea958e authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix why3 build os

0525aed76cea5cf9f61f39fa017aba6d489736e4 authored over 2 years ago by Fabien Chouteau <[email protected]>

Tentative prefix dir fix

521856e282eb9811bcac0eeaacdb9c73fa1c4273 authored over 2 years ago by Fabien Chouteau <[email protected]>

Why on all platforms

0ad2428e3b23a07c4b8df9227a97cdd0ed30ef27 authored over 2 years ago by Fabien Chouteau <[email protected]>

windows.yml: Add why3 build job

e7434f953e2cd15e987bc8050ceae6635c7738bc 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...

b86ab4db51e8cdf8babb90dab412728c0d33f64a authored over 2 years ago by Fabien Chouteau <[email protected]>

spark2014.spec: package share libgmp with gnatprove

24983b2ad432e72df50ec0486c608d4ca5a07417 authored over 2 years ago by Fabien Chouteau <[email protected]>

Build a shared libgmp for alt-ergo on macOS

c117e9df7b8177471640480eb36d1637d92d9e78 authored over 2 years ago by Fabien Chouteau <[email protected]>

Bump gnatprove pkgver

18b9b3c11db9e8073ea9acf28c774bf57798e9cb 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.

8c58247acc53c3a53d3a2bda84da4f6bfae817df authored over 2 years ago by Fabien Chouteau <[email protected]>

Revert spark job depdencies

cd775f37d0371b2674c0b9e0945ce0289fec2257 authored over 2 years ago by Fabien Chouteau <[email protected]>

Fix GNATcov sanity-check test

a4b9459f75ca3cda78c49213e7d18f243dbbe13f authored over 2 years ago by Fabien Chouteau <[email protected]>

Improve SPARK install

09aecf8c837ead6ec2242a478299088315135b1d authored over 2 years ago by Fabien Chouteau <[email protected]>

Download tarball from GitHub instead of cloning repo

120a3ccc9dae50bba5a41ce0c73adeb2acfe0e98 authored over 2 years ago by Fabien Chouteau <[email protected]>

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

08923deb625c608569512a27857362c38ac5b981 authored over 2 years ago by Fabien Chouteau <[email protected]>

Build SPARK2014 using why3 and alt-ergo artifacts

c0b5ed5c22f7bce71832c3c752d379dad0bfedb4 authored over 2 years ago by Fabien Chouteau <[email protected]>

Change workdir for alt-ergo

04e8d5ff1dbefa8592d78fdaefdb5a9dd148c443 authored over 2 years ago by Fabien Chouteau <[email protected]>

Change branch for why3 and alt-ergo

b4f2248a04994ce719e6fa6534203ed9a35cfcb6 authored over 2 years ago by Fabien Chouteau <[email protected]>

Rebase on 22.0

7192b403a5a996a95caf0754b6235eadd7b88ca3 authored over 2 years ago by Fabien Chouteau <[email protected]>

Add alt-ergo build

bbb0ce5c89f4d280c61078e996bfea2a5ee05525 authored over 2 years ago by Fabien Chouteau <[email protected]>

Use action matrix for cross builds and enable avr-elf

5f49cc184592cd64cb87b1e7e4453b35b5672a85 authored almost 3 years ago by Fabien Chouteau <[email protected]>

specs/release_package.anod: fir AVR target triplet

9e2f9e36d11cf6bf8cdb94254a1bcc38681b9bef authored almost 3 years ago by Fabien Chouteau <[email protected]>

Remove actions/checkout@v1 dependency

c764199d8752e0a99be4ae103db6af78a4ff59ce authored about 3 years ago by Fabien Chouteau <[email protected]>

Remove gprbuild/libgpr macOS patch

ce19d8ddcfa458421633028aa4f489b16ec7c8c2 authored about 3 years ago by Fabien Chouteau <[email protected]>

ISL: update source location

395537baaca5532dc355ceae5056148f6640f5ff authored about 3 years ago by Fabien Chouteau <[email protected]>

gprbuild and GNATcov 22.0.0

a53513c70923da56c25ecd6356222d87e7d2bc7a authored about 3 years ago by Fabien Chouteau <[email protected]>

Remove common.mk from GNATcov build

de5ddfe745043dd14da2bceceff00f2f91b459f8 authored about 3 years ago by Fabien Chouteau <[email protected]>

binutils: fix libdep.a error on Windows

bc99995a71bd3cf633004523f0d197f08eeed5c6 authored about 3 years ago by Fabien Chouteau <[email protected]>

Fix macOS host to 10.15 and Windows to 2019

8c5258f5d80f0b428eb39a88ceb9bc798c8216b4 authored about 3 years ago by Fabien Chouteau <[email protected]>

Build Linux tools on ubuntu-18.03 instead of latest

54d9077c546403f367181f36204fa97640baae89 authored about 3 years ago by Fabien Chouteau <[email protected]>

First attempt at windows builds

3e703bbaffd92053b91e6727ed30e819bfa9ca17 authored over 3 years ago by Johannes Kanig <[email protected]>

Builds for SPARK2014 based on FSF GCC 11.2.0

Anod specs for SPARK2014 builds.

* lib/anod/build.py
Fix a bug where it was hardcoded to sync t...

3c15a84e013af2d2b49b70e860de75cd106554da authored over 3 years ago by Johannes Kanig <[email protected]>

Merge pull request #14 from alire-project/sanitycheck-11.2

Update sanity-checking.yml

52991eeff6723cfa25b2c674b80d20c2184ec1af authored over 3 years ago by Fabien Chouteau <[email protected]>

Update sanity-checking.yml

58059c6bab574016ab00165dc08ef86459193a2b authored over 3 years ago by Fabien Chouteau <[email protected]>

Merge pull request #13 from alire-project/gnat-fsf-11-1-0

GNAT FSF 11.2

db05617b77f3c0f70b10d2d2af26d9f5591172ed authored over 3 years ago by Fabien Chouteau <[email protected]>

Bump embedded-runtime version

Fix newlib-bb.c symbol names.

a92a05a58a3783a8415ae2d1bf41e93cd4ca5aac authored over 3 years ago by Fabien Chouteau <[email protected]>

embedded-runtimes.anod: fix rts install location

22574e30fed332cdd4c29473f7f3440e770aa234 authored over 3 years ago by Fabien Chouteau <[email protected]>

GNAT FSF 11.2

c524c10672010b191000edba7e12fbdf88ec19e6 authored over 3 years ago by Fabien Chouteau <[email protected]>

Update embedded run-times

c385e8a64a53194a7401a9cec5029861894ce3f7 authored over 3 years ago by Fabien Chouteau <[email protected]>

Fix compiler dependency for cross builds

6eef5b994b835b5739a1a3791a76a298b64b5d32 authored over 3 years ago by Fabien Chouteau <[email protected]>

windows.yml: move build to the C: drive

There should be a lot more space available.

758da5a2ba83917f6169840497fcb337a96224cf authored over 3 years ago by Fabien Chouteau <[email protected]>

Update README.md

d5c66fc12c40a20f7cd8290e4958953a3c6c7cbc authored over 3 years ago by Fabien Chouteau <[email protected]>

Merge pull request #12 from alire-project/sanity-checking

Start sanity-checking testsuite

a49ce7eee6418f0baf71030849f9e0076e4fbf33 authored over 3 years ago by Fabien Chouteau <[email protected]>

Start sanity-checking testsuite

d1fc3e3e5becf19644f89e51beaa13a431779581 authored over 3 years ago by Fabien Chouteau <[email protected]>

Merge pull request #11 from alire-project/new_release_scheme

New release scheme

76f1064903b320f05896b3659c8ba57f9d224a6b authored over 3 years ago by Fabien Chouteau <[email protected]>

Change GitHub release scheme

Packages for different architectures are gathered in the same GH
release. For example all GNAT 1...

9cc2dcd6be32ba67bab11006cfc2cb1e7ec684f7 authored over 3 years ago by Fabien Chouteau <[email protected]>

Ecosyste.ms: OpenCollective

github.com/alire-project/GNAT-FSF-builds