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