mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-25 09:48:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

And we have frozen builds working with kitty-tool

Browse Source
This commit is contained in:
Kovid Goyal
2022-08-16 23:39:36 +05:30
parent 1c7d6f8bc6
commit e9e7b97c48
4 changed files with 20 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
bypy/init_env.py
View File

@@ -77,6 +77,15 @@ def run_tests(kitty_exe):
raise SystemExit('Checking of kitty build failed')
def build_frozen_tools(kitty_exe):
cmd = SETUP_CMD + ['--prefix', os.path.dirname(kitty_exe)] + ['build-frozen-tools']
if run(*cmd, cwd=build_frozen_launcher.writeable_src_dir) != 0:
print('Building of frozen kitty-tool failed', file=sys.stderr)
os.chdir(KITTY_DIR)
run_shell()
raise SystemExit('Building of kitty-tool launcher failed')
def sanitize_source_folder(path: str) -> None:
for q in walk(path):
if os.path.splitext(q)[1] not in ('.py', '.glsl', '.ttf', '.otf'):