mirror of
https://github.com/godotengine/godot.git
synced 2024-12-27 11:24:59 +08:00
23 lines
628 B
Python
23 lines
628 B
Python
#!/usr/bin/env python
|
|
|
|
Import("env")
|
|
|
|
import glob
|
|
import editor_theme_builders
|
|
|
|
|
|
# Fonts
|
|
flist = glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.ttf")
|
|
flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.otf"))
|
|
flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.woff"))
|
|
flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.woff2"))
|
|
flist.sort()
|
|
env.Depends("#editor/themes/builtin_fonts.gen.h", flist)
|
|
env.CommandNoCache(
|
|
"#editor/themes/builtin_fonts.gen.h",
|
|
flist,
|
|
env.Run(editor_theme_builders.make_fonts_header),
|
|
)
|
|
|
|
env.add_source_files(env.editor_sources, "*.cpp")
|