1 files changed, 49 insertions, 0 deletions
diff --git a/scripts/update-orc-dist-files.py b/scripts/update-orc-dist-files.py
new file mode 100755
index 000000000..592d04e6e
--- /dev/null
+++ b/scripts/update-orc-dist-files.py
@@ -0,0 +1,49 @@
+#!/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])