Well, it's took me several attempts (including a install og cygwin on my Windows 7 PC at home because "memory exhaust" error by LLVM and clang make - where a build for 'Release' was the only thing needed) to get creduce built and installed.
I then followed steps from http://embed.cs.utah.edu/creduce/using/ to test my installation and get in the first problem: $ creduce ./test1.sh small.c ===< 20948 >===File] running 1 interestingness test(s) in parallel small.best: No such file or directory at /usr/local/bin/creduce line 680 Where should I look? Problem is that I don't know Perl. Thank for all your help. BTW I had also to delete the Sys::CPU item (in line 3309) from 'configure' to get it through. Regards, Tuyen >________________________________ > From: Eric Eide <[email protected]> >To: John Regehr <[email protected]>; [email protected] >Sent: Friday, July 5, 2013 9:22 PM >Subject: Re: [creduce-dev] building C-reduce with cygwin > > > John> Nice. I assume that you can now build a usable C-Reduce on > John> Windows? Have you tested that all passes appear to work as > John> intended? > >I confess that I haven't actually tried! I would welcome news from Tuyen Hoang >about his experiences. > > John> Anything else on your TODO list, Eric? > >I still have one or two packaging nits that I want to address, but I won't be >able to get to them today. Nothing big, I expect. > >I suppose that I should try a Windows build myself, too. > >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 > > >
