mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
1e62d386aa
Hope is lazy interpriter for HOPE applicative language PR: 30799 Submitted by: Lev Serebryakov <lev@serebryakov.spb.ru>
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>
|