mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-27 20:21:24 +00:00
49 lines
1.6 KiB
Python
Executable file
49 lines
1.6 KiB
Python
Executable file
#!/usr/bin/env python3
|
|
#
|
|
# update-orc-dist-files.py ORC-FILE GENERATED-HEADER GENERATED-SOURCE
|
|
#
|
|
# Copies generated orc .c and .h files into source dir as -dist.[ch] backups,
|
|
# based on location of passed .orc file.
|
|
#
|
|
# Copyright (C) 2020 Tim-Philipp Müller <tim centricular com>
|
|
#
|
|
# This library is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU Library General Public
|
|
# License as published by the Free Software Foundation; either
|
|
# version 2 of the License, or (at your option) any later version.
|
|
#
|
|
# This library is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
# Library General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU Library General Public
|
|
# License along with this library; if not, write to the
|
|
# Free Software Foundation, Inc., 51 Franklin St, Fifth Floor,
|
|
# Boston, MA 02110-1301, USA.
|
|
|
|
import shutil
|
|
import subprocess
|
|
import sys
|
|
|
|
assert(len(sys.argv) == 4)
|
|
|
|
orc_file = sys.argv[1]
|
|
gen_header = sys.argv[2]
|
|
gen_source = sys.argv[3]
|
|
|
|
# split off .orc suffix
|
|
assert(orc_file.endswith('.orc'))
|
|
orc_src_base = sys.argv[1][:-4]
|
|
|
|
# figure out names of disted backup files
|
|
dist_h = orc_src_base + "-dist.h"
|
|
dist_c = orc_src_base + "-dist.c"
|
|
|
|
# copy generated files from build dir into source dir
|
|
shutil.copyfile(gen_header, dist_h)
|
|
shutil.copyfile(gen_source, dist_c)
|
|
|
|
# run gst-indent on the .c files (twice, because gnu indent)
|
|
subprocess.run(['gst-indent', dist_c])
|
|
subprocess.run(['gst-indent', dist_c])
|