Import Poly/ML version 5.2.1

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

6 files changed, 75 insertions, 0 deletions

diff --git a/lang/polyml/DESCR b/lang/polyml/DESCR
new file mode 100644
index 00000000000..5b85852acc7
--- /dev/null
+++ b/lang/polyml/DESCR
@@ -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 --git a/lang/polyml/MESSAGE b/lang/polyml/MESSAGE
new file mode 100644
index 00000000000..234c6b4ea67
--- /dev/null
+++ b/lang/polyml/MESSAGE
@@ -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 --git a/lang/polyml/Makefile b/lang/polyml/Makefile
new file mode 100644
index 00000000000..a2f33787f75
--- /dev/null
+++ b/lang/polyml/Makefile
@@ -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
+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 --git a/lang/polyml/PLIST b/lang/polyml/PLIST
new file mode 100644
index 00000000000..13f47ca57b2
--- /dev/null
+++ b/lang/polyml/PLIST
@@ -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 --git a/lang/polyml/distinfo b/lang/polyml/distinfo
new file mode 100644
index 00000000000..1f02a1390ca
--- /dev/null
+++ b/lang/polyml/distinfo
@@ -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 --git a/lang/polyml/options.mk b/lang/polyml/options.mk
new file mode 100644
index 00000000000..7983174df7b
--- /dev/null
+++ b/lang/polyml/options.mk
@@ -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