From a551b87d871e0a73aeed0f5bd7f2e0dcb208140b Mon Sep 17 00:00:00 2001 From: timerix Date: Sat, 1 Apr 2023 17:10:39 +0600 Subject: [PATCH] embed_fonts added to pre_build --- tasks/clean_additions.sh | 1 + tasks/pre_build.sh | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/tasks/clean_additions.sh b/tasks/clean_additions.sh index 0b4389a..ed9660a 100644 --- a/tasks/clean_additions.sh +++ b/tasks/clean_additions.sh @@ -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_node_editor.tmp try_delete_dir_or_file fonts/generated +try_delete_dir_or_file libs/fonts_embedded.a diff --git a/tasks/pre_build.sh b/tasks/pre_build.sh index 25a5a01..15d452b 100644 --- a/tasks/pre_build.sh +++ b/tasks/pre_build.sh @@ -20,6 +20,12 @@ function handle_static_dependency { 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 imgui $KEREP_BUILD_TASK handle_static_dependency imgui-node-editor $KEREP_BUILD_TASK