From df2b8892c84e8402f693737ce204ff4babec0ab0 Mon Sep 17 00:00:00 2001 From: wiz Date: Fri, 21 Mar 2003 22:23:00 +0000 Subject: sml-nj renamed to smlnj. --- lang/twelf/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lang/twelf/Makefile') 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. # -- cgit v1.2.3