Import Moscow ML, a Standard ML implementation based on CAML Light,

into the NetBSD packages collection.

This is from Johnny C. Lam, in PR pkg/5002.

Minor fixes by me to the PLIST file for the location of two files
(libexec not lib).

16 files changed, 484 insertions, 0 deletions

diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile
new file mode 100644
index 00000000000..62fff26e635
--- /dev/null
+++ b/lang/moscow_ml/Makefile
@@ -0,0 +1,30 @@
+# New ports collection makefile for:    moscow-ml
+# Version required:     1.42
+# Date created:         17 February 1998
+# Whom:                 lamj@stat.cmu.edu
+#
+# $NetBSD: Makefile,v 1.1 1998/02/17 10:18:36 agc Exp $
+#
+
+DISTNAME=       mos14src
+PKGNAME=        moscow_ml-1.42
+CATEGORIES=	lang
+MASTER_SITES=	ftp://ftp.dina.kvl.dk/pub/mosml/
+
+MAINTAINER=	lamj@stat.cmu.edu
+
+USE_PERL5=	yes
+WRKSRC=		${WRKDIR}/mosml/src
+ALL_TARGET=	world
+
+post-install:
+.if !defined(NOPORTDOCS)
+	${MKDIR} ${PREFIX}/share/doc/moscow_ml
+	${MKDIR} ${PREFIX}/share/examples/moscow_ml
+.for file in bugs manual.dvi mosmlref.dvi releases.txt
+	${INSTALL_DATA} ${WRKDIR}/mosml/doc/${file} ${PREFIX}/share/doc/moscow_ml
+.endfor
+	${CP} -R ${WRKDIR}/mosml/examples/* ${PREFIX}/share/examples/moscow_ml
+.endif
+
+.include <bsd.port.mk>
diff --git a/lang/moscow_ml/files/md5 b/lang/moscow_ml/files/md5
new file mode 100644
index 00000000000..a1e7bb9f640
--- /dev/null
+++ b/lang/moscow_ml/files/md5
@@ -0,0 +1 @@
+MD5 (mos14src.tar.gz) = 89bf25e3fda429be019f13c841fd33a1
diff --git a/lang/moscow_ml/patches/patch-aa b/lang/moscow_ml/patches/patch-aa
new file mode 100644
index 00000000000..f835800dd56
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-aa
@@ -0,0 +1,26 @@
+--- Makefile.inc.orig	Tue Jul 29 02:58:19 1997
++++ Makefile.inc	Mon Feb 16 21:05:32 1998
+@@ -2,10 +2,10 @@
+ 
+ # Edit MOSMLHOME, CPP and STRIP to suit your installation
+ 
+-MOSMLHOME=${HOME}/mosml
++MOSMLHOME=${PREFIX}
+ 
+ # For Linux and other well-behaved systems, use:
+-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
++CPP=/usr/bin/cpp -P -traditional
+ STRIP=strip
+ 
+ # For HP-UX, use instead:
+@@ -23,8 +23,8 @@
+ # LIBDIR contains bytecode files (such as mosmlcmp and library units)
+ 
+ BINDIR=${MOSMLHOME}/bin
+-LIBDIR=${MOSMLHOME}/lib
+-TOOLDIR=${MOSMLHOME}/tools
++LIBDIR=${MOSMLHOME}/lib/moscow_ml
++TOOLDIR=${MOSMLHOME}/libexec/moscow_ml
+ 
+ CAMLRT=../runtime
+ 
diff --git a/lang/moscow_ml/patches/patch-ab b/lang/moscow_ml/patches/patch-ab
new file mode 100644
index 00000000000..e51cb57187d
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ab
@@ -0,0 +1,15 @@
+--- compiler/Makefile.orig	Thu Jul 17 17:33:20 1997
++++ compiler/Makefile	Mon Feb 16 23:58:54 1998
+@@ -104,9 +104,9 @@
+ 	rm -f Makefile.bak
+ 
+ install:
+-	cp mosmlcmp $(LIBDIR)
+-	cp mosmllnk $(LIBDIR)
+-	cp mosmltop $(LIBDIR)
++	${BSD_INSTALL_DATA} mosmlcmp $(LIBDIR)
++	${BSD_INSTALL_DATA} mosmllnk $(LIBDIR)
++	${BSD_INSTALL_DATA} mosmltop $(LIBDIR)
+ 
+ depend: Filename.sml Config.sml Opcodes.sml Parser.sml Parser.sig Lexer.sml \
+     Predef.sml Prim_c.sml
diff --git a/lang/moscow_ml/patches/patch-ac b/lang/moscow_ml/patches/patch-ac
new file mode 100644
index 00000000000..f42fc57b400
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ac
@@ -0,0 +1,17 @@
+--- launch/Makefile.orig	Mon Jul  7 04:38:39 1997
++++ launch/Makefile	Tue Feb 17 00:04:36 1998
+@@ -14,12 +14,11 @@
+ 	chmod a+x /tmp/testscr
+ 	sh -c 'if sh -c /tmp/testscr 2>/dev/null; \
+                then echo "#!$(BINDIR)/camlrunm" > $(LIBDIR)/header; \
+-               else cp camlexec $(LIBDIR)/header; \
++               else ${BSD_INSTALL_PROGRAM} camlexec $(LIBDIR)/header; \
+                fi'
+ 	rm -f /tmp/testscr
+ 	for script in mosml mosmlc; do \
+-	  cp $$script $(BINDIR)/$$script; \
+-	  chmod a+x $(BINDIR)/$$script; \
++	  ${BSD_INSTALL_SCRIPT} $$script $(BINDIR)/$$script; \
+ 	done
+ 
+ mosmlc: mosmlc.tpl
diff --git a/lang/moscow_ml/patches/patch-ad b/lang/moscow_ml/patches/patch-ad
new file mode 100644
index 00000000000..a377d64d279
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ad
@@ -0,0 +1,13 @@
+--- lex/Makefile.orig	Wed Oct 23 10:42:57 1996
++++ lex/Makefile	Tue Feb 17 00:24:04 1998
+@@ -34,8 +34,8 @@
+ 	rm -f Makefile.bak
+ 
+ install:
+-	cat $(LIBDIR)/header mosmllex > $(BINDIR)/mosmllex
+-	chmod a+x $(BINDIR)/mosmllex
++	cat $(LIBDIR)/header mosmllex > mosmllex.bin
++	${BSD_INSTALL_SCRIPT} mosmllex.bin $(BINDIR)/mosmllex
+ 
+ Grammar.sml Grammar.sig: Grammar.grm
+ 	$(MOSMLYACC) Grammar.grm
diff --git a/lang/moscow_ml/patches/patch-ae b/lang/moscow_ml/patches/patch-ae
new file mode 100644
index 00000000000..33fe9bc60c5
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ae
@@ -0,0 +1,25 @@
+--- mosmllib/Makefile.orig	Thu Jul 17 17:33:44 1997
++++ mosmllib/Makefile	Tue Feb 17 00:07:02 1998
+@@ -27,14 +27,14 @@
+ 	rm -f Vector.sml Word.sml Word8Array.sml Word8Vector.sml
+ 
+ install:
+-	cp README $(LIBDIR)
+-	cp *.ui $(LIBDIR)
+-	cp *.uo $(LIBDIR)
+-	cp *.sig $(LIBDIR)
+-	cp General.fke $(LIBDIR)/General.sig
+-	cp Meta.fke $(LIBDIR)/Meta.sig
+-	cp OS.fke $(LIBDIR)/OS.sig
+-	cp helpsigs.val $(LIBDIR)
++	${BSD_INSTALL_DATA} README $(LIBDIR)
++	${BSD_INSTALL_DATA} *.ui $(LIBDIR)
++	${BSD_INSTALL_DATA} *.uo $(LIBDIR)
++	${BSD_INSTALL_DATA} *.sig $(LIBDIR)
++	${BSD_INSTALL_DATA} General.fke $(LIBDIR)/General.sig
++	${BSD_INSTALL_DATA} Meta.fke $(LIBDIR)/Meta.sig
++	${BSD_INSTALL_DATA} OS.fke $(LIBDIR)/OS.sig
++	${BSD_INSTALL_DATA} helpsigs.val $(LIBDIR)
+ 
+ depend: Array.sml FileSys.sml Help.sml Int.sml Mosml.sml OS.sml Path.sml \
+     Strbase.sml Vector.sml Word.sml Word8Array.sml Word8Vector.sml
diff --git a/lang/moscow_ml/patches/patch-af b/lang/moscow_ml/patches/patch-af
new file mode 100644
index 00000000000..ab32d94b08f
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-af
@@ -0,0 +1,11 @@
+--- mosmlyac/Makefile.orig	Mon Oct 16 10:36:52 1995
++++ mosmlyac/Makefile	Tue Feb 17 00:07:43 1998
+@@ -18,7 +18,7 @@
+ 	rm -f mosmlyac
+ 
+ install:
+-	cp mosmlyac $(BINDIR)/mosmlyac
++	${BSD_INSTALL_PROGRAM} mosmlyac $(BINDIR)/mosmlyac
+ 
+ depend:
+ 
diff --git a/lang/moscow_ml/patches/patch-ag b/lang/moscow_ml/patches/patch-ag
new file mode 100644
index 00000000000..4ebe057b5ef
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ag
@@ -0,0 +1,11 @@
+--- runtime/Makefile.orig	Tue Jul 29 02:51:01 1997
++++ runtime/Makefile	Mon Feb 16 23:59:45 1998
+@@ -36,7 +36,7 @@
+ 	rm -f primitives prims.c opnames.h jumptbl.h
+ 
+ install:
+-	cp camlrunm $(BINDIR)
++	${BSD_INSTALL_PROGRAM} camlrunm $(BINDIR)
+ 
+ primitives : $(PRIMS)
+ 	sed -n -e '/\/\* ML \*\//s/.* \([a-zA-Z0-9_][a-zA-Z0-9_]*\) *(.*/\1/p' \
diff --git a/lang/moscow_ml/patches/patch-ah b/lang/moscow_ml/patches/patch-ah
new file mode 100644
index 00000000000..f4d37eb0913
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ah
@@ -0,0 +1,11 @@
+--- toolssrc/Makefile.orig	Wed Oct 23 10:35:44 1996
++++ toolssrc/Makefile	Tue Feb 17 00:08:55 1998
+@@ -34,7 +34,7 @@
+ 	rm -f cutdeps mosmldep
+ 
+ install:
+-	cp cutdeps mosmldep $(TOOLDIR)
++	${BSD_INSTALL_DATA} cutdeps mosmldep $(TOOLDIR)
+ 
+ depend: Deplex.sml Deppars.sml Mosmldep.sml
+ 	rm -f Makefile.bak
diff --git a/lang/moscow_ml/patches/patch-ai b/lang/moscow_ml/patches/patch-ai
new file mode 100644
index 00000000000..11b7a11758d
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ai
@@ -0,0 +1,17 @@
+--- runtime/fail.c.orig	Fri Jul  4 08:52:34 1997
++++ runtime/fail.c	Mon Feb 16 21:31:37 1998
+@@ -1,7 +1,14 @@
+ /* Raising exceptions from C. */
+ 
++#if (defined(__unix__) || defined(unix)) && !defined(USG)
++#include <sys/param.h>
++#endif
++
+ #if defined(__MWERKS__) || defined(__CYGWIN32__)
+ #define MAXDOUBLE 1.7976931348623157081e+308
++#elif (defined(BSD) && BSD >= 199306)
++#include <float.h>
++#define MAXDOUBLE DBL_MAX
+ #else
+ #include <values.h>
+ #endif
diff --git a/lang/moscow_ml/patches/patch-aj b/lang/moscow_ml/patches/patch-aj
new file mode 100644
index 00000000000..87192c1ee18
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-aj
@@ -0,0 +1,16 @@
+--- runtime/mosml.c.orig	Sun Jul 27 15:35:09 1997
++++ runtime/mosml.c	Mon Feb 16 21:41:07 1998
+@@ -1,5 +1,13 @@
+ /* Moscow SML primitives */
+ 
++#if (defined(__unix__) || defined(unix)) && !defined(USG)
++#include <sys/param.h>
++#endif
++
++#if (defined(BSD) && BSD >= 199306)
++#define HAS_STRERROR
++#endif
++
+ #include <math.h>
+ #include <sys/time.h>
+ #include <sys/times.h>
diff --git a/lang/moscow_ml/patches/patch-ak b/lang/moscow_ml/patches/patch-ak
new file mode 100644
index 00000000000..aed8cd54dc4
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ak
@@ -0,0 +1,16 @@
+--- runtime/sys.c.orig	Sun Jul 27 15:36:44 1997
++++ runtime/sys.c	Mon Feb 16 21:41:26 1998
+@@ -1,5 +1,13 @@
+ /* Basic system calls */
+ 
++#if (defined(__unix__) || defined(unix)) && !defined(USG)
++#include <sys/param.h>
++#endif
++
++#if (defined(BSD) && BSD >= 199306)
++#define HAS_STRERROR
++#endif
++
+ #include <errno.h>
+ #include <sys/types.h>
+ #include <fcntl.h>
diff --git a/lang/moscow_ml/pkg/COMMENT b/lang/moscow_ml/pkg/COMMENT
new file mode 100644
index 00000000000..9760cc96603
--- /dev/null
+++ b/lang/moscow_ml/pkg/COMMENT
@@ -0,0 +1 @@
+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 00000000000..db08c0b0dd6
--- /dev/null
+++ b/lang/moscow_ml/pkg/DESCR
@@ -0,0 +1,12 @@
+This is Moscow ML, a version of Standard ML:
+
+The current version 1.42 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'
diff --git a/lang/moscow_ml/pkg/PLIST b/lang/moscow_ml/pkg/PLIST
new file mode 100644
index 00000000000..8d7e0973184
--- /dev/null
+++ b/lang/moscow_ml/pkg/PLIST
@@ -0,0 +1,262 @@
+@comment $NetBSD: PLIST,v 1.1 1998/02/17 10:18:37 agc Exp $
+bin/camlrunm
+bin/mosml
+bin/mosmlc
+bin/mosmllex
+bin/mosmlyac
+lib/moscow_ml/README
+lib/moscow_ml/Array.sig
+lib/moscow_ml/Array.ui
+lib/moscow_ml/Array.uo
+lib/moscow_ml/Array2.sig
+lib/moscow_ml/Array2.ui
+lib/moscow_ml/Array2.uo
+lib/moscow_ml/Arraysort.sig
+lib/moscow_ml/Arraysort.ui
+lib/moscow_ml/Arraysort.uo
+lib/moscow_ml/BasicIO.sig
+lib/moscow_ml/BasicIO.ui
+lib/moscow_ml/BasicIO.uo
+lib/moscow_ml/BinIO.sig
+lib/moscow_ml/BinIO.ui
+lib/moscow_ml/BinIO.uo
+lib/moscow_ml/Binarymap.sig
+lib/moscow_ml/Binarymap.ui
+lib/moscow_ml/Binarymap.uo
+lib/moscow_ml/Binaryset.sig
+lib/moscow_ml/Binaryset.ui
+lib/moscow_ml/Binaryset.uo
+lib/moscow_ml/Bool.sig
+lib/moscow_ml/Bool.ui
+lib/moscow_ml/Bool.uo
+lib/moscow_ml/Byte.sig
+lib/moscow_ml/Byte.ui
+lib/moscow_ml/Byte.uo
+lib/moscow_ml/Char.sig
+lib/moscow_ml/Char.ui
+lib/moscow_ml/Char.uo
+lib/moscow_ml/CharArray.sig
+lib/moscow_ml/CharArray.ui
+lib/moscow_ml/CharArray.uo
+lib/moscow_ml/CharVector.sig
+lib/moscow_ml/CharVector.ui
+lib/moscow_ml/CharVector.uo
+lib/moscow_ml/CommandLine.sig
+lib/moscow_ml/CommandLine.ui
+lib/moscow_ml/CommandLine.uo
+lib/moscow_ml/Date.sig
+lib/moscow_ml/Date.ui
+lib/moscow_ml/Date.uo
+lib/moscow_ml/Dynarray.sig
+lib/moscow_ml/Dynarray.ui
+lib/moscow_ml/Dynarray.uo
+lib/moscow_ml/FileSys.sig
+lib/moscow_ml/FileSys.ui
+lib/moscow_ml/FileSys.uo
+lib/moscow_ml/General.sig
+lib/moscow_ml/Help.sig
+lib/moscow_ml/Help.ui
+lib/moscow_ml/Help.uo
+lib/moscow_ml/Int.sig
+lib/moscow_ml/Int.ui
+lib/moscow_ml/Int.uo
+lib/moscow_ml/Intmap.sig
+lib/moscow_ml/Intmap.ui
+lib/moscow_ml/Intmap.uo
+lib/moscow_ml/Intset.sig
+lib/moscow_ml/Intset.ui
+lib/moscow_ml/Intset.uo
+lib/moscow_ml/Lexing.sig
+lib/moscow_ml/Lexing.ui
+lib/moscow_ml/Lexing.uo
+lib/moscow_ml/List.sig
+lib/moscow_ml/List.ui
+lib/moscow_ml/List.uo
+lib/moscow_ml/ListPair.sig
+lib/moscow_ml/ListPair.ui
+lib/moscow_ml/ListPair.uo
+lib/moscow_ml/Listsort.sig
+lib/moscow_ml/Listsort.ui
+lib/moscow_ml/Listsort.uo
+lib/moscow_ml/Location.sig
+lib/moscow_ml/Location.ui
+lib/moscow_ml/Location.uo
+lib/moscow_ml/Math.sig
+lib/moscow_ml/Math.ui
+lib/moscow_ml/Math.uo
+lib/moscow_ml/Meta.sig
+lib/moscow_ml/Misc.sig
+lib/moscow_ml/Misc.ui
+lib/moscow_ml/Misc.uo
+lib/moscow_ml/Mosml.sig
+lib/moscow_ml/Mosml.ui
+lib/moscow_ml/Mosml.uo
+lib/moscow_ml/Mosmlcgi.sig
+lib/moscow_ml/Mosmlcgi.ui
+lib/moscow_ml/Mosmlcgi.uo
+lib/moscow_ml/NJ93.sig
+lib/moscow_ml/NJ93.ui
+lib/moscow_ml/NJ93.uo
+lib/moscow_ml/Nonstdio.sig
+lib/moscow_ml/Nonstdio.ui
+lib/moscow_ml/Nonstdio.uo
+lib/moscow_ml/OS.sig
+lib/moscow_ml/OS.ui
+lib/moscow_ml/OS.uo
+lib/moscow_ml/Obj.ui
+lib/moscow_ml/Obj.uo
+lib/moscow_ml/Option.sig
+lib/moscow_ml/Option.ui
+lib/moscow_ml/Option.uo
+lib/moscow_ml/PP.sig
+lib/moscow_ml/PP.ui
+lib/moscow_ml/PP.uo
+lib/moscow_ml/Parsing.sig
+lib/moscow_ml/Parsing.ui
+lib/moscow_ml/Parsing.uo
+lib/moscow_ml/Path.sig
+lib/moscow_ml/Path.ui
+lib/moscow_ml/Path.uo
+lib/moscow_ml/Polyhash.sig
+lib/moscow_ml/Polyhash.ui
+lib/moscow_ml/Polyhash.uo
+lib/moscow_ml/Process.sig
+lib/moscow_ml/Process.ui
+lib/moscow_ml/Process.uo
+lib/moscow_ml/Random.sig
+lib/moscow_ml/Random.ui
+lib/moscow_ml/Random.uo
+lib/moscow_ml/Real.sig
+lib/moscow_ml/Real.ui
+lib/moscow_ml/Real.uo
+lib/moscow_ml/SML90.sig
+lib/moscow_ml/SML90.ui
+lib/moscow_ml/SML90.uo
+lib/moscow_ml/Splaymap.sig
+lib/moscow_ml/Splaymap.ui
+lib/moscow_ml/Splaymap.uo
+lib/moscow_ml/Splayset.sig
+lib/moscow_ml/Splayset.ui
+lib/moscow_ml/Splayset.uo
+lib/moscow_ml/Splaytree.sig
+lib/moscow_ml/Splaytree.ui
+lib/moscow_ml/Splaytree.uo
+lib/moscow_ml/Strbase.sig
+lib/moscow_ml/Strbase.ui
+lib/moscow_ml/Strbase.uo
+lib/moscow_ml/String.sig
+lib/moscow_ml/String.ui
+lib/moscow_ml/String.uo
+lib/moscow_ml/StringCvt.sig
+lib/moscow_ml/StringCvt.ui
+lib/moscow_ml/StringCvt.uo
+lib/moscow_ml/Substring.sig
+lib/moscow_ml/Substring.ui
+lib/moscow_ml/Substring.uo
+lib/moscow_ml/Susp.sig
+lib/moscow_ml/Susp.ui
+lib/moscow_ml/Susp.uo
+lib/moscow_ml/TextIO.sig
+lib/moscow_ml/TextIO.ui
+lib/moscow_ml/TextIO.uo
+lib/moscow_ml/Time.sig
+lib/moscow_ml/Time.ui
+lib/moscow_ml/Time.uo
+lib/moscow_ml/Timer.sig
+lib/moscow_ml/Timer.ui
+lib/moscow_ml/Timer.uo
+lib/moscow_ml/Vector.sig
+lib/moscow_ml/Vector.ui
+lib/moscow_ml/Vector.uo
+lib/moscow_ml/Word.sig
+lib/moscow_ml/Word.ui
+lib/moscow_ml/Word.uo
+lib/moscow_ml/Word8.sig
+lib/moscow_ml/Word8.ui
+lib/moscow_ml/Word8.uo
+lib/moscow_ml/Word8Array.sig
+lib/moscow_ml/Word8Array.ui
+lib/moscow_ml/Word8Array.uo
+lib/moscow_ml/Word8Vector.sig
+lib/moscow_ml/Word8Vector.ui
+lib/moscow_ml/Word8Vector.uo
+lib/moscow_ml/header
+lib/moscow_ml/helpsigs.val
+lib/moscow_ml/mosmlcmp
+lib/moscow_ml/mosmllnk
+lib/moscow_ml/mosmltop
+@dirrm lib/moscow_ml
+libexec/moscow_ml/cutdeps
+libexec/moscow_ml/mosmldep
+@dirrm libexec/moscow_ml
+share/doc/moscow_ml/bugs
+share/doc/moscow_ml/manual.dvi
+share/doc/moscow_ml/mosmlref.dvi
+share/doc/moscow_ml/releases.txt
+@dirrm share/doc/moscow_ml
+share/examples/moscow_ml/Makefile
+share/examples/moscow_ml/README
+share/examples/moscow_ml/calc/Lexer.lex
+share/examples/moscow_ml/calc/Makefile
+share/examples/moscow_ml/calc/Parser.grm
+share/examples/moscow_ml/calc/calc.sml
+share/examples/moscow_ml/cgi/Makefile
+share/examples/moscow_ml/cgi/README
+share/examples/moscow_ml/cgi/README1
+share/examples/moscow_ml/cgi/README2
+share/examples/moscow_ml/cgi/cgiex1.sml
+share/examples/moscow_ml/cgi/cgiex2.sml
+share/examples/moscow_ml/cgi/cgitest.sml
+share/examples/moscow_ml/cgi/htmlform.html
+share/examples/moscow_ml/cgi/upload.html
+share/examples/moscow_ml/helpsigs/Database.sig
+share/examples/moscow_ml/helpsigs/Database.sml
+share/examples/moscow_ml/helpsigs/Htmlsigs.sig
+share/examples/moscow_ml/helpsigs/Htmlsigs.sml
+share/examples/moscow_ml/helpsigs/Lexer.lex
+share/examples/moscow_ml/helpsigs/Makefile
+share/examples/moscow_ml/helpsigs/Parser.grm
+share/examples/moscow_ml/helpsigs/Parsspec.sml
+share/examples/moscow_ml/helpsigs/Printbase.sml
+share/examples/moscow_ml/helpsigs/README
+share/examples/moscow_ml/helpsigs/makebase.sml
+share/examples/moscow_ml/lexyacc/Data.sml
+share/examples/moscow_ml/lexyacc/Lexer.lex
+share/examples/moscow_ml/lexyacc/Main.sml
+share/examples/moscow_ml/lexyacc/Makefile
+share/examples/moscow_ml/lexyacc/Parser.grm
+share/examples/moscow_ml/lexyacc/README
+share/examples/moscow_ml/lexyacc/cl/append.cl
+share/examples/moscow_ml/lexyacc/cl/edigits.cl
+share/examples/moscow_ml/lexyacc/cl/error1.cl
+share/examples/moscow_ml/lexyacc/cl/error2.cl
+share/examples/moscow_ml/lexyacc/cl/error3.cl
+share/examples/moscow_ml/lexyacc/cl/fib.cl
+share/examples/moscow_ml/lexyacc/cl/fibs.cl
+share/examples/moscow_ml/lexyacc/cl/hamming.cl
+share/examples/moscow_ml/lexyacc/cl/lists.cl
+share/examples/moscow_ml/lexyacc/cl/nats.cl
+share/examples/moscow_ml/lexyacc/cl/sieve.cl
+share/examples/moscow_ml/lexyacc/cl/takefrom.cl
+share/examples/moscow_ml/lexyacc/load
+share/examples/moscow_ml/manual/Evaluate.sig
+share/examples/moscow_ml/manual/Evaluate.sml
+share/examples/moscow_ml/manual/Expr.sml
+share/examples/moscow_ml/manual/Makefile
+share/examples/moscow_ml/manual/Reduce.sig
+share/examples/moscow_ml/manual/Reduce.sml
+share/examples/moscow_ml/manual/load
+share/examples/moscow_ml/mls/Makefile
+share/examples/moscow_ml/mls/mls.sml
+share/examples/moscow_ml/pretty/Makefile
+share/examples/moscow_ml/pretty/ppexpr.sml
+@dirrm share/examples/moscow_ml/calc
+@dirrm share/examples/moscow_ml/cgi
+@dirrm share/examples/moscow_ml/helpsigs/htmlsigs
+@dirrm share/examples/moscow_ml/helpsigs
+@dirrm share/examples/moscow_ml/lexyacc/cl
+@dirrm share/examples/moscow_ml/lexyacc
+@dirrm share/examples/moscow_ml/manual
+@dirrm share/examples/moscow_ml/mls
+@dirrm share/examples/moscow_ml/pretty
+@dirrm share/examples/moscow_ml