GNAT-FSF-builds

GNAT-FSF-builds copied to clipboard

Fabien-Chouteau

gnatprove alt-ergo fails on macOS

4

On macOS Ventura... If I install gnatprove with "alr get gnatprove", then set PATH so I can run "gnatprove" directly from a Shell, I find that alt-ergo does not run...

rod-chapman

gdb depends on libpython3.8

6

After switching to the gnat-fsf-13.1.0 toolchain, arm-eabi-gdb stops working on Debian bookworm, because `libpython3.8.so.1.0` is unavailable. Python 3.11 is the release included with Debian stable. ``` synack@polar ~/src/rp2040_hal/tests(master) $ eval...

JeremyGrosser

unable to debug stm32f4 target

1

I have recently installed following toolchain on my machine and I am unable to debug STM32F4 discovery, attached are the logs and screenshot of the debugger. - OS/Hardware : Windows...

rvl13

gnat 12.2.1 does not link on Windows

6

$ alr toolchain --install gnat_native --install-dir=c:/home/stephe/.local ;;# include in PATH $ gprbuild hello using project file C:\home\stephe\.local\gprbuild_22.0.1_c842bbc5\share\gpr\_default.gpr Compile [Ada] hello.adb Bind [gprbind] hello.bexch [Ada] hello.ali Link [link] hello.adb c:/home/stephe/.local/gnat_native_12.2.1_c210a022/bin/../lib/gcc/x86_64-w64-mingw32/12.2.0/../../../../x86_64-w64-mingw32/bin/ld.exe: c:/home/stephe/.local/gnat_native_12.2.1_c210a022/bin/../libexec/gcc/x86_64-w64-mingw32/12.2.0/liblto_plugin.dll:...

stephe-ada-guru

Wrong gnatprove --version

5

I'm using `gnatprove_12.1.1_e1e1ce47`, which display the following version: ``` $ gnatprove --version 0.0w ```

reet-

Fabien-Chouteau

GCC 9

1

How about a release of GCC 9.5 [1] ? 9.5 is the latest / mature / completed GCC. [1] https://gcc.gnu.org/pipermail/gcc-announce/2022/000172.html

jquorning

Fabien-Chouteau

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

5

With gnatprove-11.2.0-3 (obtained via Alire), the alt-ergo prover does not work on Windows 10 due to a missing zlib1.dll. The following error appears when running `gnatprove --version`:  Here is...

damaki