2019-10-06 06:58:48 +01:00
|
|
|
{ lib, stdenv, fetchurl
|
2017-04-02 18:50:28 +01:00
|
|
|
, pkgconfig, wrapGAppsHook
|
2018-02-25 02:23:58 +00:00
|
|
|
, glib, glib-networking, gsettings-desktop-schemas, gtk, libsoup, webkitgtk
|
2019-10-06 06:58:48 +01:00
|
|
|
, xorg, dmenu, findutils, gnused, coreutils
|
2017-04-02 18:50:28 +01:00
|
|
|
, patches ? null
|
|
|
|
}:
|
2011-08-11 17:33:41 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "surf";
|
2017-04-02 18:50:28 +01:00
|
|
|
version = "2.0";
|
2011-08-11 17:33:41 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2017-11-07 22:38:38 +00:00
|
|
|
url = "https://dl.suckless.org/surf/surf-${version}.tar.gz";
|
2017-04-02 18:50:28 +01:00
|
|
|
sha256 = "07cmajyafljigy10d21kkyvv5jf3hxkx06pz3rwwk3y3c9x4rvps";
|
2011-08-11 17:33:41 +01:00
|
|
|
};
|
|
|
|
|
2017-04-02 18:50:28 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig wrapGAppsHook ];
|
2018-02-25 02:23:58 +00:00
|
|
|
buildInputs = [ glib glib-networking gsettings-desktop-schemas gtk libsoup webkitgtk ];
|
2011-08-11 17:33:41 +01:00
|
|
|
|
|
|
|
inherit patches;
|
|
|
|
|
2018-12-21 21:21:04 +00:00
|
|
|
installFlags = [ "PREFIX=$(out)" ];
|
2014-04-05 14:51:42 +01:00
|
|
|
|
2019-10-06 06:58:48 +01:00
|
|
|
# Add run-time dependencies to PATH. Append them to PATH so the user can
|
|
|
|
# override the dependencies with their own PATH.
|
|
|
|
preFixup = let
|
|
|
|
depsPath = lib.makeBinPath [ xorg.xprop dmenu findutils gnused coreutils ];
|
|
|
|
in ''
|
|
|
|
gappsWrapperArgs+=(
|
|
|
|
--suffix PATH : ${depsPath}
|
|
|
|
)
|
|
|
|
'';
|
|
|
|
|
2017-04-02 18:50:28 +01:00
|
|
|
meta = with stdenv.lib; {
|
2019-09-03 23:49:40 +01:00
|
|
|
description = "A simple web browser based on WebKit/GTK";
|
2013-10-06 10:49:53 +01:00
|
|
|
longDescription = ''
|
2019-09-03 23:49:40 +01:00
|
|
|
Surf is a simple web browser based on WebKit/GTK. It is able to display
|
2013-10-06 10:49:53 +01:00
|
|
|
websites and follow links. It supports the XEmbed protocol which makes it
|
|
|
|
possible to embed it in another application. Furthermore, one can point
|
|
|
|
surf to another URI by setting its XProperties.
|
2017-04-02 18:50:28 +01:00
|
|
|
'';
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://surf.suckless.org";
|
2017-04-02 18:50:28 +01:00
|
|
|
license = licenses.mit;
|
|
|
|
platforms = webkitgtk.meta.platforms;
|
|
|
|
maintainers = with maintainers; [ joachifm ];
|
2011-08-11 17:33:41 +01:00
|
|
|
};
|
|
|
|
}
|