diff options
| author | ijliao <ijliao@FreeBSD.org> | 2004-05-14 09:33:15 +0800 |
|---|---|---|
| committer | ijliao <ijliao@FreeBSD.org> | 2004-05-14 09:33:15 +0800 |
| commit | 224a396a63944342a0f2f8049d4861dafe19b268 (patch) | |
| tree | c725c5e4c1daff4331ae79d75af581848d97e4a1 /math/lambda/Makefile | |
| parent | b65a17526d8050a562967fa672a9fbd01e16b717 (diff) | |
| download | freebsd-ports-gnome-224a396a63944342a0f2f8049d4861dafe19b268.tar.gz freebsd-ports-gnome-224a396a63944342a0f2f8049d4861dafe19b268.tar.zst freebsd-ports-gnome-224a396a63944342a0f2f8049d4861dafe19b268.zip | |
add lambda 0.1.4
A lambda calculus interpreter
Diffstat (limited to 'math/lambda/Makefile')
| -rw-r--r-- | math/lambda/Makefile | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/math/lambda/Makefile b/math/lambda/Makefile new file mode 100644 index 000000000000..54d9137a6451 --- /dev/null +++ b/math/lambda/Makefile @@ -0,0 +1,40 @@ +# ex:ts=8 +# Ports collection makefile for: lambda +# Date created: Mar 23, 2004 +# Whom: ijliao +# +# $FreeBSD$ +# + +PORTNAME= lambda +PORTVERSION= 0.1.4 +CATEGORIES= math +MASTER_SITES= http://66.47.116.75/~demo/lambda/ + +MAINTAINER= ports@FreeBSD.org +COMMENT= A lambda calculus interpreter + +GNU_CONFIGURE= yes + +PLIST_FILES= bin/lambda \ + share/lambda/definitions \ + share/lambda/definitions_with_numbers +PLIST_DIRS= share/lambda + +.if !defined(NOPORTDOCS) +DOCS= lambda.html lambdamanual.html user_manual_style.css +PORTDOCS= * +.endif + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/lambda ${PREFIX}/bin + @${MKDIR} ${DATADIR} + ${INSTALL_DATA} ${WRKSRC}/definitions* ${DATADIR} +.if !defined(NOPORTDOCS) + @${MKDIR} ${DOCSDIR} +.for file in ${DOCS} + ${INSTALL_DATA} ${WRKSRC}/docs/${file} ${DOCSDIR} +.endfor +.endif + +.include <bsd.port.mk> |