721e5776c9
- Update all the consumers to use USES=tex - USE_TEX=yes is the old way of writing USES=tex which has been removed and replaced in all ports - Almost all of the USE_TEX features remains unchanged - Some consumers had the same variables defined both in the mk infrastructure and also in the ports which have been removed from the ports as those are redundant. In case any of the consumers are failing to build please make sure that the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no longer load the required VARS for tex and related dependencies. Reviewed by: portmgr Approved by: portmgr (blanket)
57 lines
1.5 KiB
Makefile
57 lines
1.5 KiB
Makefile
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_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 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>
|