From owner-svn-ports-all@FreeBSD.ORG Wed Jul 16 20:37:20 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 3DF135CC; Wed, 16 Jul 2014 20:37:20 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 2AE0F20AB; Wed, 16 Jul 2014 20:37:20 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s6GKbKii094700; Wed, 16 Jul 2014 20:37:20 GMT (envelope-from riggs@svn.freebsd.org) Received: (from riggs@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s6GKbJMa094696; Wed, 16 Jul 2014 20:37:19 GMT (envelope-from riggs@svn.freebsd.org) Message-Id: <201407162037.s6GKbJMa094696@svn.freebsd.org> From: Thomas Zander Date: Wed, 16 Jul 2014 20:37:19 +0000 (UTC) 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 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 16 Jul 2014 20:37:20 -0000 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 (previously ports@) - General cleanup - Add LICENSE - Remove twelf from LEGAL (port is now BSD2CLAUSE licensed) PR: 191758 Submitted by: Timothy Beyer 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 + +.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 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