alire-project/GNAT-FSF-builds issues and pull requests

#69 - Ada 2022 support in gnat_arm_elf

Issue - State: open - Opened by dinkelk 6 days ago - 6 comments

#68 - Build GCC 14.1 on aarch64-apple-darwin.

Pull Request - State: closed - Opened by reznikmm 20 days ago - 4 comments

#67 - Building GCC 14.1 for aarch64-apple-darwin

Issue - State: open - Opened by simonjwright 25 days ago - 2 comments

#66 - GNATprove 14.1

Pull Request - State: open - Opened by Fabien-Chouteau about 1 month ago

#65 - Update for GNAT FSF 14.1

Pull Request - State: closed - Opened by Fabien-Chouteau about 1 month ago - 2 comments

#64 - Failing Builds (Spark2014; e3-core 22.5.0; NixOS)

Issue - State: closed - Opened by atalii 3 months ago - 6 comments

#63 - SPARK macos aarch64

Pull Request - State: closed - Opened by Fabien-Chouteau 4 months ago

#62 - macos_arm.yml: allow manual trigger of workflow

Pull Request - State: closed - Opened by Fabien-Chouteau 4 months ago

#61 - Add scripts for MacOS X for ARM compiler

Pull Request - State: closed - Opened by reznikmm 4 months ago - 1 comment

#60 - Problem: absence of gnatpp

Issue - State: closed - Opened by yrashk 5 months ago - 4 comments

#59 - Try GitHub large custom runners

Pull Request - State: closed - Opened by Fabien-Chouteau 7 months ago

#58 - Gnatprove 13 gprbuild 24

Pull Request - State: closed - Opened by Fabien-Chouteau 7 months ago

#57 - gnatprove alt-ergo fails on macOS

Issue - State: open - Opened by rod-chapman 8 months ago - 4 comments

#56 - Generation of C header files (-gnatceg) not working

Issue - State: closed - Opened by rod-chapman 8 months ago - 1 comment

#55 - Gdb python static

Pull Request - State: closed - Opened by Fabien-Chouteau 9 months ago

#54 - Trying to build gnat-fsf-13 on Mac

Issue - State: closed - Opened by simonjwright 10 months ago - 6 comments

#53 - Statically link gdb

Pull Request - State: closed - Opened by JeremyGrosser 10 months ago - 1 comment

#52 - Sourceforge returns 404 for isl-0.24, use gcc mirror instead.

Pull Request - State: closed - Opened by JeremyGrosser 10 months ago - 3 comments

#51 - gdb depends on libpython3.8

Issue - State: closed - Opened by JeremyGrosser 11 months ago - 7 comments

#50 - unable to debug stm32f4 target

Issue - State: open - Opened by rvl13 11 months ago - 1 comment

#49 - GCC 13.1 and dependencies update

Pull Request - State: closed - Opened by Fabien-Chouteau about 1 year ago

#48 - gnat-riscv32-elf support?

Issue - State: closed - Opened by dinkelk over 1 year ago - 4 comments

#47 - msp430-elf toolchain

Pull Request - State: closed - Opened by JeremyGrosser over 1 year ago - 5 comments

#46 - Add picolibc [RISC-V/AVR?/ARM?]

Issue - State: closed - Opened by Irvise over 1 year ago - 1 comment

#45 - Interfaces.C.Strings tries to call in libc’s strlen

Issue - State: closed - Opened by simonjwright over 1 year ago - 6 comments

#44 - Wrong gnatprove --version

Issue - State: open - Opened by reet- over 1 year ago - 5 comments
Labels: enhancement

#43 - gnat 12.2.1 does not link on Windows

Issue - State: open - Opened by stephe-ada-guru over 1 year ago - 6 comments

#42 - gprbuild and gnatcov 23.0

Pull Request - State: open - Opened by Fabien-Chouteau over 1 year ago

#41 - GNAT FSF 12.2

Pull Request - State: closed - Opened by Fabien-Chouteau almost 2 years ago

#40 - GCC 9

Issue - State: open - Opened by jquorning almost 2 years ago - 1 comment

#39 - specs/bimutils.anod: bump to 2.38

Pull Request - State: closed - Opened by Fabien-Chouteau about 2 years ago

#38 - binutils.anod: enable lto support

Pull Request - State: open - Opened by Fabien-Chouteau about 2 years ago

#37 - No line numbers in tracebacks with 11.2

Issue - State: closed - Opened by mosteo about 2 years ago - 3 comments

#36 - `ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails

Issue - State: closed - Opened by damaki about 2 years ago - 1 comment

#35 - Problem getting this set up on NixOS

Issue - State: closed - Opened by ethindp about 2 years ago - 1 comment

#34 - arm-eabi-gdb depends on libncurses.so.5

Issue - State: open - Opened by JeremyGrosser about 2 years ago - 3 comments

#33 - Missing zlib1.dll for gnatprove-11.2.0-3 on Windows

Issue - State: open - Opened by damaki about 2 years ago - 5 comments

#32 - GCC 12.1

Pull Request - State: closed - Opened by Fabien-Chouteau about 2 years ago

#31 - Macos xcode and clu

Pull Request - State: closed - Opened by Fabien-Chouteau over 2 years ago

#30 - There is no `libada.gpr`

Issue - State: open - Opened by reznikmm over 2 years ago

#29 - Use action matrix for cross builds and enable avr-elf

Pull Request - State: closed - Opened by Fabien-Chouteau over 2 years ago

#27 - Testing arm workflow

Pull Request - State: open - Opened by Fabien-Chouteau over 2 years ago

#26 - gprbuild and GNATcov 22.0.0

Pull Request - State: closed - Opened by Fabien-Chouteau over 2 years ago

#25 - `ar.exe` tries to load libdep.a (from lib\bfd-plugins) as a DLL and fails

Issue - State: closed - Opened by reznikmm over 2 years ago - 4 comments

#24 - Build Linux tools on ubuntu-18.03 instead of latest

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#23 - Build Linux tools on ubuntu-18.03 instead of latest

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#22 - windows.yml: Add why3 build job

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#21 - Build Linux tools on ubuntu-18.03 instead of latest

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#20 - Build Linux tools on ubuntu-18.03 instead of latest

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#19 - Use Ubuntu 18.04 to build binaries

Issue - State: closed - Opened by reznikmm almost 3 years ago - 3 comments

#18 - First attempt at windows builds

Pull Request - State: closed - Opened by kanigsson almost 3 years ago

#17 - disable sandboxing of opam

Pull Request - State: closed - Opened by kanigsson almost 3 years ago

#16 - Add CI runs to build SPARK

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago

#15 - Builds for SPARK2014 based on FSF GCC 11.2.0

Pull Request - State: closed - Opened by kanigsson almost 3 years ago - 2 comments

#14 - Update sanity-checking.yml

Pull Request - State: closed - Opened by Fabien-Chouteau almost 3 years ago