Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-20 20:59:16 -0800 (Fri, 20 Jan 2006)
Revision: 8545
Log message:

      The new patch for check OCaml versions was breaking because
      the installation in the $(INSTALL_DIR) has a different shape
      than $(MP_ROOT).  In particular it was $(INSTALL_DIR)/lib/mk
      vs $(MP_ROOT)/mk.
      
      Since this is a general headache, I readjusted mp.install to use the
      following dirs:
         lib bin export/mk export/theories
      and installed into $(INSTALL_DIR)/
         lib bin mk theories
      
      Also:
         - Fixed THEORYPATH, it should include $(INSTALL_DIR)/theories,
           not $(INSTALL_DIR).
      
         - Removed READONLY theories from the set of build directories.
      
      IMHO, we should "clean" the lib/ directory so it does not contain
      any real files (right now it contains just the lib/words file).
      This would make our clean scripts easier.  In fact, ideally,
      we would remove lib/ and bin/ from svn entirely.
      
      I think that this would just require a change to OCaml.om, where
      OCamlLibraryCopy files would depend on $(LIB), etc.  This would usually
      have no effect, but users could define a rule that would mkdir the $(LIB)
      and $(BIN) directories it if they do not exist.