mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer-rs.git
synced 2024-11-12 12:31:15 +00:00
15d5d169a3
It's 2020.
58 lines
1.7 KiB
Python
Executable file
58 lines
1.7 KiB
Python
Executable file
#!/usr/bin/env python3
|
|
|
|
from os import listdir
|
|
from os.path import isfile, join
|
|
from subprocess import call
|
|
import sys
|
|
|
|
need_rebuild = False
|
|
|
|
def update_workspace():
|
|
try:
|
|
call(['bash', '-c', 'cd gir && cargo build --release'])
|
|
except:
|
|
return False
|
|
return True
|
|
|
|
|
|
if not isfile('./gir/src'):
|
|
need_rebuild = True
|
|
print('=> Initializing gir submodule...')
|
|
call(['bash', '-c', 'git submodule update --init'])
|
|
print('<= Done!')
|
|
|
|
question = 'Do you want to update gir submodule? [y/N] '
|
|
if sys.version_info[0] < 3:
|
|
line = raw_input(question)
|
|
else:
|
|
line = input(question)
|
|
line = line.strip()
|
|
if line.lower() == 'y':
|
|
need_rebuild = True
|
|
print('=> Updating gir submodule...')
|
|
call(['bash', '-c', 'cd gir && git reset --hard HEAD && git pull -f origin master'])
|
|
print('<= Done!')
|
|
|
|
if need_rebuild is True or not os.path.isfile('./gir/target/release/gir'):
|
|
print('=> Building gir...')
|
|
if update_workspace() is True:
|
|
print('<= Done!')
|
|
else:
|
|
print('<= Failed...')
|
|
sys.exit(1)
|
|
|
|
print('=> Regenerating crates...')
|
|
for entry in [f for f in listdir('.') if isfile(join('.', f))]:
|
|
if entry.startswith('Gir_Gst') and entry.endswith('.toml'):
|
|
print('==> Regenerating "{}"...'.format(entry))
|
|
try:
|
|
call(['./gir/target/release/gir', '-c', entry])
|
|
except Exception as err:
|
|
print('The following error occurred: {}'.format(err))
|
|
line = input('Do you want to continue? [y/N] ').strip().lower()
|
|
if line != 'y':
|
|
sys.exit(1)
|
|
print('<== Done!')
|
|
call(['cargo', 'fmt'])
|
|
print('<= Done!')
|
|
print("Don't forget to check if everything has been correctly generated!")
|