[gambit-list] gcc.exe: error: _io.c: No such file or directory [Latest MinGW on Win7 x64]

Marc Feeley feeley at iro.umontreal.ca
Tue Apr 16 17:28:19 EDT 2013


On 2013-04-16, at 5:16 PM, Ralph Moritz <ralph.moeritz at outlook.com> wrote:

> On Tue, 16 Apr 2013 23:02:01 +0200, Marc Feeley <feeley at iro.umontreal.ca> wrote:
> 
>>>>> Thank you very much, `make' now completes without error. I'm not sure if
>>>>> it's anything to worry about, but `make check' wrote the following to
>>>>> stderr at the end of its run:
>>>>> 
>>>>>  make[1]: *** [test1] Error 1
>>>>>  make: *** [check] Error 2
>>>>> 
>>>>> Is this something to be concerned about?
>>>> 
>>>> Perhaps.  Can you send me the output of the "make check".  It runs fine on my MinGW installation.
>>> 
>>> When I run `make check' the file `tests/test1.out' is created. This file is
>>> identical to `tests/test1.ok' according to diff, so I'm not sure there's
>>> any value in sending it.
>> 
>> Are the files the same length?  Maybe it is a difference in the end-of-line encoding (lf vs. cr-lf).
> 
> Yep, differences are in end-of-line encoding, probably due to my git settings. Didn't catch it because I ran diff as `diff -qw test1.ok test1.out'.

I don't understand however why your setup detects a difference and I don't.  The calls to "diff" are the same (unless diff uses some environment variables to control its end-of-line behavior, and you have some non-default setting).  I hesitate to change the tests/makefile to call "diff -w" because that might let some non-end-of-line related whitespace differences pass silently.

Marc




More information about the Gambit-list mailing list