#!/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])