diff flatpak/build_manifest.py @ 151:6f8c849daf2a

flatpak (build_manifest): updated org.freedesktop.Platform runtime version: manifests were using an old 1.6 version of the runtime, this patch fixes them by using the current 18.8 one. Thanks to that, the main_loop.patch which was made because of an outdated version of GLib (see https://github.com/flatpak/flatpak/issues/1899) is not needed anymore and has been removed. Some useless extensions have also been removed from default manifest.
author Goffi <goffi@goffi.org>
date Wed, 26 Jun 2019 20:49:31 +0200
parents 10adfa3f9552
children df75b62e653e
line wrap: on
line diff
--- a/flatpak/build_manifest.py	Wed Jun 26 20:46:53 2019 +0200
+++ b/flatpak/build_manifest.py	Wed Jun 26 20:49:31 2019 +0200
@@ -38,14 +38,6 @@
             "python2 setup.py install --prefix=${FLATPAK_DEST}",
         ]
     },
-    "urwid": {
-        "sources_extend": [
-            {
-                "type": "patch",
-                "path": "main_loop.patch"
-            }
-        ]
-    },
     "kivy": {
         "post-install": [
             # this file is not copied normally when installing with
@@ -68,16 +60,8 @@
 ]
 DEFAULT_MANIFEST = {
     "runtime": "org.freedesktop.Platform",
-    "runtime-version": "1.6",
+    "runtime-version": "18.08",
     "sdk": "org.freedesktop.Sdk",
-    "sdk-extensions": [
-        "org.freedesktop.Sdk.Debug",
-        "org.freedesktop.Sdk.Locale",
-        "org.freedesktop.Sdk.Docs"
-    ],
-    "platform-extensions": [
-        "org.freedesktop.Platform.Locale"
-    ],
     "command": "sat_wrapper",
     "finish-args": [
         "--socket=session-bus",