diff options
author | Guillaume Desmottes <guillaume.desmottes@collabora.com> | 2020-11-18 17:53:01 +0300 |
---|---|---|
committer | Guillaume Desmottes <guillaume.desmottes@collabora.com> | 2020-11-19 11:23:52 +0300 |
commit | d921ee2245b5d39342e932db283bced7462497ce (patch) | |
tree | 285c76c028f8f86a620f3cedd4b945586968e9cd /ci | |
parent | b664055e3c66833243d41e43648fe30f1491dec8 (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-x | ci/check-plugins-installed.py | 33 |
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) |