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

gnatprove bug report. No explanation

evanescente-ondine opened this issue 8 days ago

Native compilers for aarch64 on linux?

atalii opened this issue about 1 month ago

GNAT 14.2

Fabien-Chouteau opened this pull request 4 months ago

Fix SPARK on macos

Fabien-Chouteau opened this pull request 4 months ago

Build `esp32-elf` cross (without runtimes)

reznikmm opened this pull request 4 months ago

Target or "platform"?

reznikmm opened this issue 4 months ago

Gprbuild 24

Fabien-Chouteau opened this pull request 5 months ago

gprbuild 24.0.1 was built with libiconv-2.dll

reznikmm opened this issue 5 months ago

gnat_native 14.1 can't build shared libraries.

reznikmm opened this issue 5 months ago

Gnatprove wave

Fabien-Chouteau opened this pull request 6 months ago

Ada 2022 support in gnat_arm_elf

dinkelk opened this issue 6 months ago

Build GCC 14.1 on aarch64-apple-darwin.

reznikmm opened this pull request 6 months ago

Building GCC 14.1 for aarch64-apple-darwin

simonjwright opened this issue 7 months ago

GNATprove 14.1

Fabien-Chouteau opened this pull request 7 months ago

Update for GNAT FSF 14.1

Fabien-Chouteau opened this pull request 7 months ago

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

atalii opened this issue 9 months ago

SPARK macos aarch64

Fabien-Chouteau opened this pull request 9 months ago

macos_arm.yml: allow manual trigger of workflow

Fabien-Chouteau opened this pull request 10 months ago

Add scripts for MacOS X for ARM compiler

reznikmm opened this pull request 10 months ago

Problem: absence of gnatpp

yrashk opened this issue 10 months ago

Try GitHub large custom runners

Fabien-Chouteau opened this pull request about 1 year ago

Gnatprove 13 gprbuild 24

Fabien-Chouteau opened this pull request about 1 year ago

gnatprove alt-ergo fails on macOS

rod-chapman opened this issue about 1 year ago

Generation of C header files (-gnatceg) not working

rod-chapman opened this issue about 1 year ago

Gdb python static

Fabien-Chouteau opened this pull request about 1 year ago

Trying to build gnat-fsf-13 on Mac

simonjwright opened this issue over 1 year ago

Statically link gdb

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

gdb depends on libpython3.8

JeremyGrosser opened this issue over 1 year ago

unable to debug stm32f4 target

rvl13 opened this issue over 1 year ago

GCC 13.1 and dependencies update

Fabien-Chouteau opened this pull request over 1 year ago

gnat-riscv32-elf support?

dinkelk opened this issue almost 2 years ago

msp430-elf toolchain

JeremyGrosser opened this pull request almost 2 years ago

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

Irvise opened this issue almost 2 years ago

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

simonjwright opened this issue almost 2 years ago

Wrong gnatprove --version

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

gprbuild and gnatcov 23.0

Fabien-Chouteau opened this pull request about 2 years ago

GNAT FSF 12.2

Fabien-Chouteau opened this pull request over 2 years ago

GCC 9

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

binutils.anod: enable lto support

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

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

damaki opened this issue over 2 years ago

Problem getting this set up on NixOS

ethindp opened this issue over 2 years ago

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

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

GCC 12.1

Fabien-Chouteau opened this pull request over 2 years ago

Macos xcode and clu

Fabien-Chouteau opened this pull request almost 3 years ago

There is no `libada.gpr`

reznikmm opened this issue almost 3 years ago

Use action matrix for cross builds and enable avr-elf

Fabien-Chouteau opened this pull request about 3 years ago

Testing arm workflow

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

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

reznikmm opened this issue about 3 years ago

Build Linux tools on ubuntu-18.03 instead of latest

Fabien-Chouteau opened this pull request about 3 years ago

Build Linux tools on ubuntu-18.03 instead of latest

Fabien-Chouteau opened this pull request about 3 years ago

windows.yml: Add why3 build job

Fabien-Chouteau opened this pull request about 3 years ago

Build Linux tools on ubuntu-18.03 instead of latest

Fabien-Chouteau opened this pull request about 3 years ago

Build Linux tools on ubuntu-18.03 instead of latest

Fabien-Chouteau opened this pull request about 3 years ago

Use Ubuntu 18.04 to build binaries

reznikmm opened this issue over 3 years ago

First attempt at windows builds

kanigsson opened this pull request over 3 years ago

disable sandboxing of opam

kanigsson opened this pull request over 3 years ago

Add CI runs to build SPARK