# $Id: Portfile 50980 2009-05-14 19:41:55Z and.damore@macports.org $

PortSystem             1.0
name                   mozart-doc
version                1.3.2
revision               1
categories             lang
platforms	           darwin
maintainers	     bfulgham
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         { 
	# These entries are part of the stdlib package
	file delete -force ${worksrcpath}/doc/mozart-ozmake
	file delete -force ${worksrcpath}/doc/mozart-stdlib
	file delete -force ${worksrcpath}/examples
	file delete -force ${worksrcpath}/share/doc/.htaccess
}

destroot             {
	file copy ${worksrcpath} ${destroot}${prefix}/share
}

