# $Id: Portfile 74069 2010-12-04 00:35:14Z jmr@macports.org $ 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 }