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

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Jun 15 17:58:28 AEST 2009

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?

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

More information about the reviews mailing list