New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

could you please add armv7l ? #213

Open

plavcik opened this issue Jun 17, 2021 · 1 comment

plavcik commented Jun 17, 2021

I'm trying to build AWS cloned from git.

I'm on Raspbian GNU/Linux 10 (buster), Raspberry Pi 4 Model B Rev 1.1, ARMv7 Processor rev 3 (v7l)

gnat --version
GNAT 8.3.0
Copyright (C) 1996-2018, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

make SOCKET=gnutls NETLIB=ipv4 setup
make build
gprbuild: unable to locate archive builder "unknown-ar"
make: *** [Makefile:183: build-native] Error 4

gprbuild --version
GPRBUILD Community 2018 (20180524) (arm-unknown-linux-gnueabihf)
Copyright (C) 2004-2018, AdaCore
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

fdesnoes commented Mar 14, 2022

did you find a solution for your reported issue?
I'm encountering the same problem on a Linux Ubuntu running on ARM64 processor.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment