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

The docon Portfile 50980 2009-05-14 19:41:55Z and.damore macports.org $

PortSystem 1.0

Name: DoCon
set shortname docon
Version: 2.11
Revision: 1
Category: math devel
Maintainers: gwright
Platform: darwin

Description: DoCon is the Algebraic Domain Constructor
Long Description: DoCon joins the categorial approach to mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions.

Homepage: http://haskell.org/${shortname}
Master Sites: ${homepage}/distrib/${version}
distname ${shortname}-${version}
use_zip yes

Checksums: md5 229b4af2005bc6fcac0e386d88bf69e4

Patch Files: patch-docon.cabal.diff

depends_lib port:ghc

set worksrcpath ${workpath}/${shortname}/source

Variant: printable_doc description {Build printable documentation} {
depends_build bin:latex:texlive port:ghostscript

post-destroot {
system "cd ${workpath}/${shortname} && latex manual.lat"
system "cd ${workpath}/${shortname} && dvipdf manual"
file mkdir ${destroot}${prefix}/share/doc/${shortname}-${version}
file copy ${workpath}/${shortname}/manual.pdf ${destroot}${prefix}/share/doc/${shortname}-${version}/
}
}

configure { system "cd ${worksrcpath} && runhaskell Setup configure --ghc --prefix=${prefix} --enable-library-profiling" }

build { system "cd ${worksrcpath} && runhaskell Setup build -v" }

destroot { system "cd ${worksrcpath} && runhaskell Setup copy --copy-prefix=${destroot}${prefix}"
system "cd ${worksrcpath} && runhaskell Setup register --gen-script"
system "cd ${worksrcpath} && runhaskell Setup unregister --gen-script"

file mkdir ${destroot}${prefix}/libexec/${shortname}-${version}
file copy ${worksrcpath}/register.sh ${destroot}${prefix}/libexec/${shortname}-${version}
file copy ${worksrcpath}/unregister.sh ${destroot}${prefix}/libexec/${shortname}-${version}
}

post-activate { system "${prefix}/libexec/${shortname}-${version}/register.sh" }

#pre-deactivate { system "${prefix}/libexec/${shortname}-${version}/unregister.sh" }

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

--->  Staging docon into destroot

--->  Installing docon

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

%  man docon
%  apropos docon
%  which docon
%  locate docon

 Where to find more information: