2021-01-11 08:54:33 +01:00
|
|
|
{ lib, stdenv
|
2019-02-26 20:17:46 +01:00
|
|
|
, fetchFromGitHub
|
2020-07-29 18:33:39 +02:00
|
|
|
, nix-update-script
|
2019-02-26 20:17:46 +01:00
|
|
|
, meson
|
|
|
|
, ninja
|
2019-10-10 04:47:37 +02:00
|
|
|
, vala
|
2021-01-17 03:09:27 +01:00
|
|
|
, pkg-config
|
2019-02-26 20:17:46 +01:00
|
|
|
, pantheon
|
|
|
|
, python3
|
2019-02-27 09:03:25 +01:00
|
|
|
, glib
|
2019-02-26 20:17:46 +01:00
|
|
|
, gtk3
|
|
|
|
, gtksourceview
|
|
|
|
, json-glib
|
|
|
|
, libsoup
|
|
|
|
, libgee
|
2020-04-15 23:16:34 +02:00
|
|
|
, wrapGAppsHook
|
|
|
|
, vala_0_40
|
|
|
|
}:
|
2019-02-26 20:17:46 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "ping";
|
|
|
|
version = "0.6.0";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "jeremyvaartjes";
|
|
|
|
repo = "ping";
|
|
|
|
rev = version;
|
|
|
|
sha256 = "1h9cdy2jxa2ffykjg89j21hazls32z9yyv3g0x07x3vizzl5xcij";
|
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
meson
|
|
|
|
ninja
|
2020-04-15 23:16:34 +02:00
|
|
|
vala_0_40
|
2021-01-17 03:09:27 +01:00
|
|
|
pkg-config
|
2019-02-26 20:17:46 +01:00
|
|
|
python3
|
|
|
|
wrapGAppsHook
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
glib
|
|
|
|
gtk3
|
|
|
|
gtksourceview
|
|
|
|
json-glib
|
|
|
|
libgee
|
|
|
|
libsoup
|
|
|
|
pantheon.granite
|
|
|
|
];
|
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
chmod +x meson/post_install.py
|
|
|
|
patchShebangs meson/post_install.py
|
|
|
|
'';
|
|
|
|
|
2019-12-23 00:19:30 +01:00
|
|
|
passthru = {
|
2020-07-29 18:33:39 +02:00
|
|
|
updateScript = nix-update-script {
|
2019-12-23 00:19:30 +01:00
|
|
|
attrPath = pname;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2021-01-11 08:54:33 +01:00
|
|
|
meta = with lib; {
|
2019-02-26 20:17:46 +01:00
|
|
|
description = "A helpful tool that lets you debug what part of your API is causing you issues";
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/jeremyvaartjes/ping";
|
2021-09-18 17:00:51 +02:00
|
|
|
maintainers = with maintainers; [ xiorcale ] ++ teams.pantheon.members;
|
2019-02-26 20:17:46 +01:00
|
|
|
platforms = platforms.linux;
|
|
|
|
license = licenses.gpl3;
|
2021-11-03 11:27:38 +01:00
|
|
|
mainProgram = "com.github.jeremyvaartjes.ping";
|
2019-02-26 20:17:46 +01:00
|
|
|
};
|
|
|
|
}
|