diff options
author | Bobby Rong <rjl931189261@126.com> | 2023-04-12 19:55:58 +0800 |
---|---|---|
committer | Bobby Rong <rjl931189261@126.com> | 2023-04-12 19:55:58 +0800 |
commit | 029a32f463f95b89b59ae6e259cb8e4c9d24e8ee (patch) | |
tree | 8be68118f4c668beb3dc33390143497855665e37 /pkgs/development/libraries/webkit2-sharp | |
parent | 599626814d9fcc4bb8cfc66e57bf33e49f618056 (diff) |
webkit2-sharp: Workaround build failure with WebKitGTK 2.40.0
Diffstat (limited to 'pkgs/development/libraries/webkit2-sharp')
-rw-r--r-- | pkgs/development/libraries/webkit2-sharp/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/development/libraries/webkit2-sharp/default.nix b/pkgs/development/libraries/webkit2-sharp/default.nix index b8a476b3b332b..de10fff43da0c 100644 --- a/pkgs/development/libraries/webkit2-sharp/default.nix +++ b/pkgs/development/libraries/webkit2-sharp/default.nix @@ -33,6 +33,14 @@ stdenv.mkDerivation rec { webkitgtk ]; + postPatch = '' + # Workaround build failure with WebKitGTK 2.40.0 + # https://github.com/hbons/webkit2-sharp/issues/6 + substituteInPlace sources/webkit2-sharp-api.raw --replace \ + '<field cname="parentInstance" access="public" writeable="false" readable="true" name="ParentInstance" type="GtkContainer*"/>' \ + '<field cname="parent" access="public" writeable="false" readable="true" name="Parent" type="GtkContainer*"/>' + ''; + ac_cv_path_MONODOCER = "no"; installFlagsArray = ["GAPIXMLDIR=/tmp/gapixml"]; |