diff options
Diffstat (limited to 'lang/moscow_ml/Makefile')
| -rw-r--r-- | lang/moscow_ml/Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile new file mode 100644 index 00000000000..62fff26e635 --- /dev/null +++ b/lang/moscow_ml/Makefile @@ -0,0 +1,30 @@ +# New ports collection makefile for: moscow-ml +# Version required: 1.42 +# Date created: 17 February 1998 +# Whom: lamj@stat.cmu.edu +# +# $NetBSD: Makefile,v 1.1 1998/02/17 10:18:36 agc Exp $ +# + +DISTNAME= mos14src +PKGNAME= moscow_ml-1.42 +CATEGORIES= lang +MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ + +MAINTAINER= lamj@stat.cmu.edu + +USE_PERL5= yes +WRKSRC= ${WRKDIR}/mosml/src +ALL_TARGET= world + +post-install: +.if !defined(NOPORTDOCS) + ${MKDIR} ${PREFIX}/share/doc/moscow_ml + ${MKDIR} ${PREFIX}/share/examples/moscow_ml +.for file in bugs manual.dvi mosmlref.dvi releases.txt + ${INSTALL_DATA} ${WRKDIR}/mosml/doc/${file} ${PREFIX}/share/doc/moscow_ml +.endfor + ${CP} -R ${WRKDIR}/mosml/examples/* ${PREFIX}/share/examples/moscow_ml +.endif + +.include <bsd.port.mk> |