Modified: trunk/dports/lang/polyml/Portfile (31721 => 31722)
--- trunk/dports/lang/polyml/Portfile 2007-12-04 19:14:46 UTC (rev 31721)
+++ trunk/dports/lang/polyml/Portfile 2007-12-04 19:44:27 UTC (rev 31722)
@@ -3,10 +3,9 @@
PortSystem 1.0
name polyml
-version 5.0
-revision 1
+version 5.1
categories lang ml
-maintainers dem5302@cs.rit.edu
+maintainers mww
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 \
@@ -16,6 +15,14 @@
master_sites sourceforge
distname ${name}.${version}
-checksums md5 61537cf2b0ca983d42845778fe3bd42f
+checksums sha1 282aeca15bb9e0929fe71555efc9d2c124c65b41
+depends_lib lib:libX11.6:XFree86
+
configure.args --mandir=${prefix}/share/man
+
+post-destroot {
+ xinstall -m 555 -d ${destroot}${prefix}/share/doc/${name}
+ xinstall -m 444 -W ${worksrcpath} COPYING \
+ ${destroot}${prefix}/share/doc/${name}
+}