Attachment 233827 Details for Bug 263872 – patch for adding docs option with dynamic plist gen

[patch] patch for adding docs option with dynamic plist gen

www_webkit2-gtk3_docs_genplist.diff (text/plain), 1.30 KB, created by Sean Champ on 2022-05-09 21:49:21 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Sean Champ

Created: 2022-05-09 21:49:21 UTC

Size: 1.30 KB

patch

obsolete

>diff --git a/www/webkit2-gtk3/Makefile b/www/webkit2-gtk3/Makefile
>index 36f0c2a97efe..08441c0bb0b5 100644
>--- a/www/webkit2-gtk3/Makefile
>+++ b/www/webkit2-gtk3/Makefile
>@@ -68,7 +68,7 @@ CMAKE_OFF_powerpc=	ENABLE_JIT
> CMAKE_OFF_powerpc64=	ENABLE_JIT
> INSTALL_TARGET=		install
> 
>-OPTIONS_DEFINE=		DEBUG GEOIP GSTREAMER WAYLAND
>+OPTIONS_DEFINE=		DEBUG DOCS GEOIP GSTREAMER WAYLAND
> OPTIONS_DEFAULT=	GEOIP GSTREAMER WAYLAND
> OPTIONS_SUB=		yes
> 
>@@ -86,6 +86,9 @@ DEBUG_CMAKE_OFF=	-DCMAKE_AR=/usr/bin/ar \
> DEBUG_CXXFLAGS_OFF=	-B/usr/bin
> DEBUG_CFLAGS_OFF=	-DNDEBUG
> 
>+DOCS_CMAKE_ON=		-DENABLE_GTKDOC=ON
>+DOCS_BUILD_DEPENDS=	gtkdoc-mkhtml:textproc/gtk-doc
>+
> GEOIP_CMAKE_BOOL=	ENABLE_GEOLOCATION
> GEOIP_BUILD_DEPENDS=	geoclue>=2.4.3:net/geoclue
> GEOIP_RUN_DEPENDS=	geoclue>=2.4.3:net/geoclue
>@@ -116,4 +119,12 @@ post-install:
> 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/webkit2gtk-4.0/*
> 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/WebKitWebDriver
> 
>+post-stage-DOCS-on:
>+	cd ${WRKSRC}; ${COPYTREE_SHARE} NEWS ${STAGEDIR}${DOCSDIR}
>+
>+## add plist items for the DOCS option
>+add-plist-docs: ${STAGE_COOKIE}
>+	cd ${STAGEDIR}; ${FIND} ${DOCSDIR:C@^/@@} -type f | ${SED} -e 's@^@/@' >> ${TMPPLIST}
>+	cd ${STAGEDIR}; ${FIND} ${PREFIX:C@^/@@}/share/gtk-doc/html -mindepth 2 -type f | ${SED} -e 's@^@/@' >> ${TMPPLIST}
>+
> .include <bsd.port.mk>

Actions: View | Diff

Attachments on bug 263872: 233815 | 233827