lambda  most recent diff

View the most recent changes for the lambda port at: lambda.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for lambda.
The raw portfile for lambda 0.1.4 is located here:
http://lambda.darwinports.com/dports/math/lambda/Portfile
Find related portfiles with the unique DarwinPorts.com search feature.
Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/lambda

Web Darwinports.com




# $Id: Portfile 30237 2007-10-23 01:46:57Z jmpp macports.org $

PortSystem 1.0

Name: lambda
Version: 0.1.4
Category: math
Platform: darwin
Maintainers: nomaintainer
Description: A lambda calculus interpreter
Long Description: Lambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I.

Homepage: http://66.47.116.75/~demo/lambda/
master_sites http://66.47.116.75/~demo/lambda/ freebsd
checksums md5 7987fed0e62a3b639eb09abb5a136d4c

configure.args --datadir=${prefix}/share/${name}

If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page.
Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:

%  cd /opt/local/bin/portslocation/dports/lambda
%  sudo port install lambda  
Password: 

You will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to:

--->  Fetching lambda
--->  Verifying checksum for lambda
--->  Extracting lambda
--->  Configuring lambda
--->  Building lambda with target all

--->  Staging lambda into destroot

--->  Installing lambda

- Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using lambda with these commands:

%  man lambda
%  apropos lambda
%  which lambda
%  locate lambda

 Where to find more information: