mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-30 05:40:06 +00:00
58 lines
1.5 KiB
Makefile
58 lines
1.5 KiB
Makefile
# Created by: andrewb@cs.cmu.edu
|
|
|
|
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
|
|
|
|
LICENSE= BSD2CLAUSE
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
BROKEN_FreeBSD_12= invalid target: self
|
|
BROKEN_FreeBSD_13= 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
|
|
|
|
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>
|