2024-03-12 02:05:37 +08:00
|
|
|
"""Functions used to generate source files during build time"""
|
2018-03-18 06:23:55 +08:00
|
|
|
|
|
|
|
|
|
|
|
def make_splash(target, source, env):
|
2024-03-12 02:05:37 +08:00
|
|
|
src = str(source[0])
|
|
|
|
dst = str(target[0])
|
2018-03-18 06:23:55 +08:00
|
|
|
|
|
|
|
with open(src, "rb") as f:
|
|
|
|
buf = f.read()
|
|
|
|
|
2024-03-10 04:29:24 +08:00
|
|
|
with open(dst, "w", encoding="utf-8", newline="\n") as g:
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")
|
|
|
|
g.write("#ifndef BOOT_SPLASH_H\n")
|
|
|
|
g.write("#define BOOT_SPLASH_H\n")
|
2021-03-18 05:56:58 +08:00
|
|
|
# Use a neutral gray color to better fit various kinds of projects.
|
2020-03-30 14:28:32 +08:00
|
|
|
g.write("static const Color boot_splash_bg_color = Color(0.14, 0.14, 0.14);\n")
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("static const unsigned char boot_splash_png[] = {\n")
|
|
|
|
for i in range(len(buf)):
|
2020-03-25 21:36:03 +08:00
|
|
|
g.write(str(buf[i]) + ",\n")
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("};\n")
|
|
|
|
g.write("#endif")
|
|
|
|
|
|
|
|
|
|
|
|
def make_splash_editor(target, source, env):
|
2024-03-12 02:05:37 +08:00
|
|
|
src = str(source[0])
|
|
|
|
dst = str(target[0])
|
2018-03-18 06:23:55 +08:00
|
|
|
|
|
|
|
with open(src, "rb") as f:
|
|
|
|
buf = f.read()
|
|
|
|
|
2024-03-10 04:29:24 +08:00
|
|
|
with open(dst, "w", encoding="utf-8", newline="\n") as g:
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")
|
|
|
|
g.write("#ifndef BOOT_SPLASH_EDITOR_H\n")
|
|
|
|
g.write("#define BOOT_SPLASH_EDITOR_H\n")
|
2021-03-18 05:56:58 +08:00
|
|
|
# The editor splash background color is taken from the default editor theme's background color.
|
|
|
|
# This helps achieve a visually "smoother" transition between the splash screen and the editor.
|
|
|
|
g.write("static const Color boot_splash_editor_bg_color = Color(0.125, 0.145, 0.192);\n")
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("static const unsigned char boot_splash_editor_png[] = {\n")
|
|
|
|
for i in range(len(buf)):
|
2020-03-25 21:36:03 +08:00
|
|
|
g.write(str(buf[i]) + ",\n")
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("};\n")
|
|
|
|
g.write("#endif")
|
|
|
|
|
|
|
|
|
|
|
|
def make_app_icon(target, source, env):
|
2024-03-12 02:05:37 +08:00
|
|
|
src = str(source[0])
|
|
|
|
dst = str(target[0])
|
2018-03-18 06:23:55 +08:00
|
|
|
|
|
|
|
with open(src, "rb") as f:
|
|
|
|
buf = f.read()
|
|
|
|
|
2024-03-10 04:29:24 +08:00
|
|
|
with open(dst, "w", encoding="utf-8", newline="\n") as g:
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")
|
|
|
|
g.write("#ifndef APP_ICON_H\n")
|
|
|
|
g.write("#define APP_ICON_H\n")
|
|
|
|
g.write("static const unsigned char app_icon_png[] = {\n")
|
|
|
|
for i in range(len(buf)):
|
2020-03-25 21:36:03 +08:00
|
|
|
g.write(str(buf[i]) + ",\n")
|
2018-03-18 06:23:55 +08:00
|
|
|
g.write("};\n")
|
|
|
|
g.write("#endif")
|