Cross-compile from x86_64 linux to arm_v7 linux

[casey-SK]

Goal: Create a binary that can run on a Raspberry Pi (raspbian 32-bit) by compiling the code on an x86_64 computer (linux, debian).

Attempt:

run alr init:

alr init --bin hello

add the following line to hello.gpr:

for Target use "arm-linux-gnueabihf";

add the following to alire.toml

[[depends-on]] 
gnat_arm_elf = "*"

run alr build, receive the following error:

casey@rabbit2:~/Desktop/ada/hello$ alr build
ⓘ Synchronizing workspace...
Dependencies automatically updated as follows:                           

   +♼ gnat_arm_elf 12.2.1 (new,installed)

ⓘ Building hello/hello.gpr...
gprconfig: can't find a toolchain for the following configuration:
gprconfig: language 'ada', target 'arm-linux-gnueabihf', default runtime
Setup
   [mkdir]        object directory for project Hello
   [mkdir]        exec directory for project Hello
hello.gpr:2:09: no compiler for language "Ada", cannot compile "hello_config.ads"
gprbuild: *** compilation phase failed
error: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/casey/Desktop/ada/hello/hello.gpr"] exited with code 4
error: Compilation failed.

any assistance is greatly appreciated!

[Fabien-Chouteau]

The gnat_arm_elf compiler is for ARM microcontrollers only. You would need a GNAT arm-linux-gnueabihf which is not provided by Alire.