| 1234567891011121314151617181920212223 |
- #!/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")
|
