1 | PortSystem 1.0 |
---|
2 | |
---|
3 | name mozart |
---|
4 | version 1.3.2 |
---|
5 | categories lang |
---|
6 | platforms darwin |
---|
7 | maintainers darwinports@opendarwin.org |
---|
8 | homepage http://www.mozart-oz.org |
---|
9 | description Mozart-Oz multiparadigms programming language. |
---|
10 | long_description The Mozart system is a development platform focused on open \ |
---|
11 | distributed computing and constraint-based inferrence. \ |
---|
12 | The system provides excellent support for logic and \ |
---|
13 | constraint programming, making it an excellent choice \ |
---|
14 | for implementing multi-agent systems. The language has \ |
---|
15 | recently been popularized by the book "Concepts, \ |
---|
16 | Techniques, and Models of Computer Progamming." |
---|
17 | |
---|
18 | depends_lib-append port:gmp port:zlib port:gdbm |
---|
19 | depends_lib path:${prefix}/bin/emacs:emacs |
---|
20 | |
---|
21 | master_sites http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar |
---|
22 | distfiles mozart-1.3.2.20060615-src.tar.gz |
---|
23 | checksums md5 b84fb3932eca573e6b8d5d1b26379371 |
---|
24 | |
---|
25 | patchfiles patch-oz.in.diff |
---|
26 | |
---|
27 | worksrcdir mozart-1.3.2.20060615 |
---|
28 | configure.args --prefix=${prefix}/mozart --with-inc-dir=${prefix}/include --with-lib-dir=${prefix}/lib |
---|
29 | |
---|
30 | build.target |
---|
31 | destroot.args PREFIX=${destroot}${prefix}/mozart |
---|
32 | post-destroot { |
---|
33 | cd ${destroot}${prefix} |
---|
34 | |
---|
35 | file delete -force mozart/doc |
---|
36 | file delete -force mozart/cache/x-oz/doc |
---|
37 | |
---|
38 | xinstall -m 0644 ${filespath}/README.DarwinPorts mozart |
---|
39 | |
---|
40 | xinstall -d man/man1 |
---|
41 | foreach x [glob ${worksrcpath}/doc/man/*.1] { system "ln $x man/man1" } |
---|
42 | |
---|
43 | reinplace "s|^# OZHOME=.*|OZHOME=${prefix}/mozart|" mozart/bin/oz |
---|
44 | xinstall -d bin |
---|
45 | foreach x [glob -type {x} mozart/bin/*] { system "ln $x bin" } |
---|
46 | } |
---|