[gnome-continuous] Build gtk4 after gstreamer-plugins-bad



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]