2024-01-15 13:14:55 +01:00
|
|
|
#!/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,
|
2023-11-20 21:31:56 +01:00
|
|
|
env.Run(editor_theme_builders.make_fonts_header),
|
2024-01-15 13:14:55 +01:00
|
|
|
)
|
|
|
|
|
|
|
|
env.add_source_files(env.editor_sources, "*.cpp")
|