aboutsummaryrefslogtreecommitdiffstats
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/Makefile1
-rw-r--r--math/lambda/Makefile40
-rw-r--r--math/lambda/distinfo2
-rw-r--r--math/lambda/pkg-descr16
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/