diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/lambda/Makefile | 40 | ||||
| -rw-r--r-- | math/lambda/distinfo | 2 | ||||
| -rw-r--r-- | math/lambda/pkg-descr | 16 |
4 files changed, 59 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index d74e03eecec1..02843d2460f0 100644 --- a/math/Makefile +++ b/math/Makefile @@ -77,6 +77,7 @@ SUBDIR += kaskade SUBDIR += koctave SUBDIR += kseg + SUBDIR += lambda SUBDIR += lapack SUBDIR += lapack++ SUBDIR += libgmp-freebsd 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> diff --git a/math/lambda/distinfo b/math/lambda/distinfo new file mode 100644 index 000000000000..16ab41736223 --- /dev/null +++ b/math/lambda/distinfo @@ -0,0 +1,2 @@ +MD5 (lambda-0.1.4.tar.gz) = 7987fed0e62a3b639eb09abb5a136d4c +SIZE (lambda-0.1.4.tar.gz) = 102295 diff --git a/math/lambda/pkg-descr b/math/lambda/pkg-descr new file mode 100644 index 000000000000..a3eecc6d2c66 --- /dev/null +++ b/math/lambda/pkg-descr @@ -0,0 +1,16 @@ +Lambda is a lambda calculus interpreter. It also will convert lambda expression +into the combinators S, K, and I. + +Current features: + * Load predefined lambda expression + * Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd + ADD MUL EXP list suc pred . . . + * Automatic number definitions. + * Interpret lambda expressions. + * Single step interpretation. + * Normal or application order reductions. + * Variable extraction (Conversion to S K I) + * List definitions. + * Some lambda calculus theory. + +WWW: http://66.47.116.75/~demo/lambda/ |