[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
Cygwin.

Julien.
--------------------------------------------------------------------------
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