summaryrefslogtreecommitdiff
path: root/lang
diff options
context:
space:
mode:
authortron <tron>2000-08-23 21:57:58 +0000
committertron <tron>2000-08-23 21:57:58 +0000
commite0b8db8f4614d84b5a2fbcd31ab4422335111473 (patch)
treef117786d5f912ea2bde7815bc20341f05da5b823 /lang
parent47ec6bf8c58b08d8473e43c1bdb78860206080c0 (diff)
downloadpkgsrc-e0b8db8f4614d84b5a2fbcd31ab4422335111473.tar.gz
Update "moscow_ml" package to version 2.00. Changes since version 1.44:
This is file README for Moscow ML 2.00 for Linux/Unix (June 2000) - The full SML Modules language (structures, signatures, and functors) is now supported, thanks to Claudio Russo. Also, several extensions to the SML Modules language are provided: - higher-order functors: functors may be defined within structures and functors - first-class modules: structures and functors may be packed and then handled as Core language values, which may then be unpacked as structures or functors again - recursive modules: signatures and structures may be recursively defined - Value polymorphism has become friendlier: non-generalizable free type variables are left free, and become instantiated (once only) when the bound variable is used - Added facilities for creating and communicating with subprocesses (structure Unix and Signal from SML Basis Library). - Added facilities for efficient functional generation of HTML code (structure Msp); also supports the writing of ML Server Page scripts. - Added facilities setting and accessing `cookies' in CGI scripts (structure Mosmlcookie), thanks to Hans Molin, Uppsala, Sweden. - The Gdimage structure now produces PNG images (using Thomas Boutell's gd library).
Diffstat (limited to 'lang')
-rw-r--r--lang/moscow_ml/Makefile13
-rw-r--r--lang/moscow_ml/files/md54
-rw-r--r--lang/moscow_ml/files/patch-sum7
-rw-r--r--lang/moscow_ml/patches/patch-aa28
-rw-r--r--lang/moscow_ml/patches/patch-ab13
-rw-r--r--lang/moscow_ml/patches/patch-ac13
-rw-r--r--lang/moscow_ml/patches/patch-ad13
-rw-r--r--lang/moscow_ml/pkg/PLIST167
8 files changed, 192 insertions, 66 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile
index ac3197070e2..f6ea6b601bd 100644
--- a/lang/moscow_ml/Makefile
+++ b/lang/moscow_ml/Makefile
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.9 2000/04/05 08:44:59 jdolecek Exp $
-#
+# $NetBSD: Makefile,v 1.10 2000/08/23 21:57:58 tron Exp $
-DISTNAME= mos14src
-PKGNAME= moscow_ml-1.44
+DISTNAME= mos20src
+PKGNAME= moscow_ml-2.00
WRKSRC= ${WRKDIR}/mosml/src
CATEGORIES= lang
MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ \
@@ -16,15 +15,9 @@ BUILD_DEPENDS+= ${LOCALBASE}/bin/perl:../../lang/perl5
ALL_TARGET= clean world
post-install:
- ${TOUCH} ${WRKDIR}/mosml/examples/helpsigs/htmlsigs/.keep_me
- ${MKDIR} ${PREFIX}/share/doc/moscow_ml
${MKDIR} ${PREFIX}/share/examples/moscow_ml
- ${CP} ${WRKDIR}/mosml/copyrght/* ${PREFIX}/share/doc/moscow_ml
- ${CP} -R ${WRKDIR}/mosml/doc/* ${PREFIX}/share/doc/moscow_ml
${CP} -R ${WRKDIR}/mosml/examples/* ${PREFIX}/share/examples/moscow_ml
- ${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${PREFIX}/share/doc/moscow_ml
${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${PREFIX}/share/examples/moscow_ml
- ${CHMOD} -R ugo+r ${PREFIX}/share/doc/moscow_ml
${CHMOD} -R ugo+r ${PREFIX}/share/examples/moscow_ml
.include "../../mk/bsd.pkg.mk"
diff --git a/lang/moscow_ml/files/md5 b/lang/moscow_ml/files/md5
index b913110203c..aa554fe67c3 100644
--- a/lang/moscow_ml/files/md5
+++ b/lang/moscow_ml/files/md5
@@ -1,3 +1,3 @@
-$NetBSD: md5,v 1.4 2000/04/05 08:45:00 jdolecek Exp $
+$NetBSD: md5,v 1.5 2000/08/23 21:57:58 tron Exp $
-MD5 (mos14src.tar.gz) = 54d8515a32af38becbf4a40945f33033
+MD5 (mos20src.tar.gz) = b18f8022a06442f84c8dbfa47067ce07
diff --git a/lang/moscow_ml/files/patch-sum b/lang/moscow_ml/files/patch-sum
index 295a8f73b0a..3a030bb5661 100644
--- a/lang/moscow_ml/files/patch-sum
+++ b/lang/moscow_ml/files/patch-sum
@@ -1,3 +1,6 @@
-$NetBSD: patch-sum,v 1.2 2000/04/05 08:45:00 jdolecek Exp $
+$NetBSD: patch-sum,v 1.3 2000/08/23 21:57:58 tron Exp $
-MD5 (patch-aa) = 75aef94622aaa423afd22e7a4f5475d8
+MD5 (patch-aa) = e577f1f345c6d0d2a7b9303893e79fc6
+MD5 (patch-ab) = 57f3e102d6c9247202035c89f99cbdc2
+MD5 (patch-ac) = 7fa822492afedae657d4a5d88f1265a0
+MD5 (patch-ad) = 05d7c766ee05f40eb97969ed90240e3e
diff --git a/lang/moscow_ml/patches/patch-aa b/lang/moscow_ml/patches/patch-aa
index 72bb20ee4d6..47307510d10 100644
--- a/lang/moscow_ml/patches/patch-aa
+++ b/lang/moscow_ml/patches/patch-aa
@@ -1,5 +1,7 @@
---- Makefile.inc.orig Wed Aug 4 17:40:24 1999
-+++ Makefile.inc Wed Apr 5 10:05:09 2000
+$NetBSD: patch-aa,v 1.5 2000/08/23 21:57:58 tron Exp $
+
+--- Makefile.inc.orig Thu Jun 29 02:28:14 2000
++++ Makefile.inc Wed Aug 23 23:39:29 2000
@@ -2,20 +2,20 @@
# Where to install stuff
@@ -24,10 +26,10 @@
ADDRUNCFLAGS=
ADDDYNLIBCFLAGS=
-@@ -26,13 +26,13 @@ LD=gcc -rdynamic
- DYNLD=ld -shared
+@@ -45,13 +45,13 @@
- # For NetBSD, use instead:
+ # For NetBSD, use:
+ # ------------------------
-# CPP=/usr/bin/cpp -P -traditional -Dunix -Umsdos
-# STRIP=/usr/bin/strip
-# ADDRUNCFLAGS=-fPIC
@@ -43,18 +45,22 @@
+INSTALL_SCRIPT=${BSD_INSTALL_SCRIPT}
+INSTALL_DATA=${BSD_INSTALL_DATA}
- # For Solaris 2 (not SunOS 4), use instead:
- # CPP=/usr/ccs/lib/cpp -P -Dunix -Umsdos
-@@ -68,10 +68,10 @@ SHELL=/bin/sh
- # LIBDIR contains bytecode files (such as mosmlcmp and library units)
+ # For Solaris 2 (not SunOS 4), use:
+ # ---------------------------------
+@@ -114,12 +114,12 @@
+ # DOCDIR contains documentation
BINDIR=${MOSMLHOME}/bin
-LIBDIR=${MOSMLHOME}/lib
+-INCDIR=${MOSMLHOME}/include
+-DOCDIR=${MOSMLHOME}/doc
-TOOLDIR=${MOSMLHOME}/tools
-# LIBDIR=${MOSMLHOME}/lib/moscow_ml
-# TOOLDIR=${MOSMLHOME}/libexec/moscow_ml
-+# LIBDIR=${MOSMLHOME}/lib
-+# TOOLDIR=${MOSMLHOME}/tools
++#LIBDIR=${MOSMLHOME}/lib
++INCDIR=${MOSMLHOME}/include/moscow_ml
++DOCDIR=${MOSMLHOME}/share/doc/moscow_ml
++#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
new file mode 100644
index 00000000000..d4b0327271f
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ab
@@ -0,0 +1,13 @@
+$NetBSD: patch-ab,v 1.5 2000/08/23 21:57:58 tron Exp $
+
+--- Makefile.orig Tue Jul 18 16:16:44 2000
++++ Makefile Wed Aug 23 23:43:08 2000
+@@ -58,7 +58,7 @@
+ cd compiler; make install
+ cd toolssrc; make install
+ cd lex; make install
+- (cd $(INCDIR)/..; rm -f config; ln -s include config)
++ (cd $(INCDIR); rm -f config; ln -s . config)
+ cd doc; make install
+
+ # Remove all generated files
diff --git a/lang/moscow_ml/patches/patch-ac b/lang/moscow_ml/patches/patch-ac
new file mode 100644
index 00000000000..fba60009674
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ac
@@ -0,0 +1,13 @@
+$NetBSD: patch-ac,v 1.5 2000/08/23 21:57:59 tron Exp $
+
+--- runtime/Makefile.orig Tue Jul 18 16:16:44 2000
++++ runtime/Makefile Wed Aug 23 22:57:02 2000
+@@ -47,7 +47,7 @@
+
+ install:
+ ${INSTALL_PROGRAM} camlrunm$(EXE) $(BINDIR)
+- ${INSTALL_PROGRAM} *.h $(INCDIR)
++ ${INSTALL_DATA} *.h $(INCDIR)
+
+ 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-ad b/lang/moscow_ml/patches/patch-ad
new file mode 100644
index 00000000000..27d3df680da
--- /dev/null
+++ b/lang/moscow_ml/patches/patch-ad
@@ -0,0 +1,13 @@
+$NetBSD: patch-ad,v 1.5 2000/08/23 21:57:59 tron Exp $
+
+--- config/Makefile.orig Wed Feb 16 16:36:57 2000
++++ config/Makefile Wed Aug 23 22:57:49 2000
+@@ -4,7 +4,7 @@
+ @echo "Run 'sh autoconf' or 'sh autoconf gcc' or ..."
+
+ install:
+- $(INSTALL_PROGRAM) m.h s.h $(INCDIR)
++ $(INSTALL_DATA) m.h s.h $(INCDIR)
+
+ clean scratch:
+ rm -f m.h s.h
diff --git a/lang/moscow_ml/pkg/PLIST b/lang/moscow_ml/pkg/PLIST
index 17a7b94e1ca..7e8cffed3c6 100644
--- a/lang/moscow_ml/pkg/PLIST
+++ b/lang/moscow_ml/pkg/PLIST
@@ -1,9 +1,45 @@
-@comment $NetBSD: PLIST,v 1.3 2000/04/05 08:45:01 jdolecek Exp $
+@comment $NetBSD: PLIST,v 1.4 2000/08/23 21:57:59 tron Exp $
bin/camlrunm
bin/mosml
bin/mosmlc
bin/mosmllex
bin/mosmlyac
+include/moscow_ml/alloc.h
+include/moscow_ml/callback.h
+include/moscow_ml/config
+include/moscow_ml/config.h
+include/moscow_ml/debugger.h
+include/moscow_ml/exec.h
+include/moscow_ml/expand.h
+include/moscow_ml/fail.h
+include/moscow_ml/freelist.h
+include/moscow_ml/gc.h
+include/moscow_ml/gc_ctrl.h
+include/moscow_ml/globals.h
+include/moscow_ml/instruct.h
+include/moscow_ml/interp.h
+include/moscow_ml/intext.h
+include/moscow_ml/io.h
+include/moscow_ml/jumptbl.h
+include/moscow_ml/m.h
+include/moscow_ml/major_gc.h
+include/moscow_ml/md5sum.h
+include/moscow_ml/memory.h
+include/moscow_ml/minor_gc.h
+include/moscow_ml/misc.h
+include/moscow_ml/mlvalues.h
+include/moscow_ml/mosml.h
+include/moscow_ml/prims.h
+include/moscow_ml/reverse.h
+include/moscow_ml/roots.h
+include/moscow_ml/runtime.h
+include/moscow_ml/s.h
+include/moscow_ml/signals.h
+include/moscow_ml/stacks.h
+include/moscow_ml/str.h
+include/moscow_ml/sys.h
+include/moscow_ml/unalignd.h
+include/moscow_ml/version.h
lib/moscow_ml/AppleScript.sig
lib/moscow_ml/Array.sig
lib/moscow_ml/Array.ui
@@ -62,10 +98,15 @@ lib/moscow_ml/FileSys.uo
lib/moscow_ml/Gdbm.sig
lib/moscow_ml/Gdbm.ui
lib/moscow_ml/Gdbm.uo
+lib/moscow_ml/Gdimage.sig
+lib/moscow_ml/Gdimage.ui
+lib/moscow_ml/Gdimage.uo
lib/moscow_ml/General.sig
lib/moscow_ml/Help.sig
lib/moscow_ml/Help.ui
lib/moscow_ml/Help.uo
+lib/moscow_ml/IO.ui
+lib/moscow_ml/IO.uo
lib/moscow_ml/Int.sig
lib/moscow_ml/Int.ui
lib/moscow_ml/Int.uo
@@ -103,6 +144,15 @@ lib/moscow_ml/Mosml.uo
lib/moscow_ml/Mosmlcgi.sig
lib/moscow_ml/Mosmlcgi.ui
lib/moscow_ml/Mosmlcgi.uo
+lib/moscow_ml/Mosmlcookie.sig
+lib/moscow_ml/Mosmlcookie.ui
+lib/moscow_ml/Mosmlcookie.uo
+lib/moscow_ml/Msp.sig
+lib/moscow_ml/Msp.ui
+lib/moscow_ml/Msp.uo
+lib/moscow_ml/Mysql.sig
+lib/moscow_ml/Mysql.ui
+lib/moscow_ml/Mysql.uo
lib/moscow_ml/NJ93.sig
lib/moscow_ml/NJ93.ui
lib/moscow_ml/NJ93.uo
@@ -132,6 +182,9 @@ lib/moscow_ml/Polygdbm.uo
lib/moscow_ml/Polyhash.sig
lib/moscow_ml/Polyhash.ui
lib/moscow_ml/Polyhash.uo
+lib/moscow_ml/Postgres.sig
+lib/moscow_ml/Postgres.ui
+lib/moscow_ml/Postgres.uo
lib/moscow_ml/Process.sig
lib/moscow_ml/Process.ui
lib/moscow_ml/Process.uo
@@ -142,9 +195,18 @@ lib/moscow_ml/Random.uo
lib/moscow_ml/Real.sig
lib/moscow_ml/Real.ui
lib/moscow_ml/Real.uo
+lib/moscow_ml/Regex.sig
+lib/moscow_ml/Regex.ui
+lib/moscow_ml/Regex.uo
lib/moscow_ml/SML90.sig
lib/moscow_ml/SML90.ui
lib/moscow_ml/SML90.uo
+lib/moscow_ml/Signal.sig
+lib/moscow_ml/Signal.ui
+lib/moscow_ml/Signal.uo
+lib/moscow_ml/Socket.sig
+lib/moscow_ml/Socket.ui
+lib/moscow_ml/Socket.uo
lib/moscow_ml/Splaymap.sig
lib/moscow_ml/Splaymap.ui
lib/moscow_ml/Splaymap.uo
@@ -178,6 +240,9 @@ lib/moscow_ml/Time.uo
lib/moscow_ml/Timer.sig
lib/moscow_ml/Timer.ui
lib/moscow_ml/Timer.uo
+lib/moscow_ml/Unix.sig
+lib/moscow_ml/Unix.ui
+lib/moscow_ml/Unix.uo
lib/moscow_ml/Vector.sig
lib/moscow_ml/Vector.ui
lib/moscow_ml/Vector.uo
@@ -196,6 +261,7 @@ lib/moscow_ml/Word8Array.uo
lib/moscow_ml/Word8Vector.sig
lib/moscow_ml/Word8Vector.ui
lib/moscow_ml/Word8Vector.uo
+lib/moscow_ml/camlrunm
lib/moscow_ml/header
lib/moscow_ml/helpsigs.val
lib/moscow_ml/mosmlcmp
@@ -204,12 +270,8 @@ lib/moscow_ml/mosmllnk
lib/moscow_ml/mosmltop
libexec/moscow_ml/cutdeps
libexec/moscow_ml/mosmldep
-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.pdf
-share/doc/moscow_ml/mosmlref.pdf
+share/doc/moscow_ml/mosmllib.pdf
share/doc/moscow_ml/mosmllib/AppleScript.html
share/doc/moscow_ml/mosmllib/Array.html
share/doc/moscow_ml/mosmllib/Array2.html
@@ -245,6 +307,8 @@ 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/Mosmlcookie.html
+share/doc/moscow_ml/mosmllib/Msp.html
share/doc/moscow_ml/mosmllib/Mysql.html
share/doc/moscow_ml/mosmllib/NJ93.html
share/doc/moscow_ml/mosmllib/Nonstdio.html
@@ -261,10 +325,10 @@ 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/Signal.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
share/doc/moscow_ml/mosmllib/String.html
share/doc/moscow_ml/mosmllib/StringCvt.html
share/doc/moscow_ml/mosmllib/Substring.html
@@ -272,6 +336,7 @@ share/doc/moscow_ml/mosmllib/Susp.html
share/doc/moscow_ml/mosmllib/TextIO.html
share/doc/moscow_ml/mosmllib/Time.html
share/doc/moscow_ml/mosmllib/Timer.html
+share/doc/moscow_ml/mosmllib/Unix.html
share/doc/moscow_ml/mosmllib/Vector.html
share/doc/moscow_ml/mosmllib/Weak.html
share/doc/moscow_ml/mosmllib/Word.html
@@ -280,8 +345,8 @@ 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/recomp
-share/doc/moscow_ml/releases.txt
+share/doc/moscow_ml/mosmllib2up.pdf
+share/doc/moscow_ml/mosmlref.pdf
share/examples/moscow_ml/Makefile
share/examples/moscow_ml/Makefile.w32
share/examples/moscow_ml/README
@@ -301,24 +366,6 @@ 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/Asynt.sml
-share/examples/moscow_ml/helpsigs/Database.sig
-share/examples/moscow_ml/helpsigs/Database.sml
-share/examples/moscow_ml/helpsigs/Hasht.sig
-share/examples/moscow_ml/helpsigs/Hasht.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/Makefile.w32
-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/Stack.sig
-share/examples/moscow_ml/helpsigs/Stack.sml
-share/examples/moscow_ml/helpsigs/htmlsigs/.keep_me
-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
@@ -350,9 +397,34 @@ 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/modules/README
+share/examples/moscow_ml/modules/array.sml
+share/examples/moscow_ml/modules/bootstrap.sml
+share/examples/moscow_ml/modules/choice.sml
+share/examples/moscow_ml/modules/collect.sml
+share/examples/moscow_ml/modules/matrix.sml
+share/examples/moscow_ml/modules/poly.sml
+share/examples/moscow_ml/modules/recursion.sml
+share/examples/moscow_ml/modules/sieve.sml
+share/examples/moscow_ml/parsercomb/Makefile
+share/examples/moscow_ml/parsercomb/Parsercomb.sig
+share/examples/moscow_ml/parsercomb/Parsercomb.sml
+share/examples/moscow_ml/parsercomb/README
+share/examples/moscow_ml/paulson/README
+share/examples/moscow_ml/paulson/sample.sml
+share/examples/moscow_ml/paulson/sample10.sml
+share/examples/moscow_ml/paulson/sample2.sml
+share/examples/moscow_ml/paulson/sample3.sml
+share/examples/moscow_ml/paulson/sample4.sml
+share/examples/moscow_ml/paulson/sample5.sml
+share/examples/moscow_ml/paulson/sample7.sml
+share/examples/moscow_ml/paulson/sample8.sml
+share/examples/moscow_ml/paulson/sample9.sml
+share/examples/moscow_ml/paulson/test10.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/pretty/pproman.sml
share/examples/moscow_ml/small/README
share/examples/moscow_ml/small/countperms.sml
share/examples/moscow_ml/small/countqueens.sml
@@ -361,6 +433,16 @@ share/examples/moscow_ml/small/queens.sml
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/units/Evaluate.sig
+share/examples/moscow_ml/units/Evaluate.sm
+share/examples/moscow_ml/units/Evaluate.sml
+share/examples/moscow_ml/units/Expr.sml
+share/examples/moscow_ml/units/Makefile
+share/examples/moscow_ml/units/Makefile.w32
+share/examples/moscow_ml/units/Reduce.sig
+share/examples/moscow_ml/units/Reduce.sml
+share/examples/moscow_ml/units/Test.sml
+share/examples/moscow_ml/units/load
share/examples/moscow_ml/weak/Makefile
share/examples/moscow_ml/weak/Makefile.w32
share/examples/moscow_ml/weak/README
@@ -371,20 +453,23 @@ 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
-@dirrm share/doc/moscow_ml
-@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/webserver
+@dirrm share/examples/moscow_ml/weak
+@dirrm share/examples/moscow_ml/units
+@dirrm share/examples/moscow_ml/small
+@dirrm share/examples/moscow_ml/pretty
+@dirrm share/examples/moscow_ml/paulson
+@dirrm share/examples/moscow_ml/parsercomb
+@dirrm share/examples/moscow_ml/modules
+@dirrm share/examples/moscow_ml/mls
+@dirrm share/examples/moscow_ml/manual
@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/small
-@dirrm share/examples/moscow_ml/weak
-@dirrm share/examples/moscow_ml/webserver
+@dirrm share/examples/moscow_ml/cgi
+@dirrm share/examples/moscow_ml/calc
@dirrm share/examples/moscow_ml
+@dirrm share/doc/moscow_ml/mosmllib
+@dirrm share/doc/moscow_ml
+@dirrm libexec/moscow_ml
+@dirrm lib/moscow_ml
+@dirrm include/moscow_ml