buddha  most recent diff

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

Web Darwinports.com




# $Id: Portfile 30224 2007-10-22 22:49:14Z jmpp macports.org $

PortSystem 1.0
Name: buddha
Version: 1.2
Category: devel
Maintainers: nomaintainer
Platform: darwin

Description: A declarative debugger for Haskell 98 programs.
Long Description: Buddha is a debugger for Haskell 98 programs. To be more precise, it is a declarative debugger. It presents the evaluation of a Haskell program as a series of equivalences, rather than the more traditional stepwise presentation of debuggers for imperative languages.

Homepage: http://www.cs.mu.oz.au/~bjpop/buddha/
master_sites ${homepage}/download

checksums md5 e662d5e2891d7d5e203c477723b62aa3

depends_build bin:ghc:ghc
depends_lib lib:readline:readline

#bugs Buddha requires that the associated ghc be built # with profiling libraries. The is true for the ghc # installed by MacPorts, but might not be if you # installed ghc by a different route. # # Not all of the system libraries have buddha-ized # versions, and buddha will fail to produce debugging # versions of programs that use these libraries.

#user_notes The buddha parser is not as smart as full haskell # and sometimes requires a type signature to help it # along. Try this if the original source file compiles # but under buddha you get 'ambiguous type' errors.

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/buddha
%  sudo port install buddha  
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 buddha
--->  Verifying checksum for buddha
--->  Extracting buddha
--->  Configuring buddha
--->  Building buddha with target all

--->  Staging buddha into destroot

--->  Installing buddha

- 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 buddha with these commands:

%  man buddha
%  apropos buddha
%  which buddha
%  locate buddha

 Where to find more information: