Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/alire-project/GNAT-FSF-builds
Builds of the GNAT Ada compiler from FSF GCC releases
https://github.com/alire-project/GNAT-FSF-builds
Enable -mcmodel=medany by default on RiscV64
jklmnn opened this issue 15 days ago
jklmnn opened this issue 15 days ago
riscv64-ld does not support --eh-frame-hdr
jklmnn opened this issue 15 days ago
jklmnn opened this issue 15 days ago
Bootstrap AArch64 GNAT compiler by GCC 10.5 on Ubuntu ARM64
reznikmm opened this pull request 20 days ago
reznikmm opened this pull request 20 days ago
gnatprove bug report. No explanation
evanescente-ondine opened this issue about 2 months ago
evanescente-ondine opened this issue about 2 months ago
Native compilers for aarch64 on linux?
atalii opened this issue 3 months ago
atalii opened this issue 3 months ago
GNAT 14.2
Fabien-Chouteau opened this pull request 6 months ago
Fabien-Chouteau opened this pull request 6 months ago
Fix SPARK on macos
Fabien-Chouteau opened this pull request 6 months ago
Fabien-Chouteau opened this pull request 6 months ago
Build `esp32-elf` cross (without runtimes)
reznikmm opened this pull request 6 months ago
reznikmm opened this pull request 6 months ago
Target or "platform"?
reznikmm opened this issue 6 months ago
reznikmm opened this issue 6 months ago
Gprbuild 24
Fabien-Chouteau opened this pull request 6 months ago
Fabien-Chouteau opened this pull request 6 months ago
gprbuild 24.0.1 was built with libiconv-2.dll
reznikmm opened this issue 6 months ago
reznikmm opened this issue 6 months ago
gnat_native 14.1 can't build shared libraries.
reznikmm opened this issue 6 months ago
reznikmm opened this issue 6 months ago
Gnatprove wave
Fabien-Chouteau opened this pull request 7 months ago
Fabien-Chouteau opened this pull request 7 months ago
Ada 2022 support in gnat_arm_elf
dinkelk opened this issue 7 months ago
dinkelk opened this issue 7 months ago
Build GCC 14.1 on aarch64-apple-darwin.
reznikmm opened this pull request 8 months ago
reznikmm opened this pull request 8 months ago
Building GCC 14.1 for aarch64-apple-darwin
simonjwright opened this issue 8 months ago
simonjwright opened this issue 8 months ago
GNATprove 14.1
Fabien-Chouteau opened this pull request 8 months ago
Fabien-Chouteau opened this pull request 8 months ago
Update for GNAT FSF 14.1
Fabien-Chouteau opened this pull request 9 months ago
Fabien-Chouteau opened this pull request 9 months ago
Failing Builds (Spark2014; e3-core 22.5.0; NixOS)
atalii opened this issue 10 months ago
atalii opened this issue 10 months ago
SPARK macos aarch64
Fabien-Chouteau opened this pull request 11 months ago
Fabien-Chouteau opened this pull request 11 months ago
macos_arm.yml: allow manual trigger of workflow
Fabien-Chouteau opened this pull request 11 months ago
Fabien-Chouteau opened this pull request 11 months ago
Add scripts for MacOS X for ARM compiler
reznikmm opened this pull request 11 months ago
reznikmm opened this pull request 11 months ago
Problem: absence of gnatpp
yrashk opened this issue 12 months ago
yrashk opened this issue 12 months ago
Try GitHub large custom runners
Fabien-Chouteau opened this pull request about 1 year ago
Fabien-Chouteau opened this pull request about 1 year ago
Gnatprove 13 gprbuild 24
Fabien-Chouteau opened this pull request about 1 year ago
Fabien-Chouteau opened this pull request about 1 year ago
gnatprove alt-ergo fails on macOS
rod-chapman opened this issue over 1 year ago
rod-chapman opened this issue over 1 year ago
Generation of C header files (-gnatceg) not working
rod-chapman opened this issue over 1 year ago
rod-chapman opened this issue over 1 year ago
Gdb python static
Fabien-Chouteau opened this pull request over 1 year ago
Fabien-Chouteau opened this pull request over 1 year ago
Trying to build gnat-fsf-13 on Mac
simonjwright opened this issue over 1 year ago
simonjwright opened this issue over 1 year ago
Statically link gdb
JeremyGrosser opened this pull request over 1 year ago
JeremyGrosser opened this pull request over 1 year ago
Sourceforge returns 404 for isl-0.24, use gcc mirror instead.
JeremyGrosser opened this pull request over 1 year ago
JeremyGrosser opened this pull request over 1 year ago
gdb depends on libpython3.8
JeremyGrosser opened this issue over 1 year ago
JeremyGrosser opened this issue over 1 year ago
unable to debug stm32f4 target
rvl13 opened this issue over 1 year ago
rvl13 opened this issue over 1 year ago
GCC 13.1 and dependencies update
Fabien-Chouteau opened this pull request almost 2 years ago
Fabien-Chouteau opened this pull request almost 2 years ago
gnat-riscv32-elf support?
dinkelk opened this issue almost 2 years ago
dinkelk opened this issue almost 2 years ago
msp430-elf toolchain
JeremyGrosser opened this pull request about 2 years ago
JeremyGrosser opened this pull request about 2 years ago
Add picolibc [RISC-V/AVR?/ARM?]
Irvise opened this issue about 2 years ago
Irvise opened this issue about 2 years ago
Interfaces.C.Strings tries to call in libc’s strlen
simonjwright opened this issue about 2 years ago
simonjwright opened this issue about 2 years ago
Wrong gnatprove --version
reet- opened this issue about 2 years ago
reet- opened this issue about 2 years ago
gnat 12.2.1 does not link on Windows
stephe-ada-guru opened this issue about 2 years ago
stephe-ada-guru opened this issue about 2 years ago
gprbuild and gnatcov 23.0
Fabien-Chouteau opened this pull request over 2 years ago
Fabien-Chouteau opened this pull request over 2 years ago
GNAT FSF 12.2
Fabien-Chouteau opened this pull request over 2 years ago
Fabien-Chouteau opened this pull request over 2 years ago
GCC 9
jquorning opened this issue over 2 years ago
jquorning opened this issue over 2 years ago
specs/bimutils.anod: bump to 2.38
Fabien-Chouteau opened this pull request over 2 years ago
Fabien-Chouteau opened this pull request over 2 years ago
binutils.anod: enable lto support
Fabien-Chouteau opened this pull request over 2 years ago
Fabien-Chouteau opened this pull request over 2 years ago
No line numbers in tracebacks with 11.2
mosteo opened this issue over 2 years ago
mosteo opened this issue over 2 years ago
`ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails
damaki opened this issue over 2 years ago
damaki opened this issue over 2 years ago
Problem getting this set up on NixOS
ethindp opened this issue over 2 years ago
ethindp opened this issue over 2 years ago
arm-eabi-gdb depends on libncurses.so.5
JeremyGrosser opened this issue over 2 years ago
JeremyGrosser opened this issue over 2 years ago
Missing zlib1.dll for gnatprove-11.2.0-3 on Windows
damaki opened this issue over 2 years ago
damaki opened this issue over 2 years ago
GCC 12.1
Fabien-Chouteau opened this pull request over 2 years ago
Fabien-Chouteau opened this pull request over 2 years ago
Macos xcode and clu
Fabien-Chouteau opened this pull request almost 3 years ago
Fabien-Chouteau opened this pull request almost 3 years ago
There is no `libada.gpr`
reznikmm opened this issue about 3 years ago
reznikmm opened this issue about 3 years ago
Use action matrix for cross builds and enable avr-elf
Fabien-Chouteau opened this pull request about 3 years ago
Fabien-Chouteau opened this pull request about 3 years ago
Testing arm workflow
Fabien-Chouteau opened this pull request about 3 years ago
Fabien-Chouteau opened this pull request about 3 years ago
gprbuild and GNATcov 22.0.0
Fabien-Chouteau opened this pull request about 3 years ago
Fabien-Chouteau opened this pull request about 3 years ago
`ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails
reznikmm opened this issue over 3 years ago
reznikmm opened this issue over 3 years ago
Build Linux tools on ubuntu-18.03 instead of latest
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Build Linux tools on ubuntu-18.03 instead of latest
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
windows.yml: Add why3 build job
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Build Linux tools on ubuntu-18.03 instead of latest
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Build Linux tools on ubuntu-18.03 instead of latest
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Use Ubuntu 18.04 to build binaries
reznikmm opened this issue over 3 years ago
reznikmm opened this issue over 3 years ago
First attempt at windows builds
kanigsson opened this pull request over 3 years ago
kanigsson opened this pull request over 3 years ago
disable sandboxing of opam
kanigsson opened this pull request over 3 years ago
kanigsson opened this pull request over 3 years ago
Add CI runs to build SPARK
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Builds for SPARK2014 based on FSF GCC 11.2.0
kanigsson opened this pull request over 3 years ago
kanigsson opened this pull request over 3 years ago
Update sanity-checking.yml
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
GNAT FSF 11.2
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Start sanity-checking testsuite
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
New release scheme
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
GNAT FSF 10.3.0
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
macOS 2nd try
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Try artifacts
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Windows builds
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Fixes (only part-successful) for build on macOS.
simonjwright opened this pull request over 3 years ago
simonjwright opened this pull request over 3 years ago
Try macOS builds
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Add gnatcov builds and compile everything with the fresh GNAT
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Embedded rts
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
Create gprbuild-windows.yml
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago
First version of specs and scripts
Fabien-Chouteau opened this pull request over 3 years ago
Fabien-Chouteau opened this pull request over 3 years ago