embed_fonts added to pre_build

This commit is contained in:
timerix 2023-04-01 17:10:39 +06:00
parent 5dbd00a65c
commit a551b87d87
2 changed files with 7 additions and 0 deletions

View File

@ -3,3 +3,4 @@ try_delete_dir_or_file .rebuild_kerep.tmp
try_delete_dir_or_file .rebuild_imgui.tmp try_delete_dir_or_file .rebuild_imgui.tmp
try_delete_dir_or_file .rebuild_imgui_node_editor.tmp try_delete_dir_or_file .rebuild_imgui_node_editor.tmp
try_delete_dir_or_file fonts/generated try_delete_dir_or_file fonts/generated
try_delete_dir_or_file libs/fonts_embedded.a

View File

@ -20,6 +20,12 @@ function handle_static_dependency {
fi fi
} }
if [ ! -f libs/fonts_embedded.a ]; then
if ! make embed_fonts; then
exit 1
fi
fi
handle_static_dependency kerep $KEREP_BUILD_TASK handle_static_dependency kerep $KEREP_BUILD_TASK
handle_static_dependency imgui $KEREP_BUILD_TASK handle_static_dependency imgui $KEREP_BUILD_TASK
handle_static_dependency imgui-node-editor $KEREP_BUILD_TASK handle_static_dependency imgui-node-editor $KEREP_BUILD_TASK