Fix build with precompiled

Author: will-v-pi

CMakeLists.txt

@@ -62,6 +62,12 @@ if (NOT DEFINED USE_PRECOMPILED)
     set(USE_PRECOMPILED true)
 endif()
 
+if (USE_PRECOMPILED)
+    set(EXTERNAL_PROJECT_INSTALL_COMMAND "")
+else()
+    set(EXTERNAL_PROJECT_INSTALL_COMMAND ${CMAKE_COMMAND} --install .)
+endif()
+
 # compile enc_bootloader.elf
 ExternalProject_Add(enc_bootloader
         PREFIX enc_bootloader
@@ -74,6 +80,7 @@ ExternalProject_Add(enc_bootloader
             "-DUSE_MBEDTLS=0"
             "-DPICO_DEBUG_INFO_IN_RELEASE=OFF"
         BUILD_ALWAYS 1 # todo remove this
+        INSTALL_COMMAND "${EXTERNAL_PROJECT_INSTALL_COMMAND}"
         )
 
 set(ENC_BOOTLOADER_ELF ${CMAKE_BINARY_DIR}/enc_bootloader/enc_bootloader.elf)
@@ -90,6 +97,7 @@ if (TARGET mbedtls)
                 "-DUSE_MBEDTLS=1"
                 "-DPICO_DEBUG_INFO_IN_RELEASE=OFF"
             BUILD_ALWAYS 1 # todo remove this
+            INSTALL_COMMAND "${EXTERNAL_PROJECT_INSTALL_COMMAND}"
             )
 
     set(ENC_BOOTLOADER_MBEDTLS_ELF ${CMAKE_BINARY_DIR}/enc_bootloader_mbedtls/enc_bootloader.elf)
@@ -107,6 +115,7 @@ if (NOT PICOTOOL_NO_LIBUSB)
                 "-DUSE_PRECOMPILED:BOOL=${USE_PRECOMPILED}"
                 "-DPICO_DEBUG_INFO_IN_RELEASE=OFF"
             BUILD_ALWAYS 1 # todo remove this
+            INSTALL_COMMAND "${EXTERNAL_PROJECT_INSTALL_COMMAND}"
             )
 
     set(XIP_RAM_PERMS_ELF ${CMAKE_BINARY_DIR}/xip_ram_perms/xip_ram_perms.elf)
@@ -122,6 +131,7 @@ if (NOT PICOTOOL_NO_LIBUSB)
                 "-DUSE_PRECOMPILED:BOOL=${USE_PRECOMPILED}"
                 "-DPICO_DEBUG_INFO_IN_RELEASE=OFF"
             BUILD_ALWAYS 1 # todo remove this
+            INSTALL_COMMAND "${EXTERNAL_PROJECT_INSTALL_COMMAND}"
             )
 
     set(FLASH_ID_BIN ${CMAKE_BINARY_DIR}/picoboot_flash_id/flash_id.bin)