<!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>