svn commit: r428757 - head/lang/twelf
Sunpoet Po-Chuan Hsieh
sunpoet at FreeBSD.org
Sat Dec 17 12:58:59 UTC 2016
Author: sunpoet
Date: Sat Dec 17 12:58:58 2016
New Revision: 428757
URL: https://svnweb.freebsd.org/changeset/ports/428757
Log:
- USe DISTVERSIONPREFIX instead of DISTNAME
- Add missing OPTIONS_DEFINE=DOCS
- Use USES=makeinfo instead of hard-coded BUILD_DEPENDS
- Convert to options helper
- Convert to options target helper
- While I'm here, fix indent
Approved by: portmgr (blanket)
Modified:
head/lang/twelf/Makefile
Modified: head/lang/twelf/Makefile
==============================================================================
--- head/lang/twelf/Makefile Sat Dec 17 12:58:54 2016 (r428756)
+++ head/lang/twelf/Makefile Sat Dec 17 12:58:58 2016 (r428757)
@@ -3,10 +3,10 @@
PORTNAME= twelf
PORTVERSION= 1.7.1
+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/
-DISTNAME= ${PORTNAME}-src-${PORTVERSION}
+ http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
MAINTAINER= beyert at cs.ucr.edu
COMMENT= Meta-logical framework for deductive systems
@@ -18,43 +18,36 @@ RUN_DEPENDS= mlton:lang/mlton
BUILD_DEPENDS= mlton:lang/mlton \
texi2html:textproc/texi2html
-USES= gmake
+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 info pdf ps
+WRKSRC= ${WRKDIR}/twelf
+INFO= twelf
-.include <bsd.port.options.mk>
-
-.if ${PORT_OPTIONS:MDOCS}
-USE_TEX= tex:build dvipsk:build
-BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:print/texinfo
-.endif
+DOCS_USE= TEX=dvipsk:build,tex:build
+DOCS_USES= makeinfo
-post-patch:
-.if ${PORT_OPTIONS:MDOCS}
+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
-.endif
-post-build:
-.if ${PORT_OPTIONS:MDOCS}
+post-build-DOCS-on:
cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}
-.endif
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
${STAGEDIR}${PREFIX}/bin
${MKDIR} ${STAGEDIR}${DATADIR}
cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}
-.if ${PORT_OPTIONS:MDOCS}
+
+do-install-DOCS-on:
@${MKDIR} ${STAGEDIR}${DOCSDIR}
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
-.endif
-
-WRKSRC= ${WRKDIR}/twelf
-INFO= twelf
.include <bsd.port.mk>
More information about the svn-ports-head
mailing list