gnome3.devhelp: add python3 for install script

Meson no longer propagates it so we need to re-add it.
This commit is contained in:
Jan Tojnar 2018-09-03 21:28:16 +02:00
parent 69fa70ad46
commit 5043df2499
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -1,5 +1,5 @@
{ stdenv, fetchurl, meson, ninja, pkgconfig, gnome3, gtk3, wrapGAppsHook { stdenv, fetchurl, meson, ninja, pkgconfig, gnome3, gtk3, wrapGAppsHook
, glib, amtk, appstream-glib, gobjectIntrospection , glib, amtk, appstream-glib, gobjectIntrospection, python3
, webkitgtk, gettext, itstool, gsettings-desktop-schemas }: , webkitgtk, gettext, itstool, gsettings-desktop-schemas }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
sha256 = "1rzilsn0v8dj86djankllc5f10d58f6rwg4w1fffh5zly10nlli5"; sha256 = "1rzilsn0v8dj86djankllc5f10d58f6rwg4w1fffh5zly10nlli5";
}; };
nativeBuildInputs = [ meson ninja pkgconfig gettext itstool wrapGAppsHook appstream-glib gobjectIntrospection ]; nativeBuildInputs = [ meson ninja pkgconfig gettext itstool wrapGAppsHook appstream-glib gobjectIntrospection python3 ];
buildInputs = [ buildInputs = [
glib gtk3 webkitgtk amtk glib gtk3 webkitgtk amtk
gnome3.defaultIconTheme gsettings-desktop-schemas gnome3.defaultIconTheme gsettings-desktop-schemas