diff options
-rw-r--r-- | Mk/Uses/makeinfo.mk | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Mk/Uses/makeinfo.mk b/Mk/Uses/makeinfo.mk new file mode 100644 index 000000000000..82a332ef46cb --- /dev/null +++ b/Mk/Uses/makeinfo.mk @@ -0,0 +1,22 @@ +# $FreeBSD$ +# +# handle dependency on the makeinfo port +# +# Feature: makeinfo +# Usage: USES=makeinfo +# Valid ARGS: build (default, implicit), run, both +# +# MAINTAINER: portmgr@FreeBSD.org + +.if !defined(_INCLUDE_USES_MAKEINFO_MK) +_INCLUDE_USES_MAKEINFO_MK= yes + +.if defined(makeinfo_ARGS) +IGNORE= USES=makeinfo - expects no arguments +.endif + +.if !exists(/usr/bin/makeinfo) +BUILD_DEPENDS+= makeinfo:${PORTSDIR}/devel/texinfo +.endif + +.endif |