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