mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-25 00:51:21 +00:00
5005b67362
OPTIONS_DEFINE. This policy has been implemented only recently that's why we have many ports violating this policy. This patch adds the default options specified in the Porter's Handbook to OPTIONS_DEFINE where they are being used. Ports maintained by gnome@FreeBSD.org, kde@FreeBSD.org and x11@FreeBSD.org have been excluded. Approved by: portmgr (bapt)
39 lines
805 B
Makefile
39 lines
805 B
Makefile
# Created by: Doug Barton <dougb@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= obmenu
|
|
PORTVERSION= 1.0
|
|
PORTREVISION= 6
|
|
CATEGORIES= x11-wm
|
|
MASTER_SITES= SF
|
|
|
|
MAINTAINER= nemysis@FreeBSD.org
|
|
COMMENT= Menu manager for Openbox supporting both static and pipe menus
|
|
|
|
LICENSE= GPLv2
|
|
|
|
USE_GNOME= pygtk2
|
|
USE_PYTHON= yes
|
|
USE_PYDISTUTILS= yes
|
|
PYDISTUTILS_PKGNAME= obMenu
|
|
|
|
PORTDOCS= README
|
|
|
|
SUB_FILES= pkg-message
|
|
|
|
DESKTOP_ENTRIES="Obmenu" "Menu manager for Openbox" ${PORTNAME} \
|
|
"${PORTNAME}" "Settings;" false
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
.include <bsd.port.options.mk>
|
|
|
|
post-install:
|
|
.if ${PORT_OPTIONS:MDOCS}
|
|
@${MKDIR} ${STAGEDIR}${DOCSDIR}
|
|
${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR}
|
|
.endif
|
|
${LN} -sf ${DATADIR}/mnu48.png ${STAGEDIR}${PREFIX}/share/pixmaps/${PORTNAME}.png
|
|
|
|
.include <bsd.port.mk>
|