It seems like the timestamps among just the .zo and .dep files will cause us issues as well due to how Perforce works. When you sync, Perforce sets the timestamp of the file to the time of sync. If I sync all of a Racket distribution my file timestamps will not be coherent from Racket&#39;s point of view, right?<div>
<br></div><div>As far as I can tell, one of these things must change for our setup to be reliable:</div><div><br></div><div>- use of precompilation (going without .zos entirely should eliminate this problem)</div><div>- use of Perforce; with proper timestamps Racket will not complain</div>
<div>- the compilation manager; if we change the default implementation to ignore timestamps and just go by file existence we should be ok</div><div><br></div><div>Does this sound like an accurate assessment?</div><div><br>
</div><div>Thanks,</div><div>Dan</div><div><br></div><div>On Mon, Oct 15, 2012 at 7:01 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Oct 15, 2012 at 7:59 PM, Dan Liebgold &lt;<a href="mailto:dan.liebgold@gmail.com">dan.liebgold@gmail.com</a>&gt; wrote:<br>

&gt; On Mon, Oct 15, 2012 at 5:23 PM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; Is there any chance that the &quot;.zo&quot; file timestamps became earlier than<br>
&gt;&gt; the &quot;.rkt&quot; timestamps on end-users&#39; machines?<br>
&gt;&gt;<br>
&gt;<br>
&gt; Yes that is possible... we&#39;re distributing using Perforce, which timestamps<br>
&gt; files at the time of syncing. Would that give the result I&#39;m seeing?<br>
&gt;<br>
&gt; I&#39;m guessing I should supply a custom compile-manager to ignore rkt files.<br>
&gt; This is certainly a case where we would like to only care about .zos.<br>
<br>
</div>You could just omit the source files, if you really don&#39;t care about<br>
them being there.<br>
<span class="HOEnZb"><font color="#888888"><br>
Robby<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br>Dan Liebgold    [<a href="mailto:dan.liebgold@gmail.com">dan.liebgold@gmail.com</a>]<br>
</div>