--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2012 ---
Hi, Sorry that I made a mistake. I tried adding prefix and actually it did no work. Here is the information after I added prefix: $ frama-c.byte -print-plugin-path /usr/local/lib/frama-c/plugins $ ls `frama-c.byte -print-plugin-path ` Aorai.cmi Aorai.cmxs MyPlugin.cmxs Security_slicing.cmo gui Aorai.cmo MyPlugin.cmo Security_slicing.cmi Security_slicing.cmxs $ frama-c.byte -help Usage: C:\MinGW\msys\1.0\local\bin\ frama-c.byte.exe [options and files...] `C:\MinGW\msys\1.0\local\bin\frama-c.byte.exe -kernel-help' provides a descripti on of the general options of frama-c ***** LIST OF AVAILABLE PLUG-INS dominators Compute dominators and postdominators of statements; use -dominators-help for specific options. from analysis functional dependencies; use -from-help for specific options. impact impact analysis (experimental); use -impact-help for specific options. inout operational, imperative and all kinds of inputs/outputs; use -inout-help for specific options. metrics syntactic metrics; use -metrics-help for specific options. occurrence automatically computes where variables are used; use -occurrence-help for specific options. pdg Program Dependence Graph; use -pdg-help for specific options. postdominators computing postdominators of statements; use -postdominators-help for specific options. report Properties Status Report (experimental); use -report-help for specific options. rte annotation generates annotations for runtime error checking and preconditions at call sites; use -rte-help for specific options. scope data dependencies higher level functions; use -scope-help for specific options. semantic callgraph semantic stratified callgraph; use -scg-help for specific options. semantic constant folding propagates constants semantically; use -scf-help for specific options. slicing code slicer; use -slicing-help for specific options. sparecode code cleaner; use -sparecode-help for specific options. syntactic callgraph syntactic stratified callgraph; use -cg-help for specific options. users function callees; use -users-help for specific options. value analysis automatically computes variation domains for the variables of the program; use -value-help for specific options. I am wondering whether you know the reasons. Thanks in advance! Best, Haihao On Sat, Jul 28, 2012 at 12:38 PM, haihao shen <haihaoshen at gmail.com> wrote: > Thanks Benjamin and Virgile. It works well with --prefix Windows dir. > > > On Fri, Jul 27, 2012 at 8:50 PM, MONATE Benjamin 205998 < > Benjamin.MONATE at cea.fr> wrote: > >> >> >> Benjamin Monate >> CEA LIST >> Head of Software Safety Laboratory >> >> Le 27 juil. 2012 ? 02:59, "haihao shen" <haihaoshen at gmail.com> a ?crit : >> >> > Hi Julien, >> > >> > $ frama-c.byte -print-plugin-path >> > /usr/local/lib/frama-c/plugins >> > >> >> This is not a valid Win32 path. >> Before compiling Frama-C you should add a correct prefix to Frama-C. >> For example: >> ./configure --prefix C:/Frama-C/ >> Avoid path with spaces and use forward slashes. >> This is supposed to be explained in the INSTALL file. >> Best regards, >> Benjamin. >> >> _______________________________________________ >> 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 >> > > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120801/db9fe5f2/attachment.html>