Ticket #17659: Portfile-lang-mosml-dynlibs

File Portfile-lang-mosml-dynlibs, 1.1 KB (added by ian.grant@…, 16 years ago)

Portfile for new mosml-dynlibs ports. This requires the same soures and patches as the mosml port.

Line 
1# $Id$
2PortSystem        1.0
3name              mosml-dynlibs
4version           2.01_0
5categories        lang devel ml
6maintainers       cso@rift.dk
7description       Moscow ML dynamic libraries
8long_description  Dynamic libraries for Moscow ML includes:\
9                  intinf, crypt, munix, mregex, msocket, mgdbm, mgd
10homepage          http://www.dina.dk/~sestoft/mosml.html
11master_sites      http://www.dina.kvl.dk/~sestoft/mosml
12distfiles         mos201src.tar.gz
13checksums         md5 74aaaf988201fe92a9dbfbcb1e646f70
14patchfiles        patch-configure.diff\
15                  patch-src-Makefile.diff\
16                  patch-src-Makefile-inc.diff\
17                  patch-src-launch-Makefile.diff\
18                  patch-src-dynlibs.diff
19post-patch {
20  file attributes configure -permissions +x
21}
22worksrcdir        mosml
23build.target      world-dyn
24build.pre_args    -Csrc DESTROOT=${prefix} ${build.target}
25destroot.target   install-world-dyn
26destroot.pre_args -Csrc DESTROOT=${destroot}${prefix} ${destroot.target}
27
28depends_lib         port:gmp port:gdbm port:gd2
29