mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
f935a609c5
supports them. This is determined by running ``configure --help'' in do-configure target and set the shell variable _LATE_CONFIGURE_ARGS which is then passed to CONFIGURE_ARGS. - Remove --mandir and --infodir in ports' Makefile where applicable Few ports use REINPLACE_CMD to achieve the same effect, remove them too. - Correct some manual pages location from PREFIX/man to MANPREFIX/man - Define INFO_PATH where necessary - Document that .info files are installed in a subdirectory relative to PREFIX/INFO_PATH and slightly change add-plist-info to use INFO_PATH and subdirectory detection. PR: ports/111470 Approved by: portmgr Discussed with: stas (Mk/*), gerald (info related stuffs) Tested by: pointyhat exp run
34 lines
885 B
Makefile
34 lines
885 B
Makefile
# New ports collection makefile for: numdiff
|
|
# Date created: 18 October 2006
|
|
# Whom: Cheng-Lung Sung <clsung@FreeBSD.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= numdiff
|
|
PORTVERSION= 4.2.0
|
|
CATEGORIES= math textproc
|
|
MASTER_SITES= http://download.savannah.gnu.org/releases/numdiff/
|
|
|
|
MAINTAINER= clsung@FreeBSD.org
|
|
COMMENT= Compare putatively similar files, ignoring small numeric differences
|
|
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ARGS+= --prefix=${PREFIX} --exec-prefix=${PREFIX} --infodir=${PREFIX}/${INFO_PATH} LIBS=-lm
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}
|
|
|
|
INFO= numdiff
|
|
|
|
pre-install:
|
|
.if defined(NOPORTDOCS)
|
|
${REINPLACE_CMD} -e 's,$$[(]MKDIR[)] $$[(]DOCDIR[)],,' \
|
|
-e 's,$$[(]INSTALL[)] $$[(]DOCS[)] $$[(]DOCDIR[)],,' \
|
|
${WRKSRC}/Makefile
|
|
.endif
|
|
|
|
post-configure:
|
|
${REINPLACE_CMD} -e 's,$$[(]prefix[)]/doc/$$[(]PACKAGE[)],${DOCSDIR},' \
|
|
${WRKSRC}/Makefile
|
|
|
|
.include <bsd.port.mk>
|