diff options
Diffstat (limited to 'extra/webkit2gtk/PKGBUILD')
-rw-r--r-- | extra/webkit2gtk/PKGBUILD | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD index 36799daa..5686e4a5 100644 --- a/extra/webkit2gtk/PKGBUILD +++ b/extra/webkit2gtk/PKGBUILD @@ -22,3 +22,16 @@ eval "$( s/\(cmake --build build\)/\1 || true/g ' )" + +# work around: +# CMake Error at Source/cmake_install.cmake:41 (file): +# file INSTALL cannot find +# "/build/webkit2gtk/src/build/Documentation/webkit2gtk-4.0/html/webkit2gtk-4.0/style.css". +# Call Stack (most recent call first): +# cmake_install.cmake:42 (include) +eval "$( + declare -f package | \ + sed ' + s/\(.*cmake.*install\)/\1 || true/g + ' +)" |