diff options
| author | wiz <wiz@pkgsrc.org> | 2003-03-21 22:23:00 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2003-03-21 22:23:00 +0000 |
| commit | df2b8892c84e8402f693737ce204ff4babec0ab0 (patch) | |
| tree | e00b1fa77b6d0d57c48c0a7cc67601621bc46639 /lang/twelf/Makefile | |
| parent | a0bce01167f6ff06124aad1942a7e178bc0599cd (diff) | |
| download | pkgsrc-df2b8892c84e8402f693737ce204ff4babec0ab0.tar.gz | |
sml-nj renamed to smlnj.
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 81d45effc12..a0c05542a0b 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.1.1.1 2003/01/22 22:41:23 kristerw Exp $ +# $NetBSD: Makefile,v 1.2 2003/03/21 22:23:01 wiz Exp $ # DISTNAME= twelf-1-4 @@ -10,7 +10,7 @@ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://www.cs.cmu.edu/~twelf/ COMMENT= Meta-language for proving properties of languages and logics -DEPENDS+= sml-nj>=110.38:../../lang/sml-nj +DEPENDS+= smlnj>=110.38:../../lang/smlnj RESTRICTED= License terms not specified; assume no redistribution rights NO_SRC_ON_FTP= ${RESTRICTED} @@ -29,7 +29,7 @@ TWELF_DOCDIR= ${PREFIX}/share/doc/twelf TWELF_EXAMPLEDIR= ${PREFIX}/share/examples/twelf # -# Everything up until "post-extract" is taken from lang/sml-nj/Makefile. +# Everything up until "post-extract" is taken from lang/smlnj/Makefile. # There ought to be a buildlink2.mk for SML/NJ instead, since every # SML/NJ-built package will require this kind of PLIST handling. # |