[m-dev.] Problems building on Cygwin

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

On Fri, 12 Jun 2009, Julien Fischer wrote:

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

Furthermore, the problem appears to be with the source dist, i.e. it's
not Cygwin specific.

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