1 | PortSystem 1.0 |
---|
2 | name mozart-doc |
---|
3 | version 1.3.2 |
---|
4 | categories lang |
---|
5 | platforms darwin |
---|
6 | maintainers darwinports@opendarwin.org |
---|
7 | homepage http://www.mozart-oz.org |
---|
8 | description Mozart-Oz documentation |
---|
9 | long_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 | |
---|
19 | master_sites http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar |
---|
20 | distfiles mozart-1.3.2.20060615-doc.tar.gz |
---|
21 | checksums md5 052a5c82f244bab77174e32fbe7e8996 |
---|
22 | |
---|
23 | worksrcdir mozart |
---|
24 | |
---|
25 | use_configure no |
---|
26 | build.pre_args "-v" |
---|
27 | |
---|
28 | pre-destroot { |
---|
29 | cd ${worksrcpath} |
---|
30 | file delete -force doc/mozart-ozmake |
---|
31 | file delete -force doc/mozart-stdlib |
---|
32 | file delete -force examples |
---|
33 | } |
---|
34 | destroot { file copy ${worksrcpath} ${destroot}${prefix} } |
---|