# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# $Id$

PortSystem        1.0

name              mosml-dynlibs
version           2.01_0
revision          2
categories        lang devel ml
platforms         darwin
license           GPL-2+
maintainers       nomaintainer

description       Moscow ML dynamic libraries
long_description  Dynamic libraries for Moscow ML includes:\
                  intinf, crypt, munix, mregex, msocket, mgdbm, mgd

homepage          http://www.dina.dk/~sestoft/mosml.html
master_sites      http://www.dina.kvl.dk/~sestoft/mosml
distfiles         mos201src.tar.gz

checksums           rmd160  b2a9582d8c0bfdad2b8a74740e54ab33d3856637 \
                    sha256  9ec5695358a4aa4702d856c026f3cf0bce77275e8d1318fd90d455a44c46edff

patchfiles        patch-configure.diff\
                  patch-src-Makefile.diff\
                  patch-src-Makefile-inc.diff\
                  patch-src-launch-Makefile.diff\
                  patch-src-dynlibs.diff

post-patch {
  file attributes ${worksrcpath}/configure -permissions +x
}

worksrcdir        mosml
build.target      world-dyn
build.pre_args    -Csrc DESTROOT=${prefix} ${build.target}
destroot.target   install-world-dyn
destroot.pre_args -Csrc DESTROOT=${destroot}${prefix} ${destroot.target}

depends_lib       port:gmp \
                  port:gdbm \
                  port:gd2