actually guard CMSIS irq renaming by use of cmsis lib

Author: kilograham

src/rp2_common/cmsis/CMakeLists.txt

@@ -50,7 +50,7 @@ set(PICO_CMSIS_VENDOR RaspberryPi)
 set(PICO_CMSIS_DEVICE RP2040)
 
 if (PICO_CMSIS_CORE_PATH)
-    add_library(cmsis_core INTERFACE)
+    pico_add_impl_library(cmsis_core)
     target_sources(cmsis_core INTERFACE
             ${PICO_CMSIS_CORE_PATH}/CMSIS/Device/${PICO_CMSIS_VENDOR}/${PICO_CMSIS_DEVICE}/Source/system_${PICO_CMSIS_DEVICE}.c
     )

src/rp2_common/cmsis/include/cmsis/rename_exceptions.h

@@ -7,6 +7,7 @@
 #ifndef _CMSIS_RENAME_EXCEPTIONS_H
 #define _CMSIS_RENAME_EXCEPTIONS_H
 
+#if LIB_CMSIS_CORE
 // PICO_CONFIG: PICO_CMSIS_RENAME_EXCEPTIONS, Whether to rename SDK exceptions such as isr_nmi to their CMSIS equivalent i.e. NMI_Handler, type=bool, default=1, group=cmsis_core
 
 // Note that since this header is included at the config stage, if you wish to override this you should do so via build compiler define
@@ -48,4 +49,5 @@
 #define isr_irq25 RTC_IRQ_Handler
 #endif
 
+#endif
 #endif /* _CMSIS_RENAME_EXCEPTIONS_H */