[Ur] Library Dependencies

[Adam Chlipala]

Have you seen the 'library' .urp directive?  Maybe you meant for it to 
be implied below.

About the question of who-references-who: I suggest having each piece 
reference all dependencies in its .urp file.  The 'path' directive can 
be useful for allowing project-level configuration of library paths, 
while still allowing each library to state its dependencies 
unambiguously.  Each library references dependencies via symbolic names, 
and the final project assigns values to those names.

On 05/22/2013 02:18 AM, David Snider wrote:
> Let's say I'm creating a high-level library that depends on two lower 
> level libraries bootstrap and gui.
>
> Should I reference
>
> ../bootstrap
> ../gui
>
> in lib.urp
>
> or include the low-level libraries into my high level library like
>
> /bootstrap
> /gui