diff options
| author | wiz <wiz> | 2003-03-21 22:23:00 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2003-03-21 22:23:00 +0000 |
| commit | 257415b5adaddb9b54f20d4568bfd2ecc8507a34 (patch) | |
| tree | e00b1fa77b6d0d57c48c0a7cc67601621bc46639 /lang | |
| parent | e64db041b43d411cb421d9fc28b42241b5df75bd (diff) | |
| download | pkgsrc-257415b5adaddb9b54f20d4568bfd2ecc8507a34.tar.gz | |
sml-nj renamed to smlnj.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/Makefile | 4 | ||||
| -rw-r--r-- | lang/twelf/Makefile | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/lang/Makefile b/lang/Makefile index 7e3c05f282d..038daa668fe 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.146 2003/03/10 13:16:15 skrll Exp $ +# $NetBSD: Makefile,v 1.147 2003/03/21 22:23:00 wiz Exp $ # COMMENT= Programming languages @@ -99,7 +99,7 @@ SUBDIR+= scheme48 SUBDIR+= siod SUBDIR+= smalleiffel SUBDIR+= smalltalk -SUBDIR+= sml-nj +SUBDIR+= smlnj SUBDIR+= snobol SUBDIR+= squeak SUBDIR+= stalin 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. # |