PORTNAME=	twelf
PORTVERSION=	1.7.1
PORTREVISION=	4
DISTVERSIONPREFIX=	src-
CATEGORIES=	lang math
MASTER_SITES=	http://twelf.plparty.org/releases/ \
		http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/

MAINTAINER=	beyert@cs.ucr.edu
COMMENT=	Meta-logical framework for deductive systems
WWW=		http://www.cs.cmu.edu/~twelf

LICENSE=	BSD2CLAUSE
LICENSE_FILE=	${WRKSRC}/LICENSE

BROKEN=	invalid target: self

RUN_DEPENDS=	mlton:lang/mlton
BUILD_DEPENDS=	mlton:lang/mlton \
		texi2html:textproc/texi2html

OPTIONS_DEFINE=	DOCS

USES=		gmake
ALL_TARGET=	mlton
PLIST_FILES=	bin/${PORTNAME}-server
PORTDATA=	emacs examples examples-clp examples-delphin tex vim README
PORTDOCS=	dvi html pdf ps
WRKSRC=		${WRKDIR}/twelf
DOCS_INFO=	twelf

DOCS_USE=	TEX=dvipsk:build,tex:build
DOCS_USES=	makeinfo tex

post-patch-DOCS-on:
	@${REINPLACE_CMD} 's|-number|-number-sections|g' \
		${WRKSRC}/doc/guide/Makefile
	@${REINPLACE_CMD} 's|twelf_\*.html|twelf/\*.html|g' \
		${WRKSRC}/doc/guide/Makefile

post-build-DOCS-on:
	cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
		${STAGEDIR}${PREFIX}/bin
	${MKDIR} ${STAGEDIR}${DATADIR}
	cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}

do-install-DOCS-on:
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
	cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/doc/info/twelf.info* ${STAGEDIR}${PREFIX}/${INFO_PATH}

.include <bsd.port.mk>