2017-10-26 06:53:39 +03:00
|
|
|
{ stdenv, fetchFromGitHub, pkgconfig
|
|
|
|
, python3
|
2018-02-25 05:23:58 +03:00
|
|
|
, gsettings-desktop-schemas
|
|
|
|
, desktop-file-utils
|
2017-10-26 06:53:39 +03:00
|
|
|
, glib
|
|
|
|
, gtk3
|
|
|
|
, intltool
|
|
|
|
, libsoup
|
2018-02-25 05:23:58 +03:00
|
|
|
, json-glib
|
2017-10-26 06:53:39 +03:00
|
|
|
, wrapGAppsHook
|
|
|
|
, meson
|
|
|
|
, ninja
|
|
|
|
, vala
|
|
|
|
, sqlite
|
|
|
|
, gst_all_1
|
|
|
|
, gst_plugins ? with gst_all_1; [ gst-plugins-good gst-plugins-ugly ]
|
|
|
|
}:
|
|
|
|
let
|
2019-09-26 22:42:41 +03:00
|
|
|
version = "7.3";
|
2017-10-26 06:53:39 +03:00
|
|
|
|
2019-08-14 00:52:01 +03:00
|
|
|
in stdenv.mkDerivation {
|
2019-08-14 00:52:01 +03:00
|
|
|
pname = "gradio";
|
|
|
|
inherit version;
|
2017-10-26 06:53:39 +03:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "haecker-felix";
|
|
|
|
repo = "gradio";
|
|
|
|
rev = "v${version}";
|
2019-09-26 22:42:41 +03:00
|
|
|
sha256 = "00982dynl36lpsrx3mkd2a479zsrc8jvwfb8i7pi6w7fzzd8n8bl";
|
2017-10-26 06:53:39 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
pkgconfig
|
|
|
|
|
|
|
|
meson
|
|
|
|
ninja
|
|
|
|
vala
|
|
|
|
|
|
|
|
python3
|
|
|
|
];
|
|
|
|
buildInputs = [
|
|
|
|
sqlite
|
|
|
|
|
|
|
|
glib
|
|
|
|
intltool
|
|
|
|
libsoup
|
2018-02-25 05:23:58 +03:00
|
|
|
json-glib
|
2017-10-26 06:53:39 +03:00
|
|
|
|
|
|
|
gtk3
|
|
|
|
gst_all_1.gstreamer
|
|
|
|
gst_all_1.gst-plugins-base
|
|
|
|
|
|
|
|
wrapGAppsHook
|
2018-02-25 05:23:58 +03:00
|
|
|
desktop-file-utils
|
|
|
|
gsettings-desktop-schemas
|
2017-10-26 06:53:39 +03:00
|
|
|
] ++ gst_plugins;
|
|
|
|
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
postInstall = ''
|
2018-08-30 20:45:19 +03:00
|
|
|
glib-compile-schemas "$out"/share/glib-2.0/schemas
|
2017-10-26 06:53:39 +03:00
|
|
|
'';
|
|
|
|
|
|
|
|
patches = [ ./0001-Remove-post-install-script-that-hardcodes-paths.patch ];
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-04-01 04:11:51 +03:00
|
|
|
homepage = "https://github.com/haecker-felix/gradio";
|
2017-10-26 06:53:39 +03:00
|
|
|
description = "A GTK3 app for finding and listening to internet radio stations";
|
|
|
|
license = licenses.gpl3;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = [ maintainers.samdroid-apps ];
|
|
|
|
};
|
|
|
|
}
|