diff options
author | jdolecek <jdolecek@pkgsrc.org> | 2000-04-05 08:44:59 +0000 |
---|---|---|
committer | jdolecek <jdolecek@pkgsrc.org> | 2000-04-05 08:44:59 +0000 |
commit | 9fe36dec5de179e47440f92345a8f3e111188aa5 (patch) | |
tree | 818d6fe556a6fd3bc5b4980aa4fa75c275e28d63 /lang | |
parent | 4b1b531b17d951596120ad96dbfd5219faf0939d (diff) | |
download | pkgsrc-9fe36dec5de179e47440f92345a8f3e111188aa5.tar.gz |
Update to moscow_ml-1.44. Changes in 1.44 (from pkg README):
* Access to GNU gdbm persistent hashtables (structures Gdbm, Polygdbm)
* Interface to the PostgreSQL database server (structure Postgres)
* Interface to the MySQL database server (structure Mysql)
* Interface to POSIX 1003.2 regular expressions (structure Regex)
* Interface to sockets (structure Socket)
* Faster bytecode execution (when compiled with GCC or egcs)
* Registration of ML and C functions simplify callbacks
Apparently the NetBSD patches were also pulled up.
Since the distfile on the original site was updated without
version indication, this also fixes kern/9783.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/moscow_ml/Makefile | 4 | ||||
-rw-r--r-- | lang/moscow_ml/files/md5 | 4 | ||||
-rw-r--r-- | lang/moscow_ml/files/patch-sum | 12 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-aa | 62 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ab | 39 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ac | 18 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ad | 14 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ae | 27 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-af | 13 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ag | 13 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ah | 19 | ||||
-rw-r--r-- | lang/moscow_ml/patches/patch-ai | 13 | ||||
-rw-r--r-- | lang/moscow_ml/pkg/PLIST | 36 |
13 files changed, 72 insertions, 202 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile index 52077f18a68..ac3197070e2 100644 --- a/lang/moscow_ml/Makefile +++ b/lang/moscow_ml/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.8 1999/04/14 18:00:47 bad Exp $ +# $NetBSD: Makefile,v 1.9 2000/04/05 08:44:59 jdolecek Exp $ # DISTNAME= mos14src -PKGNAME= moscow_ml-1.43 +PKGNAME= moscow_ml-1.44 WRKSRC= ${WRKDIR}/mosml/src CATEGORIES= lang MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ \ diff --git a/lang/moscow_ml/files/md5 b/lang/moscow_ml/files/md5 index 45f17d0de94..b913110203c 100644 --- a/lang/moscow_ml/files/md5 +++ b/lang/moscow_ml/files/md5 @@ -1,3 +1,3 @@ -$NetBSD: md5,v 1.3 1998/12/04 11:09:46 frueauf Exp $ +$NetBSD: md5,v 1.4 2000/04/05 08:45:00 jdolecek Exp $ -MD5 (mos14src.tar.gz) = 3c046ef3f95c57d61cfe5e78092dfa80 +MD5 (mos14src.tar.gz) = 54d8515a32af38becbf4a40945f33033 diff --git a/lang/moscow_ml/files/patch-sum b/lang/moscow_ml/files/patch-sum index 03ce1ab3538..295a8f73b0a 100644 --- a/lang/moscow_ml/files/patch-sum +++ b/lang/moscow_ml/files/patch-sum @@ -1,11 +1,3 @@ -$NetBSD: patch-sum,v 1.1 1999/07/09 13:54:10 agc Exp $ +$NetBSD: patch-sum,v 1.2 2000/04/05 08:45:00 jdolecek Exp $ -MD5 (patch-aa) = ec2e2f6719fc231994a737e60fe4ca3f -MD5 (patch-ab) = 9ee115c127c89a279b320344ace884d0 -MD5 (patch-ac) = 736bbbf29e2234bdbc0c8beb30d881bf -MD5 (patch-ad) = 66d80d3fad25a6b0674fe693e7f0a572 -MD5 (patch-ae) = c9f60703512d919a7166f179f9561a26 -MD5 (patch-af) = 325e094d8b3442f27b96f903a358e1b6 -MD5 (patch-ag) = 43b2cf2a933f6c906f48c6da72730d44 -MD5 (patch-ah) = 567686682c1e93841403e68a66c681a9 -MD5 (patch-ai) = 7f3b077b6b133f98d1337685ff1190f7 +MD5 (patch-aa) = 75aef94622aaa423afd22e7a4f5475d8 diff --git a/lang/moscow_ml/patches/patch-aa b/lang/moscow_ml/patches/patch-aa index 04e208a1724..72bb20ee4d6 100644 --- a/lang/moscow_ml/patches/patch-aa +++ b/lang/moscow_ml/patches/patch-aa @@ -1,54 +1,60 @@ -$NetBSD: patch-aa,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- Makefile.inc.orig Mon Apr 20 11:52:39 1998 -+++ Makefile.inc Thu Dec 3 04:05:44 1998 -@@ -2,20 +2,34 @@ +--- Makefile.inc.orig Wed Aug 4 17:40:24 1999 ++++ Makefile.inc Wed Apr 5 10:05:09 2000 +@@ -2,20 +2,20 @@ # Where to install stuff -MOSMLHOME=${HOME}/mosml +MOSMLHOME=${PREFIX} -+ -+# Various utility programs -+INSTALL_PROGRAM=cp -+INSTALL_SCRIPT=cp -+INSTALL_DATA=cp + + # Various utility programs + INSTALL_PROGRAM=cp + INSTALL_SCRIPT=cp + INSTALL_DATA=cp +-PERL=perl +PERL=${LOCALBASE}/bin/perl # To compile the runtime system camlrunm with support for # dynamically loadable libraries (DDLs), uncomment these: --# ADDPRIMS=dynlib.c --# ADDOBJS=dynlib.o -+ADDPRIMS=dynlib.c -+ADDOBJS=dynlib.o - # ADDLIBS=-ldl - # ADDCFLAGS=-rdynamic - -+# For NetBSD, use: + ADDPRIMS=dynlib.c + ADDOBJS=dynlib.o +-ADDRUNLIBS=-ldl ++# ADDRUNLIBS=-ldl + ADDRUNCFLAGS= + ADDDYNLIBCFLAGS= + +@@ -26,13 +26,13 @@ LD=gcc -rdynamic + DYNLD=ld -shared + + # For NetBSD, use instead: +-# CPP=/usr/bin/cpp -P -traditional -Dunix -Umsdos +-# STRIP=/usr/bin/strip +-# ADDRUNCFLAGS=-fPIC +-# ADDDYNLIBCFLAGS=-fPIC +-# INSTALL_PROGRAM=${BSD_INSTALL_PROGRAM} +-# INSTALL_SCRIPT=${BSD_INSTALL_SCRIPT} +-# INSTALL_DATA=${BSD_INSTALL_DATA} +CPP=/usr/bin/cpp -P -traditional -Dunix -Umsdos +STRIP=/usr/bin/strip -+ADDCFLAGS=-fPIC ++ADDRUNCFLAGS=-fPIC ++ADDDYNLIBCFLAGS=-fPIC +INSTALL_PROGRAM=${BSD_INSTALL_PROGRAM} +INSTALL_SCRIPT=${BSD_INSTALL_SCRIPT} +INSTALL_DATA=${BSD_INSTALL_DATA} -+ - # For Linux, use: --CPP=/lib/cpp -P -traditional -Dunix -Umsdos --STRIP=strip --DYNLD=ld -shared -+#CPP=/lib/cpp -P -traditional -Dunix -Umsdos -+#STRIP=strip -+#DYNLD=ld -shared # For Solaris 2 (not SunOS 4), use instead: # CPP=/usr/ccs/lib/cpp -P -Dunix -Umsdos -@@ -41,8 +55,8 @@ +@@ -68,10 +68,10 @@ SHELL=/bin/sh # 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 ++# LIBDIR=${MOSMLHOME}/lib ++# TOOLDIR=${MOSMLHOME}/tools +LIBDIR=${MOSMLHOME}/lib/moscow_ml +TOOLDIR=${MOSMLHOME}/libexec/moscow_ml diff --git a/lang/moscow_ml/patches/patch-ab b/lang/moscow_ml/patches/patch-ab deleted file mode 100644 index 40fe49d67ab..00000000000 --- a/lang/moscow_ml/patches/patch-ab +++ /dev/null @@ -1,39 +0,0 @@ -$NetBSD: patch-ab,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- compiler/Makefile.orig Sat Apr 11 07:19:17 1998 -+++ compiler/Makefile Thu Dec 3 04:01:44 1998 -@@ -70,7 +70,7 @@ - $(MOSMLL) $(LINKFLAGS) -o mosmlcmp.w32 Mainc.uo - - Opcodes.sml: $(CAMLRT)/instruct.h -- perl $(MOSMLTOOLS)/mksmlopc $(CAMLRT)/instruct.h > Opcodes.sml -+ $(PERL) $(MOSMLTOOLS)/mksmlopc $(CAMLRT)/instruct.h > Opcodes.sml - - Parser.sml Parser.sig: Parser.grm - $(MOSMLYACC) Parser.grm -@@ -85,10 +85,10 @@ - $(MOSMLL) $(LINKFLAGS) -o mosmllnk.w32 Mainl.uo - - Predef.sml : $(CAMLRT)/globals.h $(CAMLRT)/fail.h -- perl $(MOSMLTOOLS)/mksmlpre $(CAMLRT)/globals.h $(CAMLRT)/fail.h > Predef.sml -+ $(PERL) $(MOSMLTOOLS)/mksmlpre $(CAMLRT)/globals.h $(CAMLRT)/fail.h > Predef.sml - - Prim_c.sml : $(CAMLRT)/primitives -- perl $(MOSMLTOOLS)/mksmlprc $(CAMLRT)/primitives > Prim_c.sml -+ $(PERL) $(MOSMLTOOLS)/mksmlprc $(CAMLRT)/primitives > Prim_c.sml - - mosmltop: $(COMP_OBJS) $(T_OBJS) - $(MOSMLL) $(LINKFLAGS) -o mosmltop Maint.uo -@@ -116,9 +116,9 @@ - rm -f Makefile.bak - - install: -- cp mosmlcmp $(LIBDIR) -- cp mosmllnk $(LIBDIR) -- cp mosmltop $(LIBDIR) -+ ${INSTALL_DATA} mosmlcmp $(LIBDIR) -+ ${INSTALL_DATA} mosmllnk $(LIBDIR) -+ ${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 deleted file mode 100644 index 274c22a2c29..00000000000 --- a/lang/moscow_ml/patches/patch-ac +++ /dev/null @@ -1,18 +0,0 @@ -$NetBSD: patch-ac,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- launch/Makefile.orig Mon Jul 7 03:38:39 1997 -+++ launch/Makefile Thu Dec 3 03:19:54 1998 -@@ -14,11 +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 ${INSTALL_PROGRAM} camlexec $(LIBDIR)/header; \ - fi' - rm -f /tmp/testscr - for script in mosml mosmlc; do \ -- cp $$script $(BINDIR)/$$script; \ -+ ${INSTALL_SCRIPT} $$script $(BINDIR)/$$script; \ - chmod a+x $(BINDIR)/$$script; \ - done - diff --git a/lang/moscow_ml/patches/patch-ad b/lang/moscow_ml/patches/patch-ad deleted file mode 100644 index 4a0d446e6f3..00000000000 --- a/lang/moscow_ml/patches/patch-ad +++ /dev/null @@ -1,14 +0,0 @@ -$NetBSD: patch-ad,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- lex/Makefile.orig Mon Apr 6 15:01:22 1998 -+++ lex/Makefile Thu Dec 3 03:21:13 1998 -@@ -34,7 +34,8 @@ - rm -f Makefile.bak - - install: -- cat $(LIBDIR)/header mosmllex > $(BINDIR)/mosmllex -+ cat $(LIBDIR)/header mosmllex > mosmllex.bin -+ ${INSTALL_SCRIPT} mosmllex.bin $(BINDIR)/mosmllex - chmod a+x $(BINDIR)/mosmllex - - Grammar.sml Grammar.sig: Grammar.grm diff --git a/lang/moscow_ml/patches/patch-ae b/lang/moscow_ml/patches/patch-ae deleted file mode 100644 index 53a6d389af0..00000000000 --- a/lang/moscow_ml/patches/patch-ae +++ /dev/null @@ -1,27 +0,0 @@ -$NetBSD: patch-ae,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- mosmllib/Makefile.orig Mon Apr 6 15:01:10 1998 -+++ mosmllib/Makefile Thu Dec 3 03:05:59 1998 -@@ -27,14 +27,14 @@ - rm -f Vector.sml Word.sml Word8Array.sml Word8Vector.sml Weak.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) -+ ${INSTALL_DATA} README $(LIBDIR) -+ ${INSTALL_DATA} *.ui $(LIBDIR) -+ ${INSTALL_DATA} *.uo $(LIBDIR) -+ ${INSTALL_DATA} *.sig $(LIBDIR) -+ ${INSTALL_DATA} General.fke $(LIBDIR)/General.sig -+ ${INSTALL_DATA} Meta.fke $(LIBDIR)/Meta.sig -+ ${INSTALL_DATA} OS.fke $(LIBDIR)/OS.sig -+ ${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 Weak.sml diff --git a/lang/moscow_ml/patches/patch-af b/lang/moscow_ml/patches/patch-af deleted file mode 100644 index 2dde3b308f0..00000000000 --- a/lang/moscow_ml/patches/patch-af +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-af,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- mosmlyac/Makefile.orig Mon Oct 16 09:36:52 1995 -+++ mosmlyac/Makefile Thu Dec 3 03:03:04 1998 -@@ -18,7 +18,7 @@ - rm -f mosmlyac - - install: -- cp mosmlyac $(BINDIR)/mosmlyac -+ ${INSTALL_PROGRAM} mosmlyac $(BINDIR)/mosmlyac - - depend: - diff --git a/lang/moscow_ml/patches/patch-ag b/lang/moscow_ml/patches/patch-ag deleted file mode 100644 index 6fb3ce630ee..00000000000 --- a/lang/moscow_ml/patches/patch-ag +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-ag,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- runtime/Makefile.orig Fri Apr 17 07:51:45 1998 -+++ runtime/Makefile Thu Dec 3 03:01:16 1998 -@@ -42,7 +42,7 @@ - rm -f primitives prims.c opnames.h jumptbl.h - - install: -- cp camlrunm $(BINDIR) -+ ${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 deleted file mode 100644 index 0e9920f65b9..00000000000 --- a/lang/moscow_ml/patches/patch-ah +++ /dev/null @@ -1,19 +0,0 @@ -$NetBSD: patch-ah,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- runtime/fail.c.orig Wed Feb 11 08:19:54 1998 -+++ runtime/fail.c Thu Dec 3 02:57:48 1998 -@@ -1,9 +1,13 @@ - /* Raising exceptions from C. */ - -+#if (defined(__unix__) || defined(unix)) && !defined(USG) -+#include <sys/param.h> -+#endif -+ - #if defined(__MWERKS__) || defined(WIN32) - #define MAXDOUBLE 1.7976931348623157081e+308 - #else --#ifdef __FreeBSD__ -+#if (defined(BSD) && BSD >= 199306) - #include <float.h> - #define MAXDOUBLE DBL_MAX - #else diff --git a/lang/moscow_ml/patches/patch-ai b/lang/moscow_ml/patches/patch-ai deleted file mode 100644 index 2ad11b0ff6c..00000000000 --- a/lang/moscow_ml/patches/patch-ai +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-ai,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- toolssrc/Makefile.orig Tue Sep 23 07:52:11 1997 -+++ toolssrc/Makefile Thu Dec 3 03:10:56 1998 -@@ -34,7 +34,7 @@ - rm -f cutdeps mosmldep - - install: -- cp cutdeps mosmldep $(TOOLDIR) -+ ${INSTALL_DATA} cutdeps mosmldep $(TOOLDIR) - - depend: Deplex.sml Deppars.sml Mosmldep.sml - rm -f Makefile.bak diff --git a/lang/moscow_ml/pkg/PLIST b/lang/moscow_ml/pkg/PLIST index 70f6a5a3f5e..17a7b94e1ca 100644 --- a/lang/moscow_ml/pkg/PLIST +++ b/lang/moscow_ml/pkg/PLIST @@ -1,9 +1,10 @@ -@comment $NetBSD: PLIST,v 1.2 1998/12/04 11:09:46 frueauf Exp $ +@comment $NetBSD: PLIST,v 1.3 2000/04/05 08:45:01 jdolecek Exp $ bin/camlrunm bin/mosml bin/mosmlc bin/mosmllex bin/mosmlyac +lib/moscow_ml/AppleScript.sig lib/moscow_ml/Array.sig lib/moscow_ml/Array.ui lib/moscow_ml/Array.uo @@ -31,6 +32,9 @@ lib/moscow_ml/Bool.uo lib/moscow_ml/Byte.sig lib/moscow_ml/Byte.ui lib/moscow_ml/Byte.uo +lib/moscow_ml/Callback.sig +lib/moscow_ml/Callback.ui +lib/moscow_ml/Callback.uo lib/moscow_ml/Char.sig lib/moscow_ml/Char.ui lib/moscow_ml/Char.uo @@ -195,6 +199,7 @@ lib/moscow_ml/Word8Vector.uo lib/moscow_ml/header lib/moscow_ml/helpsigs.val lib/moscow_ml/mosmlcmp +lib/moscow_ml/mosmllex lib/moscow_ml/mosmllnk lib/moscow_ml/mosmltop libexec/moscow_ml/cutdeps @@ -203,7 +208,9 @@ share/doc/moscow_ml/bugs share/doc/moscow_ml/copyrght.att share/doc/moscow_ml/copyrght.cl share/doc/moscow_ml/gpl2 -share/doc/moscow_ml/manual.dvi +share/doc/moscow_ml/manual.pdf +share/doc/moscow_ml/mosmlref.pdf +share/doc/moscow_ml/mosmllib/AppleScript.html share/doc/moscow_ml/mosmllib/Array.html share/doc/moscow_ml/mosmllib/Array2.html share/doc/moscow_ml/mosmllib/Arraysort.html @@ -213,6 +220,7 @@ share/doc/moscow_ml/mosmllib/Binarymap.html share/doc/moscow_ml/mosmllib/Binaryset.html share/doc/moscow_ml/mosmllib/Bool.html share/doc/moscow_ml/mosmllib/Byte.html +share/doc/moscow_ml/mosmllib/Callback.html share/doc/moscow_ml/mosmllib/Char.html share/doc/moscow_ml/mosmllib/CharArray.html share/doc/moscow_ml/mosmllib/CharVector.html @@ -222,6 +230,7 @@ share/doc/moscow_ml/mosmllib/Dynarray.html share/doc/moscow_ml/mosmllib/Dynlib.html share/doc/moscow_ml/mosmllib/FileSys.html share/doc/moscow_ml/mosmllib/Gdbm.html +share/doc/moscow_ml/mosmllib/Gdimage.html share/doc/moscow_ml/mosmllib/General.html share/doc/moscow_ml/mosmllib/Help.html share/doc/moscow_ml/mosmllib/Int.html @@ -236,6 +245,7 @@ share/doc/moscow_ml/mosmllib/Math.html share/doc/moscow_ml/mosmllib/Meta.html share/doc/moscow_ml/mosmllib/Mosml.html share/doc/moscow_ml/mosmllib/Mosmlcgi.html +share/doc/moscow_ml/mosmllib/Mysql.html share/doc/moscow_ml/mosmllib/NJ93.html share/doc/moscow_ml/mosmllib/Nonstdio.html share/doc/moscow_ml/mosmllib/OS.html @@ -245,10 +255,13 @@ share/doc/moscow_ml/mosmllib/Parsing.html share/doc/moscow_ml/mosmllib/Path.html share/doc/moscow_ml/mosmllib/Polygdbm.html share/doc/moscow_ml/mosmllib/Polyhash.html +share/doc/moscow_ml/mosmllib/Postgres.html share/doc/moscow_ml/mosmllib/Process.html share/doc/moscow_ml/mosmllib/Random.html share/doc/moscow_ml/mosmllib/Real.html +share/doc/moscow_ml/mosmllib/Regex.html share/doc/moscow_ml/mosmllib/SML90.html +share/doc/moscow_ml/mosmllib/Socket.html share/doc/moscow_ml/mosmllib/Splaymap.html share/doc/moscow_ml/mosmllib/Splayset.html share/doc/moscow_ml/mosmllib/Splaytree.html @@ -267,16 +280,19 @@ share/doc/moscow_ml/mosmllib/Word8Array.html share/doc/moscow_ml/mosmllib/Word8Vector.html share/doc/moscow_ml/mosmllib/idIndex.html share/doc/moscow_ml/mosmllib/index.html -share/doc/moscow_ml/mosmlref.dvi share/doc/moscow_ml/recomp share/doc/moscow_ml/releases.txt share/examples/moscow_ml/Makefile +share/examples/moscow_ml/Makefile.w32 share/examples/moscow_ml/README +share/examples/moscow_ml/Readme.w32 share/examples/moscow_ml/calc/Lexer.lex share/examples/moscow_ml/calc/Makefile +share/examples/moscow_ml/calc/Makefile.w32 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/Makefile.w32 share/examples/moscow_ml/cgi/README share/examples/moscow_ml/cgi/README1 share/examples/moscow_ml/cgi/README2 @@ -294,8 +310,8 @@ 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/Makefile.w32 share/examples/moscow_ml/helpsigs/Parser.grm -share/examples/moscow_ml/helpsigs/Parser.output share/examples/moscow_ml/helpsigs/Parsspec.sml share/examples/moscow_ml/helpsigs/Printbase.sml share/examples/moscow_ml/helpsigs/README @@ -307,6 +323,7 @@ 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/Makefile.w32 share/examples/moscow_ml/lexyacc/Parser.grm share/examples/moscow_ml/lexyacc/README share/examples/moscow_ml/lexyacc/cl/append.cl @@ -326,12 +343,15 @@ 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/Makefile.w32 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/Makefile.w32 share/examples/moscow_ml/mls/mls.sml share/examples/moscow_ml/pretty/Makefile +share/examples/moscow_ml/pretty/Makefile.w32 share/examples/moscow_ml/pretty/ppexpr.sml share/examples/moscow_ml/small/README share/examples/moscow_ml/small/countperms.sml @@ -342,8 +362,15 @@ share/examples/moscow_ml/small/roman.sml share/examples/moscow_ml/small/subsets.sml share/examples/moscow_ml/small/subsum.sml share/examples/moscow_ml/weak/Makefile +share/examples/moscow_ml/weak/Makefile.w32 share/examples/moscow_ml/weak/README share/examples/moscow_ml/weak/hashcons.sml +share/examples/moscow_ml/webserver/Makefile +share/examples/moscow_ml/webserver/README +share/examples/moscow_ml/webserver/echoserver.sml +share/examples/moscow_ml/webserver/minimalserver.sml +share/examples/moscow_ml/webserver/mosmlserver.sml +share/examples/moscow_ml/webserver/useit.sml @dirrm lib/moscow_ml @dirrm libexec/moscow_ml @dirrm share/doc/moscow_ml/mosmllib @@ -359,4 +386,5 @@ share/examples/moscow_ml/weak/hashcons.sml @dirrm share/examples/moscow_ml/pretty @dirrm share/examples/moscow_ml/small @dirrm share/examples/moscow_ml/weak +@dirrm share/examples/moscow_ml/webserver @dirrm share/examples/moscow_ml |