<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#000066">
Robby Findler wrote:
<blockquote
 cite="mid932b2f1f0705070949o7c77b25en4c2c9575bc86fd21@mail.gmail.com"
 type="cite">That will work (but you don't need "-install" just
"install" and you
  <br>
don't need to run setup-plt, "make install" does that for you), but
  <br>
won't re-use any of the binaries. If instead, you did this:
  <br>
  <br>
 cd /source/pltosx
  <br>
 make
  <br>
 make install
  <br>
  <br>
you'd re-use the binaries.
  <br>
  <br>
Officially, this isn't supported because the dependency tracking in
  <br>
the source tree is complex and not quite right. But, in practice, it
  <br>
works 90% of the time. It won't work when any of the makefiles change
  <br>
or when configure changes. If it doesn't work, you can just do the
  <br>
below.
  <br>
  <br>
Your preferences file won't be affected. DrScheme uses the same one,
  <br>
regardless of the build directories or the version of DrScheme (a few
  <br>
preferences, like the language setting, are version-specific, tho).
  <br>
  <br>
hth,
  <br>
Robby
  <br>
  <br>
</blockquote>
Thanks for the tip Robby,<br>
<br>
Everything went smoothly and quickly.<br>
<pre class="moz-signature" cols="72">
--kyle

Kyle Smith
airfoil at bellsouth dot net
schemekeys.blogspot.com
</pre>
</body>
</html>