# $Id$

PortSystem 1.0

name			polyml
version			5.1
categories		lang ml
maintainers		mww
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		sha1 282aeca15bb9e0929fe71555efc9d2c124c65b41

depends_lib		lib:libX11.6:XFree86

configure.args		--mandir=${prefix}/share/man

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