FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
lambda Lambda calculus interpreter
0.1.4_1 math on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 14 May 2004 01:33:53
License: GPLv2
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://uniquesoftwaredesigns.com/lambda/docs/lambda.html
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/lambda/ && make install clean
To add the package: pkg install lambda

PKGNAME: lambda

distinfo:

SHA256 (lambda-0.1.4.tar.gz) = 4ba570dea484f95a043ddb0e22bdb0f7b01b80a9a01aaaa685953416cf2d53b3
SIZE (lambda-0.1.4.tar.gz) = 121052


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. perl5>=5.24<5.25 : lang/perl5.24

This port is required by:

for Build for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options
===> The following configuration options are available for lambda-0.1.4_1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

USES:
perl5 ncurses readline shebangfix

Master Sites:
  1. http://uniquesoftwaredesigns.com/lambda/

Number of commits found: 15

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
27 Jun 2017 13:46:53
Original commit files touched by this commit  0.1.4_1
Revision:444463
sunpoet search for other commits by this committer
Update devel/readline to 7.0 patch 3

- Bump PORTREVISION for shlib change

Changes:	https://cnswww.cns.cwru.edu/php/chet/readline/CHANGES
		https://lists.gnu.org/archive/html/bug-bash/2016-09/msg00107.html
		https://lists.gnu.org/archive/html/bug-readline/2017-01/msg00002.html
Differential Revision:	https://reviews.freebsd.org/D11172
PR:		219947
Exp-run by:	antoine
07 Feb 2016 11:44:48
Original commit files touched by this commit  0.1.4
Revision:408378
marino search for other commits by this committer
math/lambda: USES+= ncurses, link to ncurses (not termcap)
01 Jan 2016 15:49:44
Original commit files touched by this commit  0.1.4
Revision:405003
rakuco search for other commits by this committer
Switch to a working MASTER_SITE, regenerate distinfo and unmark BROKEN.

Switch to fetching the source tarball from the website indicated in WWW. It
is slightly different from the previous tarball: some build system files
were generated by a more recent version of autotools, the documentation
contains a typo fix and its ChangeLog mentions this fix.
09 Nov 2015 12:59:04
Original commit files touched by this commit  0.1.4
Revision:401096
antoine search for other commits by this committer
Mark a few ports BROKEN: unfetchable
20 Dec 2014 19:15:32
Original commit files touched by this commit  0.1.4
Revision:375097
bapt search for other commits by this committer
cleanup plist
29 Nov 2014 12:22:21
Original commit files touched by this commit  0.1.4
Revision:373615
antoine search for other commits by this committer
Allow building without /usr/bin/perl symlink

PR:		ports/195494
29 Jul 2014 22:44:11
Original commit files touched by this commit  0.1.4
Revision:363405
adamw search for other commits by this committer
Add USES=readline to fix build on current.
15 Feb 2014 14:31:57
Original commit files touched by this commit  0.1.4
Revision:344392
danilo search for other commits by this committer
- Add stage support
- Remove the indefinite article from COMMENT
- Add DOCS option
- Add LICENSE
20 Sep 2013 20:55:06
Original commit files touched by this commit  0.1.4
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
03 Aug 2013 13:44:01
Original commit files touched by this commit  0.1.4
Revision:324191  Sanity Test Failure
mat search for other commits by this committer
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default.
20 Mar 2011 12:54:45
Original commit files touched by this commit  0.1.4
miwi search for other commits by this committer
- Get Rid MD5 support
14 Feb 2006 15:21:21
Original commit files touched by this commit  0.1.4
garga search for other commits by this committer
- Make it fetchable again
- Fix WWW

PR:             ports/93335
Submitted by:   Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
25 Nov 2005 15:48:16
Original commit files touched by this commit  0.1.4
pav search for other commits by this committer
- Add SHA256
17 May 2004 01:49:02
Original commit files touched by this commit  0.1.4
ijliao search for other commits by this committer
add perl5 build depend

Noticed by:     bento via kris
14 May 2004 01:33:15
Original commit files touched by this commit  0.1.4
ijliao search for other commits by this committer
add lambda 0.1.4
A lambda calculus interpreter

Number of commits found: 15

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
gsoapJul 25
webkit2-gtk3Jul 25
mariadb100-server*Jul 23
mariadb101-server*Jul 23
mariadb55-server*Jul 23
mysql55-server*Jul 23
mysql56-server*Jul 23
mysql57-server*Jul 23
percona55-server*Jul 23
percona56-server*Jul 23
percona57-server*Jul 23
gitlabJul 20
collectd5Jul 19
strongswanJul 19
strongswanJul 19

13 vulnerabilities affecting 66 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 30892
Broken 174
Deprecated 102
Ignore 470
Forbidden 0
Restricted 210
No CDROM 84
Vulnerable 194
Expired 42
Set to expire 97
Interactive 0
new 24 hours 11
new 48 hours19
new 7 days94
new fortnight163
new month505

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.