diff options
| author | albfan <albertofanjul@gmail.com> | 2017-12-27 10:41:22 +0100 |
|---|---|---|
| committer | Alberto Fanjul <albertofanjul@gmail.com> | 2018-07-25 00:16:58 +0200 |
| commit | 113bfa98119315193b489b6d8e83db4641ea4b9d (patch) | |
| tree | a388d370eabc3e3b31b6af94f7906e65f7a80f40 /org.gnome.Glade.json | |
| parent | e6129c0cbc010350d4cee45746d71bf8d6497d05 (diff) | |
| download | glade-113bfa98119315193b489b6d8e83db4641ea4b9d.tar.gz | |
flatpak: Add manifest
Diffstat (limited to 'org.gnome.Glade.json')
| -rw-r--r-- | org.gnome.Glade.json | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/org.gnome.Glade.json b/org.gnome.Glade.json new file mode 100644 index 00000000..085b431f --- /dev/null +++ b/org.gnome.Glade.json @@ -0,0 +1,59 @@ +{ + "app-id" : "org.gnome.Glade", + "runtime" : "org.gnome.Platform", + "runtime-version" : "master", + "sdk" : "org.gnome.Sdk", + "command" : "glade", + "rename-desktop-file" : "glade.desktop", + "rename-appdata-file" : "glade.appdata.xml", + "rename-icon" : "glade", + "tags" : [ + "nightly" + ], + "desktop-file-name-prefix" : "(Nightly) ", + "finish-args" : [ + "--share=ipc", + "--socket=x11", + "--socket=wayland", + "--filesystem=host", + "--device=dri", + "--filesystem=xdg-run/dconf", + "--filesystem=~/.config/dconf:ro", + "--talk-name=ca.desrt.dconf", + "--env=DCONF_USER_CONFIG_DIR=.config/dconf" + ], + "build-options" : { + "cflags" : "-O2 -g", + "cxxflags" : "-O2 -g", + "env" : { + "V" : "1" + } + }, + "cleanup" : [ + "/include", + "/lib/pkgconfig", + "/share/pkgconfig", + "/share/aclocal", + "/man", + "/share/man", + "/share/gtk-doc", + "/share/vala", + "*.la", + "*.a" + ], + "modules" : [ + { + "name" : "glade", + "config-opts" : [ + "--disable-man-pages" + ], + "sources" : [ + { + "type" : "git", + "url" : "https://gitlab.gnome.org/GNOME/glade.git", + "branch" : "master" + } + ] + } + ] +} |