mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
2c0b29eeaf
DIFF review:
(1) Some script-generated files in documentation ommited.
(2) One bug in sources fixed.
(3) Makefile regenerated.
(4) Documentation cleaning targed fixed.
(5) bison-based parser regenerated with new bison version.
DIFF could be found at http://lev.serebryakov.spb.ru/download/hope.diff.bz2
44 lines
961 B
Makefile
44 lines
961 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.0
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.soi.city.ac.uk/~ross/Hope/
|
|
DISTNAME= ${PORTNAME}
|
|
|
|
MAINTAINER= lev@FreeBSD.org
|
|
COMMENT= Hope is lazy interpriter for HOPE applicative language
|
|
|
|
.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
|
|
|
|
.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>
|