mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
4e09def2d4
TEX_DEFAULT: A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf. USE_TEX: A knob for port developers. Valid keywords are listed in bsd.tex.mk.
44 lines
948 B
Makefile
44 lines
948 B
Makefile
# New ports collection makefile for: hope
|
|
# Date created: 24 September 2001
|
|
# Whom: Lev Serebryakov <lev@serebryakov.spb.ru>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= hope
|
|
PORTVERSION= 1.1
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.soi.city.ac.uk/~ross/Hope/
|
|
DISTNAME= ${PORTNAME}
|
|
|
|
MAINTAINER= lev@FreeBSD.org
|
|
COMMENT= Hope is lazy interpreter for HOPE applicative language
|
|
|
|
.if defined(WITH_DOCS)
|
|
USE_TEX= latex:build
|
|
BUILD_DEPENDS+= latex2html:${PORTSDIR}/textproc/latex2html
|
|
MAKE_ARGS+= WITH_DOCS=yes
|
|
.else
|
|
NOPORTDOCS= yes
|
|
.endif
|
|
|
|
GNU_CONFIGURE= yes
|
|
USE_GMAKE= yes
|
|
|
|
MAN1= hope.1
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
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.post.mk>
|