blob: 3ecc0f1845ac69838fc380a30eb748492c2ce0c4 (
plain) (
tree)
|
|
# Created by: andrewb@cs.cmu.edu
# $FreeBSD$
PORTNAME= twelf
PORTVERSION= 1.7.1
PORTREVISION= 2
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
LICENSE= BSD2CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE
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
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>
|
