mozart  most recent diff

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

Web Darwinports.com




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

PortSystem 1.0

Name: mozart
Version: 1.3.2
revision 1
Category: lang
Platform: darwin
Maintainers: bfulgham macports.org
Homepage: http://www.mozart-oz.org
Description: Mozart-Oz multiparadigms programming language.
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."

depends_build port:gmp port:zlib port:gdbm
#depends_lib port:emacs
depends_run bin:wish:tk

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

patchfiles patch-share-bin-oz.in

worksrcdir mozart-1.3.2.20060615
configure.args --prefix=${prefix}/share/mozart --with-inc-dir=${prefix}/include --with-lib-dir=${prefix}/lib

build.target

destroot.args PREFIX=${destroot}${prefix}/share/mozart

post-destroot {
delete ${destroot}${prefix}/share/mozart/cache/x-oz/doc
file delete -force ${destroot}${prefix}/share/mozart/doc

xinstall -m 0644 ${filespath}/README.MacPorts ${destroot}${prefix}/share/mozart

xinstall -d ${destroot}${prefix}/man/man1
# foreach x [glob ${destroot}${prefix}/share/mozart/doc/man/*.1] { system "ln $x ${destroot}${prefix}/man/man1" }

reinplace "s|^# OZHOME=.*|OZHOME=${prefix}/share/mozart|" ${destroot}${prefix}/share/mozart/bin/oz
xinstall -d ${destroot}${prefix}/bin
foreach x [glob -type {x} ${destroot}${prefix}/share/mozart/bin/*] { system "ln $x ${destroot}${prefix}/bin" }

file delete -force ${destroot}${prefix}/share/mozart/doc/.htaccess
}

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

--->  Staging mozart into destroot

--->  Installing mozart

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

%  man mozart
%  apropos mozart
%  which mozart
%  locate mozart

 Where to find more information: