docon  most recent diff

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.10 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

Web Darwinports.com




# $Id: Portfile 29790 2007-10-10 07:22:24Z ryandesign macports.org $

PortSystem 1.0
Name: DoCon
set shortname docon
Version: 2.10
Category: devel
Maintainers: gwright macports.org
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 05db0669029fb43400a2726b4742037b

depends_lib port:ghc

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

Variant: printable_doc {
depends_build port:teTeX

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

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

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

destroot { cd ${worksrcpath}
system "runhaskell Setup copy --copy-prefix=${destroot}${prefix}"
system "runhaskell Setup register --gen-script"
system "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: