From b188ea47f1f2e1dd7a0870d924909d3600e06358 Mon Sep 17 00:00:00 2001 From: asau Date: Fri, 20 Mar 2009 21:12:51 +0000 Subject: Import Poly/ML version 5.2.1 Poly/ML is Standard ML implementation originating from Cambridge University. --- 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(+) create mode 100644 lang/polyml/DESCR create mode 100644 lang/polyml/MESSAGE create mode 100644 lang/polyml/Makefile create mode 100644 lang/polyml/PLIST create mode 100644 lang/polyml/distinfo create mode 100644 lang/polyml/options.mk (limited to 'lang') 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 -- cgit v1.2.3