ame
./lib folder.</em>  <br /><br />

The configuration script generates a file called "Makefile.config". You are
welcome to review and edit it, but keep in mind it will be overwritten with
each execution of configure.sh.
</li>

<li> Step 3 will have stated which of the libraries CamlZip, PTrees, or ExtLib
needed to be compiled and installed. For each of those required, run the
following commands:
<dl>
  <dd><span class="code">make LIBRARYNAME</span></dd>
  <dd><span class="code">make installLIBRARYNAME</sp