[gnome-continuous] Build gtk4 after gstreamer-plugins-bad
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] Build gtk4 after gstreamer-plugins-bad
- Date: Sun, 18 Mar 2018 20:20:14 +0000 (UTC)
commit 720c07124cab3c81f3002c7148f085d34f276407
Author: Emmanuele Bassi <ebassi gnome org>
Date: Sun Mar 18 20:18:51 2018 +0000
Build gtk4 after gstreamer-plugins-bad
The gstreamer-player-1.0 API is in plugins-bad.
manifest.json | 16 ++++++++--------
1 files changed, 8 insertions(+), 8 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 03061fc..dc0e306 100644
--- a/manifest.json
+++ b/manifest.json
@@ -664,14 +664,6 @@
{"src": "fd-gstreamer:gst-plugins-base",
"config-opts": ["-Ddisable_gtkdoc=true"]},
- {"src": "gnome-gitlab:GNOME/gtk.git",
- "name": "gtk4",
- "config-opts": ["-Ddocumentation=false",
- "-Dman-pages=false",
- "-Dintrospection=true",
- "-Dprint-backends=file,lpr"],
- "irc_room": "gtk+"},
-
{"src": "gnome:cogl",
"config-opts": ["--enable-wayland-egl-platform",
"--enable-wayland-egl-server",
@@ -767,6 +759,14 @@
{"src": "fd-gstreamer:gst-plugins-bad"},
+ {"src": "gnome-gitlab:GNOME/gtk.git",
+ "name": "gtk4",
+ "config-opts": ["-Ddocumentation=false",
+ "-Dman-pages=false",
+ "-Dintrospection=true",
+ "-Dprint-backends=file,lpr"],
+ "irc_room": "gtk+"},
+
{"src": "git:https://github.com/01org/libva.git",
"force-autotools": true},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]