Portfile

PortSystem 1.0
name mozart-doc
version 1.3.2
categories lang
platforms darwin
maintainers nomaintainer@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 {
cd ${worksrcpath}
delete doc/mozart-ozmake
delete doc/mozart-stdlib
delete examples
}
destroot { file copy ${worksrcpath} ${destroot}${prefix} }