On Monday 25 January 2010 10:13:44 Brad Hards wrote: > Let me have another go with the configure stuff, and I'll send you a > revised patch. I've updated it to support using unmodified CVC3 (so it should work from distro packages) and added a --with-yices option to the configure script. I also added some installation instructions and some general cleanup stuff.
Patch attached. Brad
_______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
