For what it's worth: Today I built and ran C-Reduce atop Windows 7 and Cygwin.
It works (yay!), but it is *VERY VERY SLOW* (boo!).
On a fairly beefy machine, it took a little more that 12 hours to run the first
test of the C-Reduce smoke tests ("test0" in the `tests' directory).
I was reminded today that the `fork' syscall is very inefficient under Cygwin.
C-Reduce creates a lot of processes as part of generating and testing program
variants, and I would speculate that slow `fork' is a big reason why C-Reduce
ran poorly under Cygwin for me. (I did not make a serious effort to diagnose
the performance problem I was seeing.)
The bottom line: C-Reduce can be made to work under Cygwin, but I do not
recommend it! It is much too slow for real work.
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
