mozart-doc  most recent diff

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

Web Darwinports.com




# $Id: Portfile 31159 2007-11-17 04:31:00Z bfulgham macports.org $

PortSystem 1.0
Name: mozart-doc
Version: 1.3.2
revision 1
Category: lang
Platform: darwin
Maintainers: bfulgham macports.org
Homepage: http://www.mozart-oz.org
Description: Mozart-Oz documentation
Long Description: The Mozart system is a development platform focused on open distributed computing and constraint-based inferrence. The system provides excellent support for logic and constraint programming, making it an excellent choice for implementing multi-agent systems. The language has recently been popularized by the book "Concepts, Techniques, and Models of Computer Progamming." This port installs the documentation and help files.


master_sites http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar
distfiles mozart-1.3.2.20060615-doc.tar.gz
checksums md5 052a5c82f244bab77174e32fbe7e8996

worksrcdir mozart

use_configure no
build.pre_args "-v"

pre-destroot {
# These entries are part of the stdlib package
file delete -force ${worksrcpath}/doc/mozart-ozmake
file delete -force ${worksrcpath}/doc/mozart-stdlib
file delete -force ${worksrcpath}/examples
file delete -force ${worksrcpath}/share/doc/.htaccess
}

destroot {
file copy ${worksrcpath} ${destroot}${prefix}/share
}

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

--->  Staging mozart-doc into destroot

--->  Installing mozart-doc

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

%  man mozart-doc
%  apropos mozart-doc
%  which mozart-doc
%  locate mozart-doc

 Where to find more information: