casa-mp-base

PortSystem             1.0

​

name                   mozart-stdlib

version                1.4.0

set tardate            20080704

set urldate            2008-07-02

categories             lang

platforms              darwin

# mozart is 32-bit only

supported_archs        i386 ppc

maintainers            nomaintainer

homepage               https://mozart.github.io

description            Mozart-Oz standard libraries

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 package contains the standard libraries for the language.

​

depends_lib-append     port:mozart

​

master_sites           ${homepage}/download/mozart-ftp/store/${version}-${urldate}-tar/

distname               mozart-${version}.${tardate}-std

checksums              md5 b9e2e6c2d57044b7a2ce7d13e35ff120 \

                       sha1 2153df188b9103580973ae20ef52157969ef118d \

                       rmd160 98ae43db811e73fbedde2c394e9a497ed16dde46

​

configure.args         --prefix=${prefix}/share/mozart --enable-doc=no

build.target

​

destroot.args          PREFIX=${destroot}${prefix}/share/mozart

post-destroot {

    system "ln ${destroot}${prefix}/share/mozart/bin/ozmake ${destroot}${prefix}/bin"

}