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