issues
search
alire-project
/
GNAT-FSF-builds
Builds of the GNAT Ada compiler from FSF GCC releases
MIT License
32
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ada 2022 support in gnat_arm_elf
#69
dinkelk
opened
1 week ago
6
Build GCC 14.1 on aarch64-apple-darwin.
#68
reznikmm
closed
2 weeks ago
4
Building GCC 14.1 for aarch64-apple-darwin
#67
simonjwright
opened
3 weeks ago
2
GNATprove 14.1
#66
Fabien-Chouteau
opened
1 month ago
0
Update for GNAT FSF 14.1
#65
Fabien-Chouteau
closed
1 month ago
2
Failing Builds (Spark2014; e3-core 22.5.0; NixOS)
#64
atalii
closed
2 months ago
6
SPARK macos aarch64
#63
Fabien-Chouteau
closed
3 months ago
0
macos_arm.yml: allow manual trigger of workflow
#62
Fabien-Chouteau
closed
3 months ago
0
Add scripts for MacOS X for ARM compiler
#61
reznikmm
closed
3 months ago
1
Problem: absence of gnatpp
#60
yrashk
closed
4 months ago
4
Try GitHub large custom runners
#59
Fabien-Chouteau
closed
3 months ago
0
Gnatprove 13 gprbuild 24
#58
Fabien-Chouteau
closed
7 months ago
0
gnatprove alt-ergo fails on macOS
#57
rod-chapman
opened
8 months ago
4
Generation of C header files (-gnatceg) not working
#56
rod-chapman
closed
2 months ago
1
Gdb python static
#55
Fabien-Chouteau
closed
7 months ago
0
Trying to build gnat-fsf-13 on Mac
#54
simonjwright
closed
9 months ago
6
Statically link gdb
#53
JeremyGrosser
closed
10 months ago
1
Sourceforge returns 404 for isl-0.24, use gcc mirror instead.
#52
JeremyGrosser
closed
8 months ago
3
gdb depends on libpython3.8
#51
JeremyGrosser
closed
1 month ago
7
unable to debug stm32f4 target
#50
rvl13
opened
11 months ago
1
GCC 13.1 and dependencies update
#49
Fabien-Chouteau
closed
8 months ago
0
gnat-riscv32-elf support?
#48
dinkelk
closed
1 year ago
4
msp430-elf toolchain
#47
JeremyGrosser
closed
1 year ago
5
Add picolibc [RISC-V/AVR?/ARM?]
#46
Irvise
closed
1 year ago
1
Interfaces.C.Strings tries to call in libc’s strlen
#45
simonjwright
closed
1 year ago
6
Wrong gnatprove --version
#44
reet-
opened
1 year ago
5
gnat 12.2.1 does not link on Windows
#43
stephe-ada-guru
opened
1 year ago
6
gprbuild and gnatcov 23.0
#42
Fabien-Chouteau
opened
1 year ago
0
GNAT FSF 12.2
#41
Fabien-Chouteau
closed
1 year ago
0
GCC 9
#40
jquorning
opened
1 year ago
1
specs/bimutils.anod: bump to 2.38
#39
Fabien-Chouteau
closed
1 year ago
0
binutils.anod: enable lto support
#38
Fabien-Chouteau
opened
2 years ago
0
No line numbers in tracebacks with 11.2
#37
mosteo
closed
2 years ago
3
`ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails
#36
damaki
closed
2 years ago
1
Problem getting this set up on NixOS
#35
ethindp
closed
1 year ago
1
arm-eabi-gdb depends on libncurses.so.5
#34
JeremyGrosser
opened
2 years ago
3
Missing zlib1.dll for gnatprove-11.2.0-3 on Windows
#33
damaki
opened
2 years ago
5
GCC 12.1
#32
Fabien-Chouteau
closed
2 years ago
0
Macos xcode and clu
#31
Fabien-Chouteau
closed
2 years ago
0
There is no `libada.gpr`
#30
reznikmm
opened
2 years ago
0
Use action matrix for cross builds and enable avr-elf
#29
Fabien-Chouteau
closed
2 years ago
0
Testing arm workflow
#27
Fabien-Chouteau
opened
2 years ago
0
gprbuild and GNATcov 22.0.0
#26
Fabien-Chouteau
closed
2 years ago
0
`ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails
#25
reznikmm
closed
2 years ago
4
Build Linux tools on ubuntu-18.03 instead of latest
#24
Fabien-Chouteau
closed
2 years ago
0
Build Linux tools on ubuntu-18.03 instead of latest
#23
Fabien-Chouteau
closed
2 years ago
0
windows.yml: Add why3 build job
#22
Fabien-Chouteau
closed
2 years ago
0
Build Linux tools on ubuntu-18.03 instead of latest
#21
Fabien-Chouteau
closed
2 years ago
0
Build Linux tools on ubuntu-18.03 instead of latest
#20
Fabien-Chouteau
closed
2 years ago
0
Use Ubuntu 18.04 to build binaries
#19
reznikmm
closed
2 years ago
3
Next