--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on November 2011 ---
Thanks, that worked. (I created symlink to Simplify OS X binary and called it "simplify") -s On Nov 29, 2011, at 1:00 PM, Jens Gerlach wrote: > Hello Stephen, > > after downloading and installing the prover you have to call why-config. > > Regards > > Jens > > On 29.11.2011, at 18:43, Stephen Siegel wrote: > >> I am using the binary Carbon release for OS X. >> How do I install a new prover----e.g., Simplify? >> Right now I have alt-ergo and CVC3 just working (I didn't have to do anything). >> Thx, >> Steve >> >> >> _______________________________________________ >> Frama-c-discuss mailing list >> Frama-c-discuss at lists.gforge.inria.fr >> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > > > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss