<div><br></div>To be clear, we don't have any steps between sync in perforce and running racket. This is for "end" users who don't edit or compile source. It is also part of a toolchain where Racket is just one optional piece and so we can't really spare the time to build zos at this particular point. We really do need to distribute a package that is ready to run.<div>
<br></div><div>Perforce is our method for distributing a lot of other stuff already so adding a new method is not trivial. Storing things centrally is a nice approach but as I brought up in my last thread it is prohibitively slow.</div>
<div><br></div><div>It's sounding like my best approach is to put together a collects path that contains just .zo files and also put together some sort of build automation to create that tree. That would arrange updating and distribution that would fit in our environment. (and if that tree could be archived into 1 or few file(s) I'd be in hog heaven)</div>
<div><br></div><div>Thank you guys for your time and effort on this.</div><div><br></div><div>Dan<br><br><div class="gmail_quote">On Tue, Oct 16, 2012 at 12:23 PM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Tue, 16 Oct 2012 14:04:32 -0500, Robby Findler wrote:<br>
> Besides what Eli says, another approach is to run 'raco setup -Dxi'<br>
> after getting things out of perforce. That uses hashes for the files<br>
> to determine what to compile (so nothing will get compiled if the zos<br>
> are actually right), but it updates the timestamps (so racket won't<br>
> get confused).<br>
<br>
</div>I think that's a good option.<br>
<br>
I think it's fine to omit ".rkt" files and ".dep" files, in which case<br>
timestamps on ".zo" files don't matter.<br>
<br>
(You could also keep ".dep" files along with ".zo" files, in which case<br>
timestamps still don't matter, but that doesn't seem useful.)<br>
<br>
</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>