Ticket #6827: Portfile

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

Portfile update for the site tarball, rather than CVS.

Line 
1PortSystem             1.0
2
3name                   mozart-stdlib
4version                1.3.2
5categories             lang
6platforms              darwin
7maintainers            darwinports@opendarwin.org
8homepage               http://www.mozart-oz.org
9description            Mozart-Oz standard libraries
10long_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                        This package contains the standard libraries for the language.
18
19depends_lib-append     port:mozart
20
21master_sites           http://www.mozart-oz.org/download/mozart-ftp/store/1.3.2-2006-06-15-tar
22distfiles              mozart-1.3.2.20060615-std.tar.gz
23checksums              md5 0daf6c873990bebdde550ec1fd70bdb6
24
25worksrcdir             mozart-1.3.2.20060615-std
26configure.args         --prefix=${prefix}/mozart --enable-doc=no
27build.target
28
29destroot.args          PREFIX=${destroot}${prefix}/mozart
30post-destroot {
31    cd ${destroot}${prefix}
32    system "ln mozart/bin/ozmake bin"
33}