[gnome-sdk-images] Clean up webkitgtk build definition



commit b9f805df9a725240f88a3cdad3c8f8b23d5db04c
Author: Michael Catanzaro <mcatanzaro igalia com>
Date:   Tue Oct 3 14:24:53 2017 +0200

    Clean up webkitgtk build definition
    
    -DNDEBUG should already be defined since the build type is RELEASE
    
    Messing with SHARED_LIBS is not supported; we're not going to install
    any static libraries, but we do need them during the build. No clue what
    happens when playing with this variable.
    
    All the other options are already being set to their default values.
    
    Remove the buildapi patch, seems to be unused now.

 org.gnome.Sdk.json.in          |   11 -----------
 webkitgtk-cmake-buildapi.patch |   26 --------------------------
 2 files changed, 0 insertions(+), 37 deletions(-)
---
diff --git a/org.gnome.Sdk.json.in b/org.gnome.Sdk.json.in
index 80440af..28d20cc 100644
--- a/org.gnome.Sdk.json.in
+++ b/org.gnome.Sdk.json.in
@@ -744,19 +744,12 @@
             "config-opts": [
                 "-DPORT=GTK",
                 "-DCMAKE_BUILD_TYPE=Release",
-                "-DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG",
-                "-DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG",
-                "-DENABLE_ACCELERATED_2D_CANVAS=OFF",
                 "-DCMAKE_INSTALL_PREFIX:PATH=/usr",
                 "-DLIB_INSTALL_DIR:PATH=/usr/lib",
                 "-DSYSCONF_INSTALL_DIR:PATH=/usr/etc",
                 "-DSHARE_INSTALL_PREFIX:PATH=/usr/share",
                 "-DINCLUDE_INSTALL_DIR:PATH=/usr/include",
                 "-DCMAKE_VERBOSE_MAKEFILE:BOOL=ON",
-                "-DBUILD_SHARED_LIBS:BOOL=ON",
-                "-DENABLE_GTKDOC=OFF",
-                "-DENABLE_VIDEO=ON",
-                "-DENABLE_WEB_AUDIO=ON",
                 "-DENABLE_MINIBROWSER=ON"
             ],
             "sources": [
@@ -764,10 +757,6 @@
                     "type": "archive",
                     "url": "https://webkitgtk.org/releases/webkitgtk-2.18.0.tar.xz";,
                     "sha256": "b583e46a3de36a3e80ba33b084ead60512a2046aca01ff61e50e519436e5038d"
-                },
-                {
-                    "type": "patch",
-                    "path": "webkitgtk-cmake-buildapi.patch"
                 }
             ]
         },


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]