# $Id$

PortSystem        1.0

name              mosml-dynlibs
version           2.01_0
categories        lang devel ml
platforms         darwin
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         md5 74aaaf988201fe92a9dbfbcb1e646f70

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