<br><br><div class="gmail_quote">On Fri, Sep 10, 2010 at 17:38, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></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;">
<div><div></div><div class="h5">On Fri, Sep 10, 2010 at 10:18 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br>
><br>
><br>
> On Fri, Sep 10, 2010 at 17:06, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br>
>><br>
>><br>
>> On Fri, Sep 10, 2010 at 16:43, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>><br>
>> wrote:<br>
>>><br>
>>> On Fri, Sep 10, 2010 at 10:34 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>><br>
>>> wrote:<br>
>>> ><br>
>>> > So now, how do I make things work with `dynamic-require' ?<br>
>>> > Do all paths need to be defined as runtime-paths in my "splash.rkt",<br>
>>> > to use only normal relative paths in dynamically required files?<br>
>>> > Or can I get completely rid of runtime-path?<br>
>>><br>
>>> I believe that you should add:<br>
>>><br>
>>> (define-runtime-module-path name require-path)<br>
>>><br>
><br>
> One caveat though: since such modules sub-dependencies are not "files"<br>
> anymore,<br>
> framework/splash won't recognize them, and then gauge in the splashscreen<br>
> will not<br>
> animate smoothly but will be binary.<br>
<br>
</div></div>I think the splash doesn't animate anymore because the files are<br>
already loaded by define-runtime-module-path.<br>
<font color="#888888"><br></font></blockquote><div><br>Is there a way around this?<br><br>Or does this mean DrRacket does not use define-runtime-module-path?<br> <br></div></div><br>