[pkgsrc/trunk]: pkgsrc/lang/polyml Import Poly/ML version 5.2.1

[asau <asau%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/901a057ab992
branches:  trunk
changeset: 556382:901a057ab992
user:      asau <asau%pkgsrc.org@localhost>
date:      Fri Mar 20 21:12:51 2009 +0000

description:
Import Poly/ML version 5.2.1

Poly/ML is Standard ML implementation originating from Cambridge University.

diffstat:

 lang/polyml/DESCR      |   2 ++
 lang/polyml/MESSAGE    |  10 ++++++++++
 lang/polyml/Makefile   |  31 +++++++++++++++++++++++++++++++
 lang/polyml/PLIST      |   7 +++++++
 lang/polyml/distinfo   |   5 +++++
 lang/polyml/options.mk |  20 ++++++++++++++++++++
 6 files changed, 75 insertions(+), 0 deletions(-)

diffs (99 lines):

diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/DESCR Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,2 @@
+Poly/ML is Standard ML implementation fully conforming to the 1997
+"Definition of Standard ML (Revised)", generally known as ML97.
diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/MESSAGE
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/MESSAGE       Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,10 @@
+===========================================================================
+$NetBSD: MESSAGE,v 1.1.1.1 2009/03/20 21:12:51 asau Exp $
+
+Default value for immutable buffer size is 1024 MB,
+unless you have sufficient resources, you might wish
+to use lower values, like 10 MB:
+
+    poly -H 10
+
+===========================================================================
diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/Makefile      Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,31 @@
+# $NetBSD: Makefile,v 1.1.1.1 2009/03/20 21:12:51 asau Exp $
+
+DISTNAME=      polyml.5.2.1
+PKGNAME=       polyml-5.2.1
+CATEGORIES=    lang
+MASTER_SITES=  ${MASTER_SITE_SOURCEFORGE:=polyml/}
+
+MAINTAINER=    asau%NetBSD.org@localhost
+HOMEPAGE=      http://polyml.org/
+COMMENT=       Poly/ML is an implementation of Standard ML
+
+# ONLY_FOR_PLATFORM=   *-*-i386 *-*-x86_64 *-*-sparc *-*-powerpc
+# Dumps core on NetBSD/amd64
+
+PKG_DESTDIR_SUPPORT=   user-destdir
+
+GNU_CONFIGURE= yes
+USE_LIBTOOL=   yes
+USE_LANGUAGES= c c++
+
+# Fix URL in documentation:
+SUBST_CLASSES+=                url
+SUBST_STAGE.url=       post-patch
+SUBST_MESSAGE.url=     Fixing URL in manual pages
+SUBST_FILES.url=       poly.1 polyimport.1
+SUBST_SED.url=         -e 's|http://www\.poly\.org|http://www.polyml.org|'
+
+.include "options.mk"
+
+.include "../../mk/pthread.buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/PLIST Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,7 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2009/03/20 21:12:51 asau Exp $
+bin/poly
+bin/polyimport
+lib/libpolymain.la
+lib/libpolyml.la
+man/man1/poly.1
+man/man1/polyimport.1
diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/distinfo      Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1.1.1 2009/03/20 21:12:51 asau Exp $
+
+SHA1 (polyml.5.2.1.tar.gz) = 39cc9451113d41ca9c491167cf3973dfd55b7446
+RMD160 (polyml.5.2.1.tar.gz) = 2e46e3fca7e642faed72c427c41e25e2b03fdbf5
+Size (polyml.5.2.1.tar.gz) = 4114551 bytes
diff -r 3c77bcef653b -r 901a057ab992 lang/polyml/options.mk
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/polyml/options.mk    Fri Mar 20 21:12:51 2009 +0000
@@ -0,0 +1,20 @@
+# $NetBSD: options.mk,v 1.1.1.1 2009/03/20 21:12:51 asau Exp $
+
+PKG_OPTIONS_VAR=       PKG_OPTIONS.polyml
+PKG_SUPPORTED_OPTIONS= motif x11
+PKG_SUGGESTED_OPTIONS= motif x11
+
+.include "../../mk/bsd.options.mk"
+
+.if !empty(PKG_OPTIONS:Mx11)
+CONFIGURE_ARGS+=       --with-x
+
+.include "../../x11/libXt/buildlink3.mk"
+.include "../../x11/libXmu/buildlink3.mk"
+.include "../../x11/libXext/buildlink3.mk"
+.include "../../x11/libX11/buildlink3.mk"
+.endif
+
+.if !empty(PKG_OPTIONS:Mmotif)
+.include "../../mk/motif.buildlink3.mk"
+.endif