diff options
38 files changed, 217 insertions, 0 deletions
diff --git a/camlp4/Camlp4.mlpack b/camlp4/Camlp4.mlpack new file mode 100644 index 000000000..cc38b119e --- /dev/null +++ b/camlp4/Camlp4.mlpack @@ -0,0 +1,9 @@ +Debug +ErrorHandler +OCamlInitSyntax +Options +PreCast +Printers +Register +Sig +Struct diff --git a/camlp4/Camlp4/Printers.mlpack b/camlp4/Camlp4/Printers.mlpack new file mode 100644 index 000000000..9e593a753 --- /dev/null +++ b/camlp4/Camlp4/Printers.mlpack @@ -0,0 +1,5 @@ +DumpCamlp4Ast +DumpOCamlAst +Null +OCaml +OCamlr diff --git a/camlp4/Camlp4/Struct.mlpack b/camlp4/Camlp4/Struct.mlpack new file mode 100644 index 000000000..bd8c40a1e --- /dev/null +++ b/camlp4/Camlp4/Struct.mlpack @@ -0,0 +1,15 @@ +AstFilters +Camlp4Ast +Camlp4Ast2OCamlAst +CleanAst +CommentFilter +DynLoader +EmptyError +EmptyPrinter +FreeVars +Lexer +Loc +Quotation +Token +Warning +Grammar diff --git a/camlp4/Camlp4/Struct/Grammar.mlpack b/camlp4/Camlp4/Struct/Grammar.mlpack new file mode 100644 index 000000000..23c342940 --- /dev/null +++ b/camlp4/Camlp4/Struct/Grammar.mlpack @@ -0,0 +1,14 @@ +Context +Delete +Dynamic +Entry +Failed +Find +Fold +Insert +Parser +Print +Search +Static +Structure +Tools diff --git a/camlp4/Camlp4Top.mlpack b/camlp4/Camlp4Top.mlpack new file mode 100644 index 000000000..d3560fbba --- /dev/null +++ b/camlp4/Camlp4Top.mlpack @@ -0,0 +1,2 @@ +Top +Rprint diff --git a/camlp4/camlp4lib.mllib b/camlp4/camlp4lib.mllib new file mode 100644 index 000000000..bf5b50f39 --- /dev/null +++ b/camlp4/camlp4lib.mllib @@ -0,0 +1,9 @@ +Camlp4 +Linenum +Misc +Warnings +Location +Config +Camlp4_config +Myocamlbuild_config +Longident diff --git a/otherlibs/bigarray/dllbigarray.dlib b/otherlibs/bigarray/dllbigarray.dlib new file mode 100644 index 000000000..5ab811729 --- /dev/null +++ b/otherlibs/bigarray/dllbigarray.dlib @@ -0,0 +1 @@ +bigarray_stubs.d.o mmap_win32.d.o diff --git a/otherlibs/bigarray/libbigarray.clib b/otherlibs/bigarray/libbigarray.clib new file mode 100644 index 000000000..4dc96a4f6 --- /dev/null +++ b/otherlibs/bigarray/libbigarray.clib @@ -0,0 +1 @@ +bigarray_stubs.o mmap_unix.o diff --git a/otherlibs/bigarray/libbigarraywin32.clib b/otherlibs/bigarray/libbigarraywin32.clib new file mode 100644 index 000000000..16661bb80 --- /dev/null +++ b/otherlibs/bigarray/libbigarraywin32.clib @@ -0,0 +1 @@ +bigarray_stubs.o mmap_win32.o diff --git a/otherlibs/dbm/libmldbm.clib b/otherlibs/dbm/libmldbm.clib new file mode 100644 index 000000000..3a63b870d --- /dev/null +++ b/otherlibs/dbm/libmldbm.clib @@ -0,0 +1 @@ +cldbm.o diff --git a/otherlibs/dynlink/dynlinkaux.mlpack b/otherlibs/dynlink/dynlinkaux.mlpack new file mode 100644 index 000000000..783e624af --- /dev/null +++ b/otherlibs/dynlink/dynlinkaux.mlpack @@ -0,0 +1,5 @@ +Misc Config Clflags Tbl Consistbl +Terminfo Warnings Asttypes Linenum Location Longident +Ident Path Primitive Types Btype Subst Predef +Datarepr Env Lambda Instruct Cmo_format Opcodes +Runtimedef Bytesections Dll Meta Symtable diff --git a/otherlibs/graph/graphics.mllib b/otherlibs/graph/graphics.mllib new file mode 100644 index 000000000..d5e8f9ebe --- /dev/null +++ b/otherlibs/graph/graphics.mllib @@ -0,0 +1 @@ +Graphics GraphicsX11 diff --git a/otherlibs/graph/libgraphics.clib b/otherlibs/graph/libgraphics.clib new file mode 100644 index 000000000..d3b5b7b69 --- /dev/null +++ b/otherlibs/graph/libgraphics.clib @@ -0,0 +1,3 @@ +open.o draw.o fill.o color.o text.o +image.o make_img.o dump_img.o point_col.o sound.o events.o +subwindow.o diff --git a/otherlibs/labltk/browser/jglib.mllib b/otherlibs/labltk/browser/jglib.mllib new file mode 100644 index 000000000..5c254ff55 --- /dev/null +++ b/otherlibs/labltk/browser/jglib.mllib @@ -0,0 +1,13 @@ +Jg_tk +Jg_config +Jg_bind +Jg_completion +Jg_box +Jg_button +Jg_toplevel +Jg_text +Jg_message +Jg_menu +Jg_entry +Jg_multibox +Jg_memo diff --git a/otherlibs/labltk/frx/frxlib.mllib b/otherlibs/labltk/frx/frxlib.mllib new file mode 100644 index 000000000..3641ae5f2 --- /dev/null +++ b/otherlibs/labltk/frx/frxlib.mllib @@ -0,0 +1,4 @@ +Frx_misc Frx_widget Frx_font Frx_entry Frx_text +Frx_listbox Frx_req Frx_fillbox Frx_focus +Frx_dialog Frx_mem Frx_rpc Frx_synth Frx_selection +Frx_after Frx_fit Frx_ctext Frx_color diff --git a/otherlibs/labltk/jpf/jpflib.mllib b/otherlibs/labltk/jpf/jpflib.mllib new file mode 100644 index 000000000..6a04d1474 --- /dev/null +++ b/otherlibs/labltk/jpf/jpflib.mllib @@ -0,0 +1 @@ +Fileselect Balloon Shell Jpf_font diff --git a/otherlibs/labltk/support/liblabltk.clib b/otherlibs/labltk/support/liblabltk.clib new file mode 100644 index 000000000..0a127dc96 --- /dev/null +++ b/otherlibs/labltk/support/liblabltk.clib @@ -0,0 +1,2 @@ +cltkCaml.o cltkUtf.o cltkEval.o cltkEvent.o cltkFile.o cltkMain.o +cltkMisc.o cltkTimer.o cltkVar.o cltkWait.o cltkImg.o diff --git a/otherlibs/labltk/tkanim/libtkanim.clib b/otherlibs/labltk/tkanim/libtkanim.clib new file mode 100644 index 000000000..0db9d1690 --- /dev/null +++ b/otherlibs/labltk/tkanim/libtkanim.clib @@ -0,0 +1 @@ +cltkaniminit.o tkAnimGIF.o diff --git a/otherlibs/num/dllnums.dlib b/otherlibs/num/dllnums.dlib new file mode 100644 index 000000000..e54aa8e24 --- /dev/null +++ b/otherlibs/num/dllnums.dlib @@ -0,0 +1 @@ +bng.d.o nat_stubs.d.o diff --git a/otherlibs/num/libnums.clib b/otherlibs/num/libnums.clib new file mode 100644 index 000000000..47c751f5e --- /dev/null +++ b/otherlibs/num/libnums.clib @@ -0,0 +1 @@ +bng.o nat_stubs.o diff --git a/otherlibs/num/nums.mllib b/otherlibs/num/nums.mllib new file mode 100644 index 000000000..8db168386 --- /dev/null +++ b/otherlibs/num/nums.mllib @@ -0,0 +1 @@ +Int_misc Nat Big_int Arith_flags Ratio Num Arith_status diff --git a/otherlibs/str/dllstr.dlib b/otherlibs/str/dllstr.dlib new file mode 100644 index 000000000..0c346262f --- /dev/null +++ b/otherlibs/str/dllstr.dlib @@ -0,0 +1 @@ +strstubs.d.o diff --git a/otherlibs/str/libstr.clib b/otherlibs/str/libstr.clib new file mode 100644 index 000000000..319e76017 --- /dev/null +++ b/otherlibs/str/libstr.clib @@ -0,0 +1 @@ +strstubs.o diff --git a/otherlibs/systhreads/dllthreads.dlib b/otherlibs/systhreads/dllthreads.dlib new file mode 100644 index 000000000..40686f641 --- /dev/null +++ b/otherlibs/systhreads/dllthreads.dlib @@ -0,0 +1 @@ +win32_b.d.o diff --git a/otherlibs/systhreads/libthreads.clib b/otherlibs/systhreads/libthreads.clib new file mode 100644 index 000000000..111ec5ae2 --- /dev/null +++ b/otherlibs/systhreads/libthreads.clib @@ -0,0 +1 @@ +posix_b.o diff --git a/otherlibs/systhreads/libthreadswin32.clib b/otherlibs/systhreads/libthreadswin32.clib new file mode 100644 index 000000000..51b11a2da --- /dev/null +++ b/otherlibs/systhreads/libthreadswin32.clib @@ -0,0 +1 @@ +win32_b.o diff --git a/otherlibs/systhreads/threads.mllib b/otherlibs/systhreads/threads.mllib new file mode 100644 index 000000000..3ff8841bd --- /dev/null +++ b/otherlibs/systhreads/threads.mllib @@ -0,0 +1 @@ +Thread Mutex Condition Event ThreadUnix diff --git a/otherlibs/threads/libvmthreads.clib b/otherlibs/threads/libvmthreads.clib new file mode 100644 index 000000000..0b4f31e52 --- /dev/null +++ b/otherlibs/threads/libvmthreads.clib @@ -0,0 +1 @@ +scheduler.o diff --git a/otherlibs/threads/threads.mllib b/otherlibs/threads/threads.mllib new file mode 100644 index 000000000..3ff8841bd --- /dev/null +++ b/otherlibs/threads/threads.mllib @@ -0,0 +1 @@ +Thread Mutex Condition Event ThreadUnix diff --git a/otherlibs/threads/unix.mllib b/otherlibs/threads/unix.mllib new file mode 100644 index 000000000..8d569c56d --- /dev/null +++ b/otherlibs/threads/unix.mllib @@ -0,0 +1 @@ +Unix UnixLabels diff --git a/otherlibs/unix/libunix.clib b/otherlibs/unix/libunix.clib new file mode 100644 index 000000000..e6ce2d525 --- /dev/null +++ b/otherlibs/unix/libunix.clib @@ -0,0 +1,16 @@ +accept.o access.o addrofstr.o alarm.o bind.o chdir.o chmod.o +chown.o chroot.o close.o closedir.o connect.o cst2constr.o cstringv.o +dup.o dup2.o envir.o errmsg.o execv.o execve.o execvp.o exit.o +fchmod.o fchown.o fcntl.o fork.o ftruncate.o +getaddrinfo.o getcwd.o getegid.o geteuid.o getgid.o +getgr.o getgroups.o gethost.o gethostname.o getlogin.o +getnameinfo.o getpeername.o getpid.o getppid.o getproto.o getpw.o +gettimeofday.o getserv.o getsockname.o getuid.o +gmtime.o isatty.o itimer.o kill.o link.o listen.o lockf.o lseek.o mkdir.o +mkfifo.o nice.o open.o opendir.o pipe.o putenv.o read.o +readdir.o readlink.o rename.o rewinddir.o rmdir.o select.o sendrecv.o +setgid.o setsid.o setuid.o shutdown.o signals.o +sleep.o socket.o socketaddr.o +socketpair.o sockopt.o stat.o strofaddr.o symlink.o termios.o +time.o times.o truncate.o umask.o unixsupport.o unlink.o +utimes.o wait.o write.o diff --git a/otherlibs/unix/unix.mllib b/otherlibs/unix/unix.mllib new file mode 100644 index 000000000..8d569c56d --- /dev/null +++ b/otherlibs/unix/unix.mllib @@ -0,0 +1 @@ +Unix UnixLabels diff --git a/otherlibs/win32graph/dllgraphics.dlib b/otherlibs/win32graph/dllgraphics.dlib new file mode 100644 index 000000000..ab0ba91b4 --- /dev/null +++ b/otherlibs/win32graph/dllgraphics.dlib @@ -0,0 +1 @@ +open.d.o draw.d.o events.d.o dib.d.o diff --git a/otherlibs/win32graph/libgraphics.clib b/otherlibs/win32graph/libgraphics.clib new file mode 100644 index 000000000..5084c973c --- /dev/null +++ b/otherlibs/win32graph/libgraphics.clib @@ -0,0 +1 @@ +open.o draw.o events.o dib.o diff --git a/otherlibs/win32unix/dllunix.dlib b/otherlibs/win32unix/dllunix.dlib new file mode 100644 index 000000000..01ffc59e6 --- /dev/null +++ b/otherlibs/win32unix/dllunix.dlib @@ -0,0 +1,16 @@ +# Files in this directory +accept.d.o bind.d.o channels.d.o close.d.o +close_on.d.o connect.d.o createprocess.d.o dup.d.o dup2.d.o errmsg.d.o +getpeername.d.o getpid.d.o getsockname.d.o gettimeofday.d.o +link.d.o listen.d.o lockf.d.o lseek.d.o nonblock.d.o +mkdir.d.o open.d.o pipe.d.o read.d.o rename.d.o +select.d.o sendrecv.d.o +shutdown.d.o sleep.d.o socket.d.o sockopt.d.o startup.d.o stat.d.o +system.d.o unixsupport.d.o windir.d.o winwait.d.o write.d.o + +# Files from the ../unix directory +access.d.o addrofstr.d.o chdir.d.o chmod.d.o cst2constr.d.o +cstringv.d.o envir.d.o execv.d.o execve.d.o execvp.d.o +exit.d.o getcwd.d.o gethost.d.o gethostname.d.o getproto.d.o +getserv.d.o gmtime.d.o putenv.d.o rmdir.d.o +socketaddr.d.o strofaddr.d.o time.d.o unlink.d.o utimes.d.o diff --git a/otherlibs/win32unix/libunix.clib b/otherlibs/win32unix/libunix.clib new file mode 100644 index 000000000..29b8d6e68 --- /dev/null +++ b/otherlibs/win32unix/libunix.clib @@ -0,0 +1,16 @@ +# Files in this directory +accept.o bind.o channels.o close.o +close_on.o connect.o createprocess.o dup.o dup2.o errmsg.o +getpeername.o getpid.o getsockname.o gettimeofday.o +link.o listen.o lockf.o lseek.o nonblock.o +mkdir.o open.o pipe.o read.o rename.o +select.o sendrecv.o +shutdown.o sleep.o socket.o sockopt.o startup.o stat.o +system.o unixsupport.o windir.o winwait.o write.o + +# Files from the ../unix directory +access.o addrofstr.o chdir.o chmod.o cst2constr.o +cstringv.o envir.o execv.o execve.o execvp.o +exit.o getcwd.o gethost.o gethostname.o getproto.o +getserv.o gmtime.o putenv.o rmdir.o +socketaddr.o strofaddr.o time.o unlink.o utimes.o diff --git a/stdlib/stdlib.mllib b/stdlib/stdlib.mllib new file mode 100644 index 000000000..b3c6924f5 --- /dev/null +++ b/stdlib/stdlib.mllib @@ -0,0 +1,47 @@ +# This file lists all standard library modules. +# It is used in particular to know what to expunge in toplevels. +# $Id$ + +Pervasives +Arg +Array +ArrayLabels +Buffer +Callback +CamlinternalMod +CamlinternalOO +Char +Complex +Digest +Filename +Format +Gc +Genlex +Hashtbl +Int32 +Int64 +Lazy +Lexing +List +ListLabels +Map +Marshal +MoreLabels +Nativeint +Obj +Oo +Parsing +Printexc +Printf +Queue +Random +Scanf +Set +Sort +Stack +StdLabels +Stream +String +StringLabels +Sys +Weak diff --git a/toplevel/toplevellib.mllib b/toplevel/toplevellib.mllib new file mode 100644 index 000000000..906aeb433 --- /dev/null +++ b/toplevel/toplevellib.mllib @@ -0,0 +1,19 @@ +Myocamlbuild_config +Misc Tbl Config Clflags Terminfo Ccomp Warnings Consistbl + +Linenum Location Longident Syntaxerr Parser +Lexer Parse Printast + +Unused_var Ident Path Primitive Types +Btype Oprint Subst Predef Datarepr Env +Typedtree Ctype Printtyp Includeclass Mtype Includecore +Includemod Parmatch Typetexp Stypes Typecore +Typedecl Typeclass Typemod + +Lambda Printlambda Typeopt Switch Matching Translobj Translcore +Translclass Translmod Simplif Runtimedef + +Meta Instruct Bytegen Printinstr Opcodes Emitcode +Bytesections Dll Symtable Bytelink Bytelibrarian Bytepackager + +Pparse Errors Compile Genprintval Toploop Trace Topdirs Topmain |