mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-27 12:11:13 +00:00
43 lines
1.3 KiB
Python
43 lines
1.3 KiB
Python
|
#!/usr/bin/python3
|
||
|
|
import os
|
||
|
|
import sys
|
||
|
|
from lxml import etree
|
||
|
|
|
||
|
|
from pathlib import Path as P
|
||
|
|
import argparse
|
||
|
|
|
||
|
|
PARSER = argparse.ArgumentParser()
|
||
|
|
PARSER.add_argument('builddir')
|
||
|
|
PARSER.add_argument('girs', nargs="+")
|
||
|
|
|
||
|
|
|
||
|
|
def make_rel(elem, gir_relpath):
|
||
|
|
filepath = P(elem.attrib["filename"])
|
||
|
|
filedir = filepath.parent
|
||
|
|
girdir = gir_relpath.parent
|
||
|
|
|
||
|
|
while filedir.name != girdir.name:
|
||
|
|
filedir = filedir.parent
|
||
|
|
|
||
|
|
while filedir.name == girdir.name:
|
||
|
|
filedir = filedir.parent
|
||
|
|
girdir = girdir.parent
|
||
|
|
elem.attrib["filename"] = str('..' / girdir / filepath)
|
||
|
|
|
||
|
|
|
||
|
|
if __name__ == "__main__":
|
||
|
|
opts = PARSER.parse_args()
|
||
|
|
girdir = P(__file__).parent.parent / 'girs'
|
||
|
|
|
||
|
|
for girfile in opts.girs:
|
||
|
|
gir_relpath = P(os.path.relpath(girfile, opts.builddir))
|
||
|
|
et = etree.parse(girfile)
|
||
|
|
# Remove line numbers from the girs as those would change all the time.
|
||
|
|
for n in et.iter("{http://www.gtk.org/introspection/core/1.0}source-position"):
|
||
|
|
del n.attrib["line"]
|
||
|
|
make_rel(n, gir_relpath)
|
||
|
|
for n in et.iter("{http://www.gtk.org/introspection/core/1.0}doc"):
|
||
|
|
del n.attrib["line"]
|
||
|
|
make_rel(n, gir_relpath)
|
||
|
|
et.write(str(girdir / os.path.basename(girfile)), pretty_print=True)
|