cmake: invoke python3 explicitly

When running a python script from CMake, explicitly invoke Python via the `PYTHON3` variable defined in the seL4 CMake config, rather than relying on the script to specify its interpreter with `#!`. This makes it easier to override the Python interpreter used for all Python scripts called from CMake builds. Signed-off-by: Matthew Brecknell <[email protected]>
seL4 · Dec 15, 2021 · 1829e9c · 1829e9c
1 parent b979f7b
commit 1829e9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/elfloader-tool/CMakeLists.txt b/elfloader-tool/CMakeLists.txt
@@ -303,13 +303,13 @@ else()
             # must put the ELF-loader's payload in memory at a place that will be out of
             # the way of the kernel and user images that are extracted. In other words,
             # we don't want the ELF-loader (with its payload) to clobber itself.
-            "${PLATFORM_SIFT}"
+            "${PYTHON3}" "${PLATFORM_SIFT}"
             --emit-c-syntax "${platform_yaml}" > "${PLATFORM_INFO_H}"
         COMMAND
             # The `shoehorn` tool computes a reasonable image start address. It calls
             # `elf_sift` to obtain details about where the extracted payloads will be
             # and how big they are.
-            "${SHOEHORN}" "${platform_yaml}" "${ARCHIVE_O}" > "${IMAGE_START_ADDR_H}"
+            "${PYTHON3}" "${SHOEHORN}" "${platform_yaml}" "${ARCHIVE_O}" > "${IMAGE_START_ADDR_H}"
         VERBATIM
         DEPENDS
             # First command's dependencies