<br><br><div class="gmail_quote">On Fri, Sep 10, 2010 at 19:01, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

I&#39;ve been planning to add something like `define-runtime-module-path&#39;<br>
that does not require the module but that causes all of its<br>
dependencies to be included in an executable. I&#39;ll move that up on my<br>
list of things to do.<br></blockquote><div><br>Excellent!<br>May I ask you to  inform me when/if that is done?<br>Thanks a lot, thank you all for your answers.<br>Laurent<br><br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">


<div><div></div><div class="h5"><br>
At Fri, 10 Sep 2010 11:02:59 -0500, Robby Findler wrote:<br>
&gt; DrRacket does not, that&#39;s right. I think you&#39;d have to do something to<br>
&gt; tell your distribution packer about the dynamically required files<br>
&gt; from the outside, I&#39;m sorry to say.<br>
&gt;<br>
&gt; AT least I don&#39;t see a better way, but maybe others do.<br>
&gt;<br>
&gt; Robby<br>
&gt;<br>
&gt; On Fri, Sep 10, 2010 at 10:41 AM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt; wrote:<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt; On Fri, Sep 10, 2010 at 17:38, Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;<br>
&gt; &gt; wrote:<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; On Fri, Sep 10, 2010 at 10:18 AM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt;<br>
&gt; &gt;&gt; wrote:<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; On Fri, Sep 10, 2010 at 17:06, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt; wrote:<br>
&gt; &gt;&gt; &gt;&gt;<br>
&gt; &gt;&gt; &gt;&gt;<br>
&gt; &gt;&gt; &gt;&gt; On Fri, Sep 10, 2010 at 16:43, Sam Tobin-Hochstadt &lt;<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>&gt;<br>
&gt; &gt;&gt; &gt;&gt; wrote:<br>
&gt; &gt;&gt; &gt;&gt;&gt;<br>
&gt; &gt;&gt; &gt;&gt;&gt; On Fri, Sep 10, 2010 at 10:34 AM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt;<br>
&gt; &gt;&gt; &gt;&gt;&gt; wrote:<br>
&gt; &gt;&gt; &gt;&gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt;&gt;&gt; &gt; So now, how do I make things work with `dynamic-require&#39; ?<br>
&gt; &gt;&gt; &gt;&gt;&gt; &gt; Do all paths need to be defined as runtime-paths in my &quot;splash.rkt&quot;,<br>
&gt; &gt;&gt; &gt;&gt;&gt; &gt; to use only normal relative paths in dynamically required files?<br>
&gt; &gt;&gt; &gt;&gt;&gt; &gt; Or can I get completely rid of runtime-path?<br>
&gt; &gt;&gt; &gt;&gt;&gt;<br>
&gt; &gt;&gt; &gt;&gt;&gt; I believe that you should add:<br>
&gt; &gt;&gt; &gt;&gt;&gt;<br>
&gt; &gt;&gt; &gt;&gt;&gt; (define-runtime-module-path name require-path)<br>
&gt; &gt;&gt; &gt;&gt;&gt;<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; One caveat though:  since such modules sub-dependencies are not &quot;files&quot;<br>
&gt; &gt;&gt; &gt; anymore,<br>
&gt; &gt;&gt; &gt; framework/splash won&#39;t recognize them, and then gauge in the<br>
&gt; &gt;&gt; &gt; splashscreen<br>
&gt; &gt;&gt; &gt; will not<br>
&gt; &gt;&gt; &gt; animate smoothly but will be binary.<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; I think the splash doesn&#39;t animate anymore because the files are<br>
&gt; &gt;&gt; already loaded by define-runtime-module-path.<br>
&gt; &gt;&gt;<br>
&gt; &gt;<br>
&gt; &gt; Is there a way around this?<br>
&gt; &gt;<br>
&gt; &gt; Or does this mean DrRacket does not use define-runtime-module-path?<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt;<br>
</div></div>&gt; _________________________________________________<br>
&gt;   For list-related administrative tasks:<br>
&gt;   <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
</blockquote></div><br>