2018-02-25 03:23:58 +01:00
|
|
|
{ stdenv, fetchgit, pkgconfig, girara, gtk, webkitgtk, glib-networking, makeWrapper
|
|
|
|
, gsettings-desktop-schemas }:
|
2014-10-09 12:26:20 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "jumanji-${version}";
|
2015-05-06 16:34:12 +02:00
|
|
|
version = "20150107";
|
2014-10-09 12:26:20 +02:00
|
|
|
|
|
|
|
src = fetchgit {
|
2015-12-14 18:46:04 +01:00
|
|
|
url = https://git.pwmt.org/pwmt/jumanji.git;
|
2015-05-06 16:34:12 +02:00
|
|
|
rev = "f8e04e5b5a9fec47d49ca63a096e5d35be281151";
|
2016-06-02 13:26:44 +02:00
|
|
|
sha256 = "1dsbyz489fx7dp07i29q1rjkl7nhrfscc8ks8an2rdyhx3457asg";
|
2014-10-09 12:26:20 +02:00
|
|
|
};
|
|
|
|
|
2017-09-05 23:26:13 +02:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
2018-02-25 03:23:58 +01:00
|
|
|
buildInputs = [ girara gtk webkitgtk makeWrapper gsettings-desktop-schemas ];
|
2014-10-09 12:26:20 +02:00
|
|
|
|
|
|
|
makeFlags = [ "PREFIX=$(out)" ];
|
|
|
|
|
|
|
|
preFixup=''
|
|
|
|
wrapProgram "$out/bin/jumanji" \
|
2018-02-25 03:23:58 +01:00
|
|
|
--prefix GIO_EXTRA_MODULES : "${glib-networking.out}/lib/gio/modules" \
|
2015-05-21 01:09:32 +02:00
|
|
|
--prefix XDG_DATA_DIRS : "$GSETTINGS_SCHEMAS_PATH"
|
2014-10-09 12:26:20 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "Minimal web browser";
|
2017-08-02 23:50:51 +02:00
|
|
|
homepage = https://pwmt.org/projects/jumanji/;
|
2014-10-09 12:26:20 +02:00
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = [ maintainers.koral ];
|
|
|
|
};
|
|
|
|
}
|