webkit2-sharp: Workaround build failure with WebKitGTK 2.40.0

This commit is contained in:
Bobby Rong 2023-04-12 19:55:58 +08:00
parent 599626814d
commit 029a32f463
No known key found for this signature in database

View file

@ -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"];