<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">
<p><span style="font-size: 12pt;">Propose:</span><br>
</p>
<div id="Signature">
<div><br>
</div>
<div>-no-m3ship-resolution be the default and only option</div>
<div> Accept and ignore it, always doing what it implies.</div>
<div> </div>
<div><br>
</div>
<div>Specifically:</div>
<div>1) when you ship right after building, the resolutions occurs just after it would have.</div>
<div>2) Is there any advantage to the old behavior?</div>
<div> Does it allow some easier bootstrapping across machines that have the same file</div>
<div> system layout, but which somehow can't correctly resolve at ship time??</div>
<div><br>
</div>
<div>Olaf added this switch a few years ago.</div>
<div>I believe it enabled distribution across across machines right before shipping.</div>
<div><br>
</div>
<div>Basically, probably few people realize this, but cm3 reproduces many many parts of build systems.</div>
<div>If you view the traditional build system as configure && make && make install.</div>
<div> 1. configure is built in hardcoded for a few platforms (not great)</div>
<div> 2. make == cm3</div>
<div> 3. cm3 -ship == make install</div>
<div><br>
</div>
<div>But by default, step #2 actually generates "install scripts" so that #3 has a bit less to do -- it just runs generated quake.</div>
<div><br>
</div>
<div>What Olaf's switch does, is still generate about the same quake, but paths remain starting with a symbolic prefix instead of full hardcoded paths.</div>
<div>I really don't see any reason to favor the old behavior.</div>
<div>Again, I propose the old behavior be removed, the switch be accepted and ignored for compatibility, and the new behavior be the only one remaining.</div>
<div><br>
</div>
<div><br>
</div>
<div> - Jay</div>
<br>
</div>
</div>
</body>
</html>