diff options
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 0bbcd078cfc..01c3394d923 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,10 +1,9 @@ -# $NetBSD: Makefile,v 1.6 2003/08/09 10:59:13 seb Exp $ +# $NetBSD: Makefile,v 1.7 2004/01/20 12:19:18 agc Exp $ # DISTNAME= twelf-1-4 PKGNAME= twelf-1.4 PKGREVISION= 1 -WRKSRC= ${WRKDIR}/twelf CATEGORIES= lang MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/ @@ -20,6 +19,7 @@ NO_SRC_ON_CDROM= ${RESTRICTED} NO_BIN_ON_FTP= ${RESTRICTED} NO_BIN_ON_CDROM= ${RESTRICTED} +WRKSRC= ${WRKDIR}/twelf MAKEFILE= smlnj/Makefile MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml ALL_TARGET= twelf-server twelf-sml |