oidc-agent: 5.2.2 -> 5.2.3; Upgrade to webkitgtk_4_1 (#451045)
This commit is contained in:
@@ -3,7 +3,7 @@
|
||||
stdenv,
|
||||
fetchFromGitHub,
|
||||
curl,
|
||||
webkitgtk_4_0,
|
||||
webkitgtk_4_1,
|
||||
libmicrohttpd,
|
||||
libsecret,
|
||||
qrencode,
|
||||
@@ -15,13 +15,13 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "oidc-agent";
|
||||
version = "5.3.2";
|
||||
version = "5.3.3";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "indigo-dc";
|
||||
repo = "oidc-agent";
|
||||
rev = "v${version}";
|
||||
hash = "sha256-G2E6/mMP8d9s6JsIlFwMQ8sm4FCF8Gm8OqrsTPjPUrA=";
|
||||
hash = "sha256-PV1aswfvEMtsgHWKfdtIo/BV+MHKKdul2vjFdyoT2Ic=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
@@ -31,7 +31,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
buildInputs = [
|
||||
curl
|
||||
webkitgtk_4_0
|
||||
webkitgtk_4_1
|
||||
libmicrohttpd
|
||||
libsecret
|
||||
qrencode
|
||||
@@ -45,6 +45,7 @@ stdenv.mkDerivation rec {
|
||||
"BIN_PATH=$(out)"
|
||||
"PROMPT_BIN_PATH=$(out)"
|
||||
"LIB_PATH=$(out)/lib"
|
||||
"WEBKITGTK=webkit2gtk-4.1"
|
||||
];
|
||||
|
||||
installTargets = [
|
||||
@@ -56,7 +57,7 @@ stdenv.mkDerivation rec {
|
||||
postFixup = ''
|
||||
# Override with patched binary to be used by help2man
|
||||
cp -r $out/bin/* bin
|
||||
make install_man PREFIX=$out MAN_PATH=$out/share/man PROMPT_MAN_PATH=$out/share/man
|
||||
make install_man PREFIX=$out MAN_PATH=$out/share/man PROMPT_MAN_PATH=$out/share/man WEBKITGTK=webkit2gtk-4.1
|
||||
'';
|
||||
|
||||
passthru.updateScript = nix-update-script { };
|
||||
|
||||
Reference in New Issue
Block a user