# $Id$

PortSystem 1.0

name                polyml
version             5.5.2
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           rmd160  3f345e665fb880d02a086179f31944c04f5df79b \
                    sha256  73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682
patchfiles          patch-libpolyml-x86asm.asm.diff

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}
}