# $Id$

PortSystem             1.0

name                   mozart-stdlib
version                1.3.2
revision               1
categories             lang
platforms              darwin
maintainers            bfulgham
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"
}