# $Id$

PortSystem 1.0

name			polyml
version                 5.4.1
revision		1
categories		lang ml
platforms		darwin
maintainers		mww
license			LGPL-2.1
description		An implementation of Standard ML.
long_description  Poly/ML is an extremely fast and efficient implementation of \
				Standard ML. Program state can be saved in a memory-mapped \
				persistent store. There are numerous addon libraries available.

homepage		http://www.polyml.org/
master_sites		sourceforge

distname		${name}.${version}
checksums           md5     a06ba2bee454ebdda06c1b61f638f45e \
                    sha1    85998ff7b290fae821a23fa5303b012ccea07ea1 \
                    rmd160  7f3916f306f1fa24afb5b7cbb77bac98c9e4ab24

depends_lib		port:gmp

configure.args          --mandir=${prefix}/share/man --build=${build_arch}-apple-darwin${os.major}

post-destroot {
	xinstall -m 755 -d ${destroot}${prefix}/share/doc/${name}
	xinstall -m 644 -W ${worksrcpath} COPYING \
		${destroot}${prefix}/share/doc/${name}
}

platform darwin 11 {
	configure.args-append --with-portable
}