Ticket #10299: Portfile

File Portfile, 1.3 KB (added by bfulgham@…, 18 years ago)

Portfile to install the documentation for the Mozart/Oz system.

Line 
1PortSystem             1.0
2name                   mozart-doc
3version                1.3.2
4categories             lang
5platforms                  darwin
6maintainers          darwinports@opendarwin.org
7homepage               http://www.mozart-oz.org
8description            Mozart-Oz documentation
9long_description     The Mozart system is a development platform focused on open \
10                        distributed computing and constraint-based inferrence.  \
11                        The system provides excellent support for logic and \
12                        constraint programming, making it an excellent choice \
13                        for implementing multi-agent systems.  The language has \
14                        recently been popularized by the book "Concepts, \
15                        Techniques, and Models of Computer Progamming." \
16                        This port installs the documentation and help files.
17
18
19master_sites           http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar
20distfiles              mozart-1.3.2.20060615-doc.tar.gz
21checksums              md5 052a5c82f244bab77174e32fbe7e8996
22
23worksrcdir             mozart
24
25use_configure          no
26build.pre_args         "-v"
27
28pre-destroot         {
29    cd ${worksrcpath}
30    file delete -force doc/mozart-ozmake
31    file delete -force doc/mozart-stdlib
32    file delete -force examples
33}
34destroot             { file copy ${worksrcpath} ${destroot}${prefix} }