# $Id$

PortSystem             1.0

name                   mozart-doc
version                1.4.0
set tardate            20080704
set urldate            2008-07-02
categories             lang
platforms	           darwin
supported_archs        noarch
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           ${homepage}/download/mozart-ftp/store/${version}-${urldate}-tar/
distname               mozart-${version}.${tardate}-doc
checksums              md5 6c019af10d968f18cf2d296ac5d6b65e \
                       sha1 308fdd1d835f5197795f31232ed2374b646bf26a

worksrcdir             mozart

use_configure          no
build                  {}

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
}