diff --git a/publish/linux/publish-linux.sh b/publish/linux/publish-linux.sh index d3d1ca08..259bda27 100644 --- a/publish/linux/publish-linux.sh +++ b/publish/linux/publish-linux.sh @@ -186,9 +186,19 @@ if [[ "$SKIP_BUILD" -ne 1 ]]; then echo "[3/5] Building app binary with Wails..." rm -f "$APP_BIN" + WAILS_BUILD_TAGS=() + if pkg-config --exists webkit2gtk-4.0; then + echo " WebKitGTK pkg-config: webkit2gtk-4.0" + elif pkg-config --exists webkit2gtk-4.1; then + echo " WebKitGTK pkg-config: webkit2gtk-4.1 (using Wails webkit2_41 tag)" + WAILS_BUILD_TAGS=(-tags webkit2_41) + else + echo "[ERROR] missing WebKitGTK development package: webkit2gtk-4.0 or webkit2gtk-4.1" >&2 + exit 1 + fi ( cd "$ROOT_DIR" - wails build -s -platform "linux/$ARCH" -o ant-chrome + wails build -s -platform "linux/$ARCH" "${WAILS_BUILD_TAGS[@]}" -o ant-chrome ) else echo "[WARN] skipping build step"