JIT: Do not precompile pico libs if armv6m+float32 is not in precompiled targets

pguyot · pguyot · commit 6de09d40863e · 2025-10-19T17:17:47.000+02:00
Signed-off-by: Paul Guyot &lt;pguyot@kallisys.net&gt;
diff --git a/CMakeModules/BuildErlang.cmake b/CMakeModules/BuildErlang.cmake
@@ -196,7 +196,7 @@ macro(pack_lib avm_name)
     )
     set(target_deps ${target_deps} ${avm_name}-pico.uf2 ${avm_name}-pico2.uf2)
 
-    if(NOT AVM_DISABLE_JIT OR AVM_ENABLE_PRECOMPILED)
+    if((NOT AVM_DISABLE_JIT OR AVM_ENABLE_PRECOMPILED) AND ("armv6m" IN_LIST AVM_PRECOMPILED_TARGETS OR "armv6m+float32" IN_LIST AVM_PRECOMPILED_TARGETS))
         add_custom_command(
             OUTPUT ${avm_name}-armv6m-pico.uf2
             DEPENDS ${avm_name}-armv6m.avm UF2Tool

Original file line number	Diff line number	Diff line change
`@@ -196,7 +196,7 @@ macro(pack_lib avm_name)`
`196`	`196`	`)`
`197`	`197`	`set(target_deps ${target_deps} ${avm_name}-pico.uf2 ${avm_name}-pico2.uf2)`
`198`	`198`
`199`		`- if(NOT AVM_DISABLE_JIT OR AVM_ENABLE_PRECOMPILED)`
	`199`	`+ if((NOT AVM_DISABLE_JIT OR AVM_ENABLE_PRECOMPILED) AND ("armv6m" IN_LIST AVM_PRECOMPILED_TARGETS OR "armv6m+float32" IN_LIST AVM_PRECOMPILED_TARGETS))`
`200`	`200`	`add_custom_command(`
`201`	`201`	`OUTPUT ${avm_name}-armv6m-pico.uf2`
`202`	`202`	`DEPENDS ${avm_name}-armv6m.avm UF2Tool`