diff options
author | wiz <wiz> | 2009-05-19 08:59:00 +0000 |
---|---|---|
committer | wiz <wiz> | 2009-05-19 08:59:00 +0000 |
commit | 53d692acd8a71f89a941dada62a4345937a07233 (patch) | |
tree | 6a9e4328c8c41ae43ff29db30f6e978dd26921b7 /lang/twelf | |
parent | 3ed0ee791ad16bb4ffe35b3ae38c3c23a87b463f (diff) | |
download | pkgsrc-53d692acd8a71f89a941dada62a4345937a07233.tar.gz |
Use standard location for LICENSE line (in MAINTAINER/HOMEPAGE/COMMENT
block). Uncomment some commented out LICENSE lines while here.
Diffstat (limited to 'lang/twelf')
-rw-r--r-- | lang/twelf/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index f32ec34eaf3..a9c5359d208 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.18 2008/10/11 09:31:57 uebayasi Exp $ +# $NetBSD: Makefile,v 1.19 2009/05/19 08:59:20 wiz Exp $ # DISTNAME= twelf-1-4 @@ -9,16 +9,16 @@ MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://www.cs.cmu.edu/~twelf/ COMMENT= Meta-language for proving properties of languages and logics - -DEPENDS+= smlnj>=110.38:../../lang/smlnj - LICENSE= generic-nonlicense + RESTRICTED= License terms not specified; assume no redistribution rights NO_SRC_ON_FTP= ${RESTRICTED} NO_SRC_ON_CDROM= ${RESTRICTED} NO_BIN_ON_FTP= ${RESTRICTED} NO_BIN_ON_CDROM= ${RESTRICTED} +DEPENDS+= smlnj>=110.38:../../lang/smlnj + USE_TOOLS+= pax WRKSRC= ${WRKDIR}/twelf |