could you please add armv7l ?
Open
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 162
- Forks
- 45
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start at Makefile:183 and inspect the build-native target and its architecture/toolchain selection for armv7l. Reproduce the reported gprbuild failure on the stated Raspberry Pi environment; done means the project builds without the unknown-ar error for armv7l.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100