svn commit: r362110 - in head: . lang/twelf lang/twelf/files

[Thomas Zander]

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 at 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 at 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 at FreeBSD.org
+MAINTAINER=	beyert at 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