mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-06 06:30:19 +00:00
41 lines
871 B
Makefile
41 lines
871 B
Makefile
|
# New ports collection makefile for: hope
|
||
|
|
# Date created: 24 September 2001
|
||
|
|
# Whom: Lev Serebryakov <lev@serebryakov.spb.ru>
|
||
|
|
#
|
||
|
|
# $FreeBSD$
|
||
|
|
#
|
||
|
|
|
||
|
|
PORTNAME= hope
|
||
|
|
PORTVERSION= 0.0
|
||
|
|
CATEGORIES= lang
|
||
|
|
MASTER_SITES= http://www.soi.city.ac.uk/~ross/Hope/
|
||
|
|
DISTNAME= ${PORTNAME}
|
||
|
|
|
||
|
|
MAINTAINER= lev@serebryakov.spb.ru
|
||
|
|
|
||
|
|
.if defined(WITH_DOCS)
|
||
|
|
BUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX \
|
||
|
|
latex2html:${PORTSDIR}/textproc/latex2html
|
||
|
|
MAKE_ARGS+= WITH_DOCS=yes
|
||
|
|
.else
|
||
|
|
NOPORTDOCS= yes
|
||
|
|
.endif
|
||
|
|
|
||
|
|
GNU_CONFIGURE= yes
|
||
|
|
USE_GMAKE= yes
|
||
|
|
|
||
|
|
MAN1= hope.1
|
||
|
|
|
||
|
|
pre-fetch:
|
||
|
|
.if !defined(WITH_DOCS)
|
||
|
|
@${ECHO} ""
|
||
|
|
@${ECHO} " If you want to build and install documentation"
|
||
|
|
@${ECHO} " you should use WITH_DOCS build option"
|
||
|
|
@${ECHO} ""
|
||
|
|
@${ECHO} " Documentation is not builded by default because"
|
||
|
|
@${ECHO} " it needs latex and latex2html"
|
||
|
|
@${ECHO} ""
|
||
|
|
.endif
|
||
|
|
|
||
|
|
.include <bsd.port.mk>
|