[m-dev.] Problems building on Cygwin

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Jun 12 17:10:58 AEST 2009

On Fri, 12 Jun 2009, Paul Bone wrote:

> On Thu, Jun 11, 2009 at 09:57:12PM +0400, Sergey Khorev wrote:
>> Hi,
>> I'm trying to build the latest rotd on Cygwin.
>> configure says that .c files are up to date:
>> 	checking whether any C files need to be rebuilt...
>> 	no - they are compatible with autoconfigured settings
>> but for some reason make tries to rebuild files in library directory (see
>> log below). Any clue what might be wrong and what should be checked? Btw
>> it tries to rebuild files with --mercury-linkage shared.


> It looks like you've typed "make depend".  When building from the source
> distribution you don't need to do this, it is only used to determine the
> mercury build dependencies.  Since the source distributions contain
> intermediate C files this information isn't used.

No, it isn't that because it's doing the same thing for me on Cygwin.
There appears to be a problem with the source distribution, at least on

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

More information about the developers mailing list