mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
2bfb9a2816
If systems are updated without running `make delete-old`, makeinfo may still be lingering around in /usr/bin. This causes eventual errors as it can't handle brand new emerging technology from 10 years ago (like CSS). Instead of permitting makeinfo from base (which was removed in 11.0-RELEASE), depend specifically on makeinfo from print/texinfo. Reviewed by: bapt Differential Revision: https://reviews.freebsd.org/D22795
23 lines
453 B
Makefile
23 lines
453 B
Makefile
# $FreeBSD$
|
|
#
|
|
# handle dependency on the makeinfo port
|
|
#
|
|
# Feature: makeinfo
|
|
# Usage: USES=makeinfo
|
|
# Valid ARGS: none
|
|
#
|
|
# MAINTAINER: portmgr@FreeBSD.org
|
|
|
|
.if !defined(_INCLUDE_USES_MAKEINFO_MK)
|
|
_INCLUDE_USES_MAKEINFO_MK= yes
|
|
|
|
.if !empty(makeinfo_ARGS)
|
|
IGNORE= USES=makeinfo - expects no arguments
|
|
.endif
|
|
|
|
# Depend specifically on makeinfo from ports
|
|
BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:print/texinfo
|
|
MAKEINFO?= ${LOCALBASE}/bin/makeinfo
|
|
|
|
.endif
|