# $Id: Portfile 74070 2010-12-04 00:45:42Z jmr@macports.org $

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            bfulgham
homepage               http://www.mozart-oz.org
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"
}
