[BUG] Building NuttX using CMakefile is missing CONFIG_BASE_DEFCONFIG definition

[acassis]

Description / Steps to reproduce the issue

Please refer to this issue: #16689

After comparing his .defconfig against mine I noticed the difference

On which OS does this issue occur?

[OS: Other], [OS: Linux]

What is the version of your OS?

Ubuntu 24.04

NuttX Version

mainline

Issue Architecture

[Arch: all]

Issue Area

[Area: Build System]

Host information

No response

Verification

• I have verified before submitting the report.

[arjav1528]

@acassis would like to work on this issue, could you please explain me more on this issue

[acassis]

These are the steps to reproduce the issue:

Testing using Makefile:

$ ./tools/configure.sh stm32h745i-disco:nsh

$ cp .config config_stm32h745_makefile

$ make distclean -j

Testing using CMake

$ cmake -B build -DBOARD_CONFIG=stm32h745i-disco:nsh -GNinja

$ cd build/

$ cp .config ../config_stm32h745_cmake

$ cd ..

$ meld config_stm32h745_makefile config_stm32h745_cmake

You will see that makefile created:

CONFIG_BASE_DEFCONFIG="stm32h745i-disco:nsh"

and cmake file is empty:

CONFIG_BASE_DEFCONFIG=""