[m-rev.] diff: spurious `mercury' directories

[Peter Wang]

2009/6/15 Julien Fischer <juliensf at csse.unimelb.edu.au>:
>
> On Mon, 15 Jun 2009, Peter Wang wrote:
>
>> Branches: main
>>
>> compiler/file_names.m:
>>       Make module_name_to_file_name not create mercury/* package
>> directories
>>       for Java unless the MkDir argument says to do so.  Even if you
>> wouldn't
>>       be using the java grade, when writing out dependencies the package
>>       directories would be created.  On case-insensitive filesystems, the
>>       `mercury' directory would be confused with the `Mercury' directory.
>
> Are you still intending to require the use of mmc --make with the Java
> backend or does this change render that unnecessary?

It's unnecessary for now.  But if mmake support happens to break further..

Peter
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------