You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
21 lines
489 B
Python
21 lines
489 B
Python
#!/usr/bin/env python
|
|
from misc.utility.scons_hints import *
|
|
|
|
Import("env")
|
|
|
|
import editor_theme_builders
|
|
|
|
# Fonts
|
|
flist = Glob("#thirdparty/fonts/*.ttf")
|
|
flist.extend(Glob("#thirdparty/fonts/*.otf"))
|
|
flist.extend(Glob("#thirdparty/fonts/*.woff"))
|
|
flist.extend(Glob("#thirdparty/fonts/*.woff2"))
|
|
flist.sort()
|
|
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")
|