FreshPorts -- math/lambda: Lambda calculus interpreter

Port details

lambda Lambda calculus interpreter

0.1.4_2 math =1 0.1.4_2Version of this port present on the latest quarterly branch.

Maintainer: bofh@FreeBSD.org

Port Added: 2004-05-14 01:33:53

Last Update: 2023-07-19 17:30:39

Commit Hash: 1b23201

People watching this port, also watch:: p5-type1inst, font-misc-meltho, python

License: GPLv2

WWW:

https://uniquesoftwaredesigns.com/lambda/docs/lambda.html

Description:

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.

¦ ¦ ¦ ¦

Manual pages:

FreshPorts has no man page information for this port.

pkg-plist: as obtained via: make generate-plist

Expand this list (6 items)

Collapse this list.

bin/lambda
share/lambda/definitions
share/lambda/definitions_with_numbers
/usr/local/share/licenses/lambda-0.1.4_2/catalog.mk
/usr/local/share/licenses/lambda-0.1.4_2/LICENSE
/usr/local/share/licenses/lambda-0.1.4_2/GPLv2

Collapse this list.

Dependency lines:

lambda>0:math/lambda

To install the port:

cd /usr/ports/math/lambda/ && make install clean

To add the package, run one of these commands:

pkg install math/lambda
pkg install lambda

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: lambda

Flavors: there is no flavor information for this port.

distinfo:

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

Packages (timestamps in pop-ups are UTC):

lambda
ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	-	0.1.4_2	-
FreeBSD:13:quarterly	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2
FreeBSD:14:latest	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	-	0.1.4_2
FreeBSD:14:quarterly	0.1.4_2	0.1.4_2	-	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2	0.1.4_2
FreeBSD:15:latest	0.1.4_2	0.1.4_2	n/a	0.1.4_2	n/a	0.1.4_2	0.1.4_2	0.1.4_2
FreeBSD:15:quarterly	-	-	n/a	-	n/a	-	-	-

Dependencies

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

Build dependencies:

perl5>=5.32.r0<5.33 : lang/perl5.32

Library dependencies:

libreadline.so.8 : devel/readline

This port is required by:

for Build

Deleted ports which required this port:

Expand this list of 1 deleted port

for Run

Deleted ports which required this port:

Expand this list of 1 deleted port

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

Options name:

math_lambda

USES:

perl5 ncurses readline shebangfix

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

http://uniquesoftwaredesigns.com/lambda/

Collapse this list.

Number of commits found: 21

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
0.1.4_2 19 Jul 2023 17:30:39	Muhammad Moinur Rahman (bofh)	math/lambda: Fix build with llvm16 - Pet portclippy - Adopt port Sponsored by: The FreeBSD Foundation
07 Sep 2022 21:58:51	Stefan Eßer (se)	Remove WWW entries moved into port Makefiles Commit b7f05445c00f has added WWW entries to port Makefiles based on WWW: lines in pkg-descr files. This commit removes the WWW: lines of moved-over URLs from these pkg-descr files. Approved by: portmgr (tcberner)
0.1.4_2 07 Sep 2022 21:10:59	Stefan Eßer (se)	Add WWW entries to port Makefiles It has been common practice to have one or more URLs at the end of the ports' pkg-descr files, one per line and prefixed with "WWW:". These URLs should point at a project website or other relevant resources. Access to these URLs required processing of the pkg-descr files, and they have often become stale over time. If more than one such URL was present in a pkg-descr file, only the first one was tarnsfered into the port INDEX, but for many ports only the last line did contain the port specific URL to further information. There have been several proposals to make a project URL available as a macro in the ports' Makefiles, over time. (Only the first 15 lines of the commit message are shown above )
0.1.4_2 20 Jul 2022 14:22:24	Tobias C. Berner (tcberner)	math: remove 'Created by' lines A big Thank You to the original contributors of these ports: * Aaron Dalton <aaron@FreeBSD.org> * Aaron Dalton <aaron@daltons.ca> * Alessando Sagratini <ale_sagra@hotmail.com> * Alex Dupre <ale@FreeBSD.org> * Alexey Dokuchaev <danfe@FreeBSD.org> * Amarendra Godbole <amarendra.godbole@gmail.com> * Anders Nordby <anders@FreeBSD.org> * Andreas Fehlner (fehlner@gmx.de) * Andrew L. Neporada <andrew@chg.ru> * Andrey <gugu@zoo.rambler.ru> * Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above )
0.1.4_2 06 Apr 2021 14:31:07	Mathieu Arnold (mat)	Remove # $FreeBSD$ from Makefiles.
0.1.4_2 09 Apr 2019 14:04:50	sunpoet	Update devel/readline to 8.0 - Bump PORTREVISION of dependent ports for shlib change Changes: https://tiswww.case.edu/php/chet/readline/CHANGES PR: 236156 Exp-run by: antoine
0.1.4_1 27 Jun 2017 13:46:53	sunpoet	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
0.1.4 07 Feb 2016 11:44:48	marino	math/lambda: USES+= ncurses, link to ncurses (not termcap)
0.1.4 01 Jan 2016 15:49:44	rakuco	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.
0.1.4 09 Nov 2015 12:59:04	antoine	Mark a few ports BROKEN: unfetchable
0.1.4 20 Dec 2014 19:15:32	bapt	cleanup plist
0.1.4 29 Nov 2014 12:22:21	antoine	Allow building without /usr/bin/perl symlink PR: ports/195494
0.1.4 29 Jul 2014 22:44:11	adamw	Add USES=readline to fix build on current.
0.1.4 15 Feb 2014 14:31:57	danilo	- Add stage support - Remove the indefinite article from COMMENT - Add DOCS option - Add LICENSE
0.1.4 20 Sep 2013 20:55:06	bapt	Add NO_STAGE all over the place in preparation for the staging support (cat: math)
0.1.4 03 Aug 2013 13:44:01	mat	- Convert to new perl framework - Remove MAKE_JOBS_SAFE=yes, it's the default.
0.1.4 20 Mar 2011 12:54:45	miwi	- Get Rid MD5 support
0.1.4 14 Feb 2006 15:21:21	garga	- Make it fetchable again - Fix WWW PR: ports/93335 Submitted by: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
0.1.4 25 Nov 2005 15:48:16	pav	- Add SHA256
0.1.4 17 May 2004 01:49:02	ijliao	add perl5 build depend Noticed by: bento via kris
0.1.4 14 May 2004 01:33:15	ijliao	add lambda 0.1.4 A lambda calculus interpreter

Number of commits found: 21

Login
User Login Create account

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

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

clamav	Apr 19
jenkins	Apr 19
jenkins-lts	Apr 19
electron27	Apr 18
electron28	Apr 18
electron29	Apr 18
filezilla	Apr 16
php81	Apr 16
php82	Apr 16
php83	Apr 16
putty	Apr 16
putty-nogtk	Apr 16
go121	Apr 15
go122	Apr 15
chromium	Apr 12

15 vulnerabilities affecting 281 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2024-04-19 20:48:44 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	32208
Broken	87
Deprecated	179
Ignore	219
Forbidden	2
Restricted	2
No CDROM	1
Vulnerable	40
Expired	5
Set to expire	153
Interactive	0
new 24 hours	2
new 48 hours	5
new 7 days	10
new fortnight	43
new month	180

Get notified when packages are built