Submitted by: chuckr

New version of the sml programming language, based upon caml.

6 files changed, 315 insertions, 0 deletions

diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile
new file mode 100644
index 0000000..89210c6
--- /dev/null
+++ b/lang/moscow_ml/Makefile
@@ -0,0 +1,34 @@
+# New ports collection makefile for:    moscow-ml
+# Version required:     1.4
+# Date created:         26 July 1996
+# Whom:                 chuckr
+#
+# $Id
+#
+
+DISTNAME=       mos14src
+CATEGORIES+=	lang
+PKGNAME=        moscow_ml
+MASTER_SITES=	ftp://ftp.dina.kvl.dk/pub/mosml/ \
+		ftp://ftp.csd.uu.se/pub/mirror/mosml/ \
+		ftp://ftp.dcs.ed.ac.uk/pub/ml/Moscow/
+MAINTAINER=	chuckr@freefall.FreeBSD.org
+ALL_TARGET=	world
+WRKSRC=		${WRKDIR}/mosml/src
+
+post-install:
+.if !defined(NOPORTDOCS)
+	mkdir -p ${PREFIX}/${PKGNAME}/doc
+	mkdir -p ${PREFIX}/${PKGNAME}/examples
+	for file in ${WRKDIR}/mosml/doc/*;do; \
+	install -c -m 0444 -g bin -o bin $${file} ${PREFIX}/${PKGNAME}/doc;done
+	(cd ${WRKDIR}/mosml/examples; \
+	install -c -m 0444 -g bin -o bin README ${PREFIX}/${PKGNAME}/examples; \
+	for sdirs in manual mls helpsigs calc pretty lexyacc;do; \
+	mkdir -p ${PREFIX}/${PKGNAME}/examples/$${sdirs}; \
+	for file in $${sdirs}/*;do; \
+	install -c -m 0444 -g bin -o bin $${file} ${PREFIX}/${PKGNAME}/examples/$${sdirs}; \
+	done; done;)
+.endif
+
+.include <bsd.port.mk>
diff --git a/lang/moscow_ml/distinfo b/lang/moscow_ml/distinfo
new file mode 100644
index 0000000..5d31e44
--- /dev/null
+++ b/lang/moscow_ml/distinfo
@@ -0,0 +1 @@
+MD5 (mos14src.tar.gz) = 8c1b6cd2ab8476fd7648668c24cb9cf6
diff --git a/lang/moscow_ml/files/patch-aa b/lang/moscow_ml/files/patch-aa
new file mode 100644
index 0000000..b2cd951
--- /dev/null
+++ b/lang/moscow_ml/files/patch-aa
@@ -0,0 +1,57 @@
+--- runtime/fail.c.orig	Thu Jul 25 15:59:04 1996
++++ runtime/fail.c	Thu Jul 25 16:20:42 1996
+@@ -3,7 +3,7 @@
+ #ifdef __MWERKS__
+ #define MAXDOUBLE 1.7976931348623157081e+308
+ #else
+-#include <values.h>
++#include <float.h>
+ #endif
+ #include "alloc.h"
+ #include "fail.h"
+@@ -18,7 +18,7 @@
+ 
+ volatile unsigned char float_exn = FAILURE_EXN;
+ 
+-double maxdouble = MAXDOUBLE/2;
++double maxdouble = DBL_MAX/2;
+ 
+ struct longjmp_buffer * external_raise;
+ value exn_bucket;
+--- runtime/mosml.c.orig	Mon Jul 22 23:22:22 1996
++++ runtime/mosml.c	Mon Jul 22 23:22:49 1996
+@@ -790,7 +790,7 @@
+ 
+ #ifndef HAS_STRERROR
+   extern int sys_nerr;
+-  extern char * sys_errlist [];
++  extern __const char *__const  sys_errlist [];
+   extern char *realpath();
+   char *mktemp();
+ #endif
+--- Makefile.inc.orig   Thu Jul 25 22:36:06 1996
++++ Makefile.inc        Thu Jul 25 19:32:38 1996
+@@ -2,10 +2,11 @@
+ 
+ # Edit MOSMLHOME, CPP and STRIP to suit your installation
+ 
+-MOSMLHOME=${HOME}/mosml
++MOSMLHOME=${PREFIX}/moscow_ml
+ 
+ # For Linux and other well-behaved systems, use:
+-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
++#CPP=/lib/cpp -P -traditional -Dunix -Umsdos
++CPP=/usr/bin/cpp -P -traditional
+ STRIP=strip
+ 
+ # For HP-UX, use instead:
+@@ -42,7 +43,7 @@
+ # For cross-compiling to MS DOS (from Linux) (development only)
+ # CPP=/lib/cpp -P -traditional -Uunix -Dmsdos
+ 
+-CC=gcc
++CC=cc
+ 
+ .SUFFIXES :
+ .SUFFIXES : .sml .sig .ui .uo .mlp .lex .c .o
+
diff --git a/lang/moscow_ml/pkg-comment b/lang/moscow_ml/pkg-comment
new file mode 100644
index 0000000..0d3fb26
--- /dev/null
+++ b/lang/moscow_ml/pkg-comment
@@ -0,0 +1 @@
+Version 1.40 of Moscow ML, a version of Standard ML
diff --git a/lang/moscow_ml/pkg-descr b/lang/moscow_ml/pkg-descr
new file mode 100644
index 0000000..7bc52c6
--- /dev/null
+++ b/lang/moscow_ml/pkg-descr
@@ -0,0 +1,14 @@
+This is Moscow ML, a version of Standard ML:
+
+The current version 1.40 of Moscow ML
+    * implements the Core language of Standard ML, as revised 1996
+    * implements large parts of the new SML Basis Library
+    * implements separate compilation and a limited version of the
+      Standard ML Modules language, with signatures and structures
+      but no functors
+    * can produce compact stand-alone executables (a la Caml Light)
+    * supports quotations and antiquotations, useful for metaprogramming
+    * includes several new libraries and a new type `char'
+
+THE MOSCOW ML HOME PAGE is at  http://www.dina.kvl.dk/~sestoft/mosml.html
+
diff --git a/lang/moscow_ml/pkg-plist b/lang/moscow_ml/pkg-plist
new file mode 100644
index 0000000..fb70075
--- /dev/null
+++ b/lang/moscow_ml/pkg-plist
@@ -0,0 +1,208 @@
+moscow_ml/bin/camlrunm
+moscow_ml/bin/mosml
+moscow_ml/bin/mosmlc
+moscow_ml/bin/mosmlyac
+moscow_ml/bin/mosmllex
+moscow_ml/lib/header
+moscow_ml/lib/README
+moscow_ml/lib/Array.ui
+moscow_ml/lib/Word8Array.ui
+moscow_ml/lib/Word8.ui
+moscow_ml/lib/Word.ui
+moscow_ml/lib/Vector.ui
+moscow_ml/lib/Timer.ui
+moscow_ml/lib/Time.ui
+moscow_ml/lib/TextIO.ui
+moscow_ml/lib/Susp.ui
+moscow_ml/lib/Substring.ui
+moscow_ml/lib/StringCvt.ui
+moscow_ml/lib/String.ui
+moscow_ml/lib/Strbase.ui
+moscow_ml/lib/Splaytree.ui
+moscow_ml/lib/Splayset.ui
+moscow_ml/lib/Splaymap.ui
+moscow_ml/lib/Real.ui
+moscow_ml/lib/Random.ui
+moscow_ml/lib/Process.ui
+moscow_ml/lib/Polyhash.ui
+moscow_ml/lib/Path.ui
+moscow_ml/lib/Parsing.ui
+moscow_ml/lib/PP.ui
+moscow_ml/lib/Old.ui
+moscow_ml/lib/Obj.ui
+moscow_ml/lib/OS.ui
+moscow_ml/lib/Nonstdio.ui
+moscow_ml/lib/NJ93.ui
+moscow_ml/lib/Mosml.ui
+moscow_ml/lib/Misc.ui
+moscow_ml/lib/Math.ui
+moscow_ml/lib/Listsort.ui
+moscow_ml/lib/ListPair.ui
+moscow_ml/lib/List.ui
+moscow_ml/lib/Lexing.ui
+moscow_ml/lib/Intset.ui
+moscow_ml/lib/Intmap.ui
+moscow_ml/lib/Int.ui
+moscow_ml/lib/Help.ui
+moscow_ml/lib/FileSys.ui
+moscow_ml/lib/Dynarray.ui
+moscow_ml/lib/Date.ui
+moscow_ml/lib/CharVector.ui
+moscow_ml/lib/CharArray.ui
+moscow_ml/lib/Char.ui
+moscow_ml/lib/Byte.ui
+moscow_ml/lib/Bool.ui
+moscow_ml/lib/Binaryset.ui
+moscow_ml/lib/Binarymap.ui
+moscow_ml/lib/BinIO.ui
+moscow_ml/lib/BasicIO.ui
+moscow_ml/lib/Arraysort.ui
+moscow_ml/lib/Array2.ui
+moscow_ml/lib/Word8Vector.ui
+moscow_ml/lib/Array.uo
+moscow_ml/lib/Word8Array.uo
+moscow_ml/lib/Word8.uo
+moscow_ml/lib/Word.uo
+moscow_ml/lib/Vector.uo
+moscow_ml/lib/Timer.uo
+moscow_ml/lib/Time.uo
+moscow_ml/lib/TextIO.uo
+moscow_ml/lib/Susp.uo
+moscow_ml/lib/Substring.uo
+moscow_ml/lib/StringCvt.uo
+moscow_ml/lib/String.uo
+moscow_ml/lib/Strbase.uo
+moscow_ml/lib/Splaytree.uo
+moscow_ml/lib/Splayset.uo
+moscow_ml/lib/Splaymap.uo
+moscow_ml/lib/Real.uo
+moscow_ml/lib/Random.uo
+moscow_ml/lib/Process.uo
+moscow_ml/lib/Polyhash.uo
+moscow_ml/lib/Path.uo
+moscow_ml/lib/Parsing.uo
+moscow_ml/lib/PP.uo
+moscow_ml/lib/Old.uo
+moscow_ml/lib/Obj.uo
+moscow_ml/lib/OS.uo
+moscow_ml/lib/Nonstdio.uo
+moscow_ml/lib/NJ93.uo
+moscow_ml/lib/Mosml.uo
+moscow_ml/lib/Misc.uo
+moscow_ml/lib/Math.uo
+moscow_ml/lib/Listsort.uo
+moscow_ml/lib/ListPair.uo
+moscow_ml/lib/List.uo
+moscow_ml/lib/Lexing.uo
+moscow_ml/lib/Intset.uo
+moscow_ml/lib/Intmap.uo
+moscow_ml/lib/Int.uo
+moscow_ml/lib/Help.uo
+moscow_ml/lib/FileSys.uo
+moscow_ml/lib/Dynarray.uo
+moscow_ml/lib/Date.uo
+moscow_ml/lib/CharVector.uo
+moscow_ml/lib/CharArray.uo
+moscow_ml/lib/Char.uo
+moscow_ml/lib/Byte.uo
+moscow_ml/lib/Bool.uo
+moscow_ml/lib/Binaryset.uo
+moscow_ml/lib/PP.sig
+moscow_ml/lib/Binarymap.uo
+moscow_ml/lib/BinIO.uo
+moscow_ml/lib/BasicIO.uo
+moscow_ml/lib/Arraysort.uo
+moscow_ml/lib/Array2.uo
+moscow_ml/lib/Word8Vector.uo
+moscow_ml/lib/Array.sig
+moscow_ml/lib/Word8Array.sig
+moscow_ml/lib/Word8.sig
+moscow_ml/lib/Word.sig
+moscow_ml/lib/Vector.sig
+moscow_ml/lib/Timer.sig
+moscow_ml/lib/Time.sig
+moscow_ml/lib/TextIO.sig
+moscow_ml/lib/Susp.sig
+moscow_ml/lib/Substring.sig
+moscow_ml/lib/StringCvt.sig
+moscow_ml/lib/String.sig
+moscow_ml/lib/Strbase.sig
+moscow_ml/lib/Splaytree.sig
+moscow_ml/lib/Splayset.sig
+moscow_ml/lib/Splaymap.sig
+moscow_ml/lib/Real.sig
+moscow_ml/lib/Old.sig
+moscow_ml/lib/Random.sig
+moscow_ml/lib/Process.sig
+moscow_ml/lib/Polyhash.sig
+moscow_ml/lib/Path.sig
+moscow_ml/lib/Parsing.sig
+moscow_ml/lib/Nonstdio.sig
+moscow_ml/lib/NJ93.sig
+moscow_ml/lib/Mosml.sig
+moscow_ml/lib/Misc.sig
+moscow_ml/lib/Math.sig
+moscow_ml/lib/Listsort.sig
+moscow_ml/lib/ListPair.sig
+moscow_ml/lib/List.sig
+moscow_ml/lib/Lexing.sig
+moscow_ml/lib/Intset.sig
+moscow_ml/lib/Intmap.sig
+moscow_ml/lib/Int.sig
+moscow_ml/lib/Help.sig
+moscow_ml/lib/FileSys.sig
+moscow_ml/lib/Dynarray.sig
+moscow_ml/lib/Date.sig
+moscow_ml/lib/CharVector.sig
+moscow_ml/lib/CharArray.sig
+moscow_ml/lib/Char.sig
+moscow_ml/lib/Byte.sig
+moscow_ml/lib/Bool.sig
+moscow_ml/lib/Binaryset.sig
+moscow_ml/lib/Binarymap.sig
+moscow_ml/lib/BinIO.sig
+moscow_ml/lib/BasicIO.sig
+moscow_ml/lib/Arraysort.sig
+moscow_ml/lib/Array2.sig
+moscow_ml/lib/Word8Vector.sig
+moscow_ml/lib/General.sig
+moscow_ml/lib/Meta.sig
+moscow_ml/lib/mosmlcmp
+moscow_ml/lib/mosmllnk
+moscow_ml/lib/mosmltop
+moscow_ml/tools/mosmldep
+moscow_ml/doc/bugs
+moscow_ml/doc/manual.dvi
+moscow_ml/doc/mosmlref.dvi
+moscow_ml/doc/recomp
+moscow_ml/examples/README
+moscow_ml/examples/manual/Evaluate.sig
+moscow_ml/examples/manual/Evaluate.sml
+moscow_ml/examples/manual/Expr.sml
+moscow_ml/examples/manual/Makefile
+moscow_ml/examples/manual/Reduce.sig
+moscow_ml/examples/manual/Reduce.sml
+moscow_ml/examples/manual/load
+moscow_ml/examples/mls/Makefile
+moscow_ml/examples/mls/mls.sml
+moscow_ml/examples/helpsigs/Database.sig
+moscow_ml/examples/helpsigs/Database.sml
+moscow_ml/examples/helpsigs/Lexer.lex
+moscow_ml/examples/helpsigs/Makefile
+moscow_ml/examples/helpsigs/Parser.grm
+moscow_ml/examples/helpsigs/Parsspec.sml
+moscow_ml/examples/helpsigs/Printbase.sml
+moscow_ml/examples/helpsigs/README
+moscow_ml/examples/helpsigs/makebase.sml
+moscow_ml/examples/calc/Lexer.lex
+moscow_ml/examples/calc/Makefile
+moscow_ml/examples/calc/Parser.grm
+moscow_ml/examples/calc/calc.sml
+moscow_ml/examples/pretty/Makefile
+moscow_ml/examples/pretty/ppexpr.sml
+moscow_ml/examples/lexyacc/Data.sml
+moscow_ml/examples/lexyacc/Lexer.lex
+moscow_ml/examples/lexyacc/Lexer.sml
+moscow_ml/examples/lexyacc/Makefile
+moscow_ml/examples/lexyacc/Parser.grm
+moscow_ml/examples/lexyacc/README