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 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


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

Build dependencies:
  1. perl5>=5.20<5.21 : lang/perl5.20

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:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

USES:
perl5 ncurses readline shebangfix

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://uniquesoftwaredesigns.com/lambda/

Number of commits found: 14

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 14

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
dnsmasq*Jun 30
dnsmasq-devel*Jun 30
haproxyJun 30
libtorrent-rasterbarJun 30
opensslJun 30
python33Jun 30
tomcat7Jun 26
tomcat8Jun 26
php55Jun 25
php55-gdJun 25
php55-mbstringJun 25
php55-wddxJun 25
php55-zipJun 25
php56Jun 25
php56-gdJun 25

20 vulnerabilities affecting 50 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 26148
Broken 280
Deprecated 278
Ignore 546
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 59
Expired 15
Set to expire 265
Interactive 0
new 24 hours 4
new 48 hours5
new 7 days27
new fortnight53
new month101

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