Nice. I assume that you can now build a usable C-Reduce on Windows?
Have you tested that all passes appear to work as intended?
Anything else on your TODO list, Eric?
John
On 7/5/13 1:45 PM, Eric Eide wrote:
>> In the meantime, maybe we Utah folks can make Sys::CPU a conditional
>> dependency in the code, to make life easier for Cygwin users.
I implemented this today.
(Also related to this thread, people may have noticed that yesterday I
implememented a configure-time LLVM version check for LLVM 3.3+. This should
result in better configure-time error messages when one tries to configure
C-Reduce with a version of LLVM that is too old.)
Eric.
