TARGET_PLATFORM -> EXTRA_MAKEFILE

Instead of specifiying a target platform that then picks the corresponding
Makefile to include, this commit changes it to a EXTRA_MAKEFILE argument.
That is a bit more general and not limited to baremetal targets.

Signed-off-by: Matthias J. Kannwischer <[email protected]>

Author: mkannwischer

.github/workflows/baremetal.yml

@@ -17,15 +17,15 @@ jobs:
         target:
          - runner: ubuntu-latest
            name: 'M55-AN547'
-           platform: m55-an547
+           makefile: test/baremetal/platform/m55-an547/platform.mk
            nix-shell: arm-embedded
     runs-on: ${{ matrix.target.runner }}
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
       - name: baremetal build + test
         uses: ./.github/actions/functest
         env:
-          TARGET_PLATFORM: ${{ matrix.target.platform }}
+          EXTRA_MAKEFILE: ${{ matrix.target.makefile }}
         with:
           nix-shell: ${{ matrix.target.nix-shell }}
           gh_token: ${{ secrets.GITHUB_TOKEN }}

Makefile

@@ -24,10 +24,9 @@ SHELL := /bin/bash
 
 all: build
 
-# Target platform for baremetal targets
-TARGET_PLATFORM ?=
-ifneq ($(TARGET_PLATFORM),)
-include test/mk/platform.mk
+# Extra Makefile to include, e.g., for baremetal targets
+ifneq ($(EXTRA_MAKEFILE),)
+include $(EXTRA_MAKEFILE)
 endif
 
 W := $(EXEC_WRAPPER)

test/baremetal/platform/m55-an547/platform.mk

@@ -1,6 +1,7 @@
 # Copyright (c) The mldsa-native project authors
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
+PLATFORM_PATH:=test/baremetal/platform/m55-an547
 HAL_SRC_DIR=$(PLATFORM_PATH)/src
 HAL_INC_DIR=$(PLATFORM_PATH)/inc