Building for qemu-arm-virt fails in init-build.sh

[diekmann]

Building for qemu-arm-virt fails:

~/sel4-webserver-arm$ mkdir build/
~/sel4-webserver-arm$ cd build/
~/sel4-webserver-arm/build$ ../init-build.sh -DPLATFORM=qemu-arm-virt
loading initial cache file /home/user/sel4-webserver-arm/projects/webserver/settings.cmake
-- Found seL4: /home/user/sel4-webserver-arm/kernel  
-- Default cpu specified for virt board: cortex-a53
-- QEMU MEMORY is: 2048
CMake Error at /home/user/sel4-webserver-arm/kernel/src/plat/qemu-arm-virt/config.cmake:73 (string):
  string sub-command STRIP requires two arguments.
Call Stack (most recent call first):
  /home/user/sel4-webserver-arm/kernel/configs/seL4Config.cmake:195 (include)
  /home/user/sel4-webserver-arm/kernel/FindseL4.cmake:21 (include)
  settings.cmake:84 (sel4_configure_platform_settings)


-- 
-- Default cpu specified for virt board: cortex-a53
-- QEMU MEMORY is: 2048
CMake Error at /home/user/sel4-webserver-arm/kernel/src/plat/qemu-arm-virt/config.cmake:73 (string):
  string sub-command STRIP requires two arguments.
Call Stack (most recent call first):
  /home/user/sel4-webserver-arm/kernel/configs/seL4Config.cmake:195 (include)
  /home/user/sel4-webserver-arm/kernel/FindseL4.cmake:21 (include)
  settings.cmake:84 (sel4_configure_platform_settings)
  CMakeLists.txt:14 (include)


-- 
-- The C compiler identification is GNU 9.3.0
-- The ASM compiler identification is GNU
-- Found assembler: /usr/bin/aarch64-linux-gnu-gcc
-- Check for working C compiler: /usr/bin/aarch64-linux-gnu-gcc
-- Check for working C compiler: /usr/bin/aarch64-linux-gnu-gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Found camkes-arm-vm: /home/user/sel4-webserver-arm/projects/camkes-arm-vm  
-- Found camkes-tool: /home/user/sel4-webserver-arm/projects/camkes-tool  
-- Found global-components: /home/user/sel4-webserver-arm/projects/global-components  
-- Found camkes-vm: /home/user/sel4-webserver-arm/projects/camkes-vm  
-- Found camkes-vm-images: /home/user/sel4-webserver-arm/projects/camkes-vm-images  
-- Found sel4_projects_libs: /home/user/sel4-webserver-arm/projects/seL4_projects_libs  
-- Found elfloader-tool: /home/user/sel4-webserver-arm/tools/seL4/elfloader-tool  
-- Found musllibc: /home/user/sel4-webserver-arm/projects/musllibc  
-- Found util_libs: /home/user/sel4-webserver-arm/projects/util_libs  
-- Found seL4_libs: /home/user/sel4-webserver-arm/projects/seL4_libs  
-- Found projects_libs: /home/user/sel4-webserver-arm/projects/projects_libs  
-- Found capdl: /home/user/sel4-webserver-arm/projects/capdl  
-- /home/user/sel4-webserver-arm/build/kernel/gen_headers/plat/machine/devices_gen.h is out of date. Regenerating from DTB...
WARNING:root:Only mapping 4096/65536 bytes from node /intc@8000000, region 0. Set kernel_size in YAML to silence.
WARNING:root:Only mapping 4096/65536 bytes from node /intc@8000000, region 1. Set kernel_size in YAML to silence.
WARNING:root:Only mapping 4096/65536 bytes from node /intc@8000000, region 2. Set kernel_size in YAML to silence.
interrupts for device /pl011@9000000
interrupts for device /intc@8000000
interrupts for device /timer
-- CPIO test cpio_reproducible_flag PASSED
-- Detecting cached version of: capDL-tool
-- Found Git: /usr/bin/git (found version "2.25.1") 
--   Found valid cache entry for capDL-tool
-- Found sel4runtime: /home/user/sel4-webserver-arm/projects/sel4runtime  
-- Performing Test compiler_arch_test
-- Performing Test compiler_arch_test - Success
-- libmuslc architecture: 'aarch64' (from KernelSel4Arch 'aarch64')
-- Detecting cached version of: musllibc
--   Not found cache entry for musllibc - will build from source
BenchUtiliz not available, as KernelArmExportPMUUser is OFF
-- Found camkes-vm-linux: /home/user/sel4-webserver-arm/projects/camkes-vm-linux  
-- Found lighttpd: /home/user/sel4-webserver-arm/projects/webserver/lighttpd  
-- Found docsite: /home/user/sel4-webserver-arm/projects/webserver/docsite  
-- /home/user/sel4-webserver-arm/build/ast.pickle is out of date. Regenerating...
-- /home/user/sel4-webserver-arm/build/camkes-gen.cmake is out of date. Regenerating...
-- Configuring incomplete, errors occurred!
See also "/home/user/sel4-webserver-arm/build/CMakeFiles/CMakeOutput.log".

Going to the specified file sel4-webserver-arm/kernel/src/plat/qemu-arm-virt/config.cmake:73, I see:

string(STRIP ${QEMU_OUTPUT_MESSAGE} QEMU_OUTPUT_MESSAGE)

Replacing this line with

string(STRIP "${QEMU_OUTPUT_MESSAGE}" QEMU_OUTPUT_MESSAGE)

makes the build succeed for me.