Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorGuillaume Desmottes <guillaume.desmottes@collabora.com>2020-11-18 17:53:01 +0300
committerGuillaume Desmottes <guillaume.desmottes@collabora.com>2020-11-19 11:23:52 +0300
commitd921ee2245b5d39342e932db283bced7462497ce (patch)
tree285c76c028f8f86a620f3cedd4b945586968e9cd /ci
parentb664055e3c66833243d41e43648fe30f1491dec8 (diff)
ci: check if all plugins are installed with meson
Will prevent us to forget adding new plugins to meson.
Diffstat (limited to 'ci')
-rwxr-xr-xci/check-plugins-installed.py33
1 files changed, 33 insertions, 0 deletions
diff --git a/ci/check-plugins-installed.py b/ci/check-plugins-installed.py
new file mode 100755
index 000000000..8284ace79
--- /dev/null
+++ b/ci/check-plugins-installed.py
@@ -0,0 +1,33 @@
+#!/usr/bin/env python3
+# Check that all available plugins have been build and installed in the prefix
+# directory passed in argument.
+import sys
+import os
+import glob
+
+DIRS = ['audio', 'generic', 'net', 'text', 'utils', 'video']
+OVERRIDE = {'wrap': 'textwrap', 'flavors': 'rsflv'}
+
+prefix = sys.argv[1]
+
+plugins = glob.glob(os.path.join(
+ prefix, '**', 'gstreamer-1.0', '*.so'), recursive=True)
+plugins = list(map(os.path.basename, plugins))
+print("Built plugins:", plugins)
+
+success = True
+
+for d in DIRS:
+ for name in os.listdir(d):
+ name = OVERRIDE.get(name, name)
+
+ plugin = "libgst{}.so".format(name)
+ # Some plugins are prefixed with 'rs'
+ rs_plugin = "libgstrs{}.so".format(name)
+
+ if plugin not in plugins and rs_plugin not in plugins:
+ print(name, "missing in", prefix)
+ success = False
+
+if not success:
+ sys.exit(1)