Portfile

PortSystem 1.0

name mozart-stdlib
version 1.3.2
categories lang
platforms darwin
maintainers nomaintainer@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}/mozart --enable-doc=no
build.target

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