mozart-stdlib  most recent diff

View the most recent changes for the mozart-stdlib port at: mozart-stdlib.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for mozart-stdlib.
The raw portfile for mozart-stdlib 1.3.2 is located here:
http://mozart-stdlib.darwinports.com/dports/lang/mozart-stdlib/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-stdlib

Web Darwinports.com




# $Id: Portfile 31158 2007-11-17 03:59:38Z bfulgham macports.org $

PortSystem 1.0

Name: mozart-stdlib
Version: 1.3.2
revision 1
Category: lang
Platform: darwin
Maintainers: bfulgham macports.org
Homepage: http://www.mozart-oz.org
Description: Mozart-Oz standard libraries
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 package contains the standard libraries for the language.

depends_lib-append port:mozart

master_sites http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar
distfiles mozart-1.3.2.20060615-std.tar.gz
checksums md5 0daf6c873990bebdde550ec1fd70bdb6

worksrcdir mozart-1.3.2.20060615-std
configure.args --prefix=${prefix}/share/mozart --enable-doc=no
build.target

destroot.args PREFIX=${destroot}${prefix}/share/mozart
post-destroot {
system "ln ${destroot}${prefix}/share/mozart/bin/ozmake ${destroot}${prefix}/bin"
}

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

--->  Staging mozart-stdlib into destroot

--->  Installing mozart-stdlib

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

%  man mozart-stdlib
%  apropos mozart-stdlib
%  which mozart-stdlib
%  locate mozart-stdlib

 Where to find more information: