Merge pull request #269587 from gador/wxwidgets-fix-console-crash

wxGTK32: fix console crash
This commit is contained in:
Weijia Wang 2023-12-03 14:24:10 +01:00 committed by GitHub
commit 0b62f5adfd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -32,6 +32,7 @@
, AVFoundation
, AVKit
, WebKit
, fetchpatch
}:
let
catch = fetchFromGitHub {
@ -59,6 +60,14 @@ stdenv.mkDerivation rec {
hash = "sha256-YkV150sDsfBEHvHne0GF6i8Y5881NrByPkLtPAmb24E=";
};
patches = [
(fetchpatch {
name = "avoid_gtk3_crash.patch";
url = "https://github.com/wxWidgets/wxWidgets/commit/8ea22b5e92bf46add0b20059f6e39a938858ff97.patch";
hash = "sha256-zAyqVTdej4F3R7vVMLiKkXqJTAHDtGYJnyjaRyDmMOM=";
})
];
nativeBuildInputs = [ pkg-config ];
buildInputs = [