On 6/11/2023 11:16 AM, Gregory Nutt wrote:
On 6/11/2023 11:07 AM, Mark Stevens wrote:
Is there any reason for not having the extension?
To me the extension adds information about the file.
The name is actually BIN = nuttx$(EXEEXT) but EXEEXT is not normally
defined.
Different toolchains generate executable images in different formats
and that format is not known at that level. If you want nuttx.elf
just define EXEEXT to be .elf in your Make.defs file.
There are a few examples:
$ find boards -name Make.defs | xargs grep EXEEXT
boards/arm/gd32f4/gd32f450zk-eval/scripts/Make.defs:EXEEXT = .elf
boards/arm/lpc43xx/bambino-200e/scripts/Make.defs:EXEEXT = .elf
boards/avr/atmega/arduino-mega2560/scripts/Make.defs:EXEEXT = .elf
boards/x86/qemu/qemu-i486/scripts/Make.defs:EXEEXT = .elf
boards/x86_64/intel64/qemu-intel64/scripts/Make.defs:EXEEXT = .elf