mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
51 lines
1.3 KiB
Makefile
51 lines
1.3 KiB
Makefile
# Created by: Timothy Bourke <timbob@bigpond.com>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= ml-doc
|
|
PORTVERSION= 2.0
|
|
PORTREVISION= 1
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://people.cs.uchicago.edu/~jhr/tools/downloads/ \
|
|
http://www.cse.unsw.edu.au/~tbourke/distfiles/
|
|
DISTNAME= ${PORTNAME}
|
|
EXTRACT_SUFX= .tgz
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Language and tools for documenting Standard ML libraries
|
|
|
|
BUILD_DEPENDS= smlnj-devel>=110.71:${PORTSDIR}/lang/sml-nj-devel \
|
|
nsgmls:${PORTSDIR}/textproc/jade
|
|
RUN_DEPENDS= nsgmls:${PORTSDIR}/textproc/jade
|
|
|
|
GNU_CONFIGURE= yes
|
|
CONFIGURE_ENV+= SMLNJ_DEVEL=yes
|
|
ALL_TARGET= build
|
|
MAKE_ENV+= DATADIR=${DATADIR} SMLNJ_DEVEL=yes
|
|
|
|
SUB_FILES= ml-doc.1 mkdoc.1 fix-cml-doc.sh
|
|
MAN1= ml-doc.1 mkdoc.1
|
|
MLINKS= ml-doc.1 extract-sig.1 ml-doc.1 extract-info.1 \
|
|
ml-doc.1 merge-info.1 ml-doc.1 html-gen.1 \
|
|
ml-doc.1 html-index.1 ml-doc.1 html-toc.1 \
|
|
ml-doc.1 latex-gen.1 ml-doc.1 proof-latex.1 \
|
|
ml-doc.1 filter-index.1 ml-doc.1 mk-mldoc-makefile.1
|
|
|
|
OPTIONS_DEFINE= LATEX
|
|
LATEX_DESC= Install LaTeX if necessary (needed for pdf output)
|
|
|
|
NO_STAGE= yes
|
|
.include <bsd.port.options.mk>
|
|
|
|
.if ${PORT_OPTIONS:MLATEX}
|
|
USE_TEX= latex
|
|
.endif
|
|
|
|
post-extract:
|
|
@${CP} ${FILESDIR}/lib-Makefile ${WRKSRC}/lib/Makefile
|
|
|
|
post-install:
|
|
@${INSTALL_MAN} ${WRKDIR}/ml-doc.1 ${MAN1PREFIX}/man/man1
|
|
@${INSTALL_MAN} ${WRKDIR}/mkdoc.1 ${MAN1PREFIX}/man/man1
|
|
|
|
.include <bsd.port.mk>
|