# $Id: Portfile 111346 2013-09-19 06:08:19Z mww@macports.org $

PortSystem 1.0

name                polyml
version             5.5.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           rmd160  504a9e8c064355bcee638a3735f7e97b3f92d03e \
                    sha256  cf8009dabc8b5d308d92e201dcd01f17ce14289d30caa8021a87365f4b8e209a
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}
}