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-04-28 15:09:10 +0300
committerGuillaume Desmottes <guillaume.desmottes@collabora.com>2020-04-28 15:21:01 +0300
commit9efe4168b78bfb12b8747789d15116da6bd1de78 (patch)
tree3104912f0290c308efa7187071c1c40ccffca1cf /ci
parent871f91d87f3ce82b6a90fb0717343c9263b0e059 (diff)
ci: install dav1d when generating image
Save us from using the static version when building the crate.
Diffstat (limited to 'ci')
-rw-r--r--ci/install-dav1d.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/install-dav1d.sh b/ci/install-dav1d.sh
new file mode 100644
index 000000000..be806bc4d
--- /dev/null
+++ b/ci/install-dav1d.sh
@@ -0,0 +1,8 @@
+RELEASE=0.6.0
+
+git clone https://code.videolan.org/videolan/dav1d.git --branch $RELEASE
+cd dav1d
+meson build -D prefix=/usr/local
+ninja -C build
+ninja -C build install
+cd ..