Buddha version 1.2 - How to Download and Install on Mac OS X
Saturday the 7th of November, 2009

    version 1.2

      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


      The buddha 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:

    Darwin Ports



    Lightbox this page.