Date: Wed, 16 Jul 2014 20:37:19 +0000 (UTC) From: Thomas Zander <riggs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r362110 - in head: . lang/twelf lang/twelf/files Message-ID: <201407162037.s6GKbJMa094696@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: riggs Date: Wed Jul 16 20:37:19 2014 New Revision: 362110 URL: http://svnweb.freebsd.org/changeset/ports/362110 QAT: https://qat.redports.org/buildarchive/r362110/ Log: - Update to latest upstream release 1.7.1 - Assign maintainership to Timothy Beyer <beyert@cs.ucr.edu> (previously ports@) - General cleanup - Add LICENSE - Remove twelf from LEGAL (port is now BSD2CLAUSE licensed) PR: 191758 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> Approved by: mentors (implicit) Deleted: head/lang/twelf/files/ head/lang/twelf/pkg-plist Modified: head/LEGAL head/lang/twelf/Makefile head/lang/twelf/distinfo Modified: head/LEGAL ============================================================================== --- head/LEGAL Wed Jul 16 20:36:14 2014 (r362109) +++ head/LEGAL Wed Jul 16 20:37:19 2014 (r362110) @@ -259,7 +259,6 @@ Tripwire-*-1.tar.gz security/tripwire-13 tripwire-*.tar.gz security/tripwire12 Cannot be redistributed for more than the cost of duplication TrueCrypt* security/truecrypt May not be redistributed. Must accept license to download. tuc-* converters/tuc Author does not allow CD-ROM distribution -twelf-* lang/twelf License is currently indeterminate tw_cli-* sysutils/tw_cli Redistribution forbidden by license uDrawGraph-* graphics/uDrawGraph Binary under GNU LGPL without accompanying source ue*dev.zip editors/uemacs Resale allowed for media cost only Modified: head/lang/twelf/Makefile ============================================================================== --- head/lang/twelf/Makefile Wed Jul 16 20:36:14 2014 (r362109) +++ head/lang/twelf/Makefile Wed Jul 16 20:37:19 2014 (r362110) @@ -2,41 +2,59 @@ # $FreeBSD$ PORTNAME= twelf -PORTVERSION= 1.5R1 -PORTREVISION= 5 -CATEGORIES= lang -MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/ -DISTNAME= twelf-1-5R1 +PORTVERSION= 1.7.1 +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} -MAINTAINER= ports@FreeBSD.org +MAINTAINER= beyert@cs.ucr.edu COMMENT= Meta-logical framework for deductive systems -.if defined(WITH_MLTON) +LICENSE= BSD2CLAUSE +LICENSE_FILE= ${WRKSRC}/LICENSE + RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton -.elif defined(WITH_SML_NJ_DEVEL) -RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj-devel -BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj-devel -.else -RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj -BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj -.endif +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 + +.include <bsd.port.options.mk> + +.if ${PORT_OPTIONS:MDOCS} USE_TEX= tex:build +BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:${PORTSDIR}/print/texinfo +BUILD_DEPENDS+= ${LOCALBASE}/bin/dvips:${PORTSDIR}/print/dvipsk-tetex +.endif -.if defined(WITH_MLTON) -MAKEFILE= mlton/Makefile -.elif defined(WITH_SML_NJ_DEVEL) -MAKEFILE= smlnj/Makefile +post-patch: +.if ${PORT_OPTIONS:MDOCS} + @${REINPLACE_CMD} 's|-number|-number-sections|g' \ + ${WRKSRC}/doc/guide/Makefile + @${REINPLACE_CMD} 's|twelf_\*.html|twelf/\*.html|g' \ + ${WRKSRC}/doc/guide/Makefile .endif -WRKSRC= ${WRKDIR}/twelf -INFO= twelf +post-build: +.if ${PORT_OPTIONS:MDOCS} + cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET} +.endif -RESTRICTED= License is currently indeterminate (expected to be GPL) +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} + @${MKDIR} ${STAGEDIR}${DOCSDIR} + cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR} +.endif -NO_STAGE= yes -post-patch: - @${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile +WRKSRC= ${WRKDIR}/twelf +INFO= twelf .include <bsd.port.mk> Modified: head/lang/twelf/distinfo ============================================================================== --- head/lang/twelf/distinfo Wed Jul 16 20:36:14 2014 (r362109) +++ head/lang/twelf/distinfo Wed Jul 16 20:37:19 2014 (r362110) @@ -1,2 +1,2 @@ -SHA256 (twelf-1-5R1.tar.gz) = d20473493cd39e111ce3585f8c32eefc79de4099ae4e97bfe2eb7695d6987564 -SIZE (twelf-1-5R1.tar.gz) = 1157430 +SHA256 (twelf-src-1.7.1.tar.gz) = 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a +SIZE (twelf-src-1.7.1.tar.gz) = 1147610
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201407162037.s6GKbJMa094696>