merging changes from private branch

  make file for ppc linux

  Removed obsolete -DVREGS flag.

added conditional compilation in init library; BOOTFILES

bring revisions from the vendor branch to the trunk

- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

This commit was generated by cvs2svn to compensate for changes in r439,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r249,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r243,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r239,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r235,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r223,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r141,
which included commits to RCS files with non-trunk default branches.

merged in 110.6 changes

This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Initial revision

Initial revision