--- layout: fc_discuss_archives title: Message 58 from Frama-C-discuss on July 2012 ---
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/20120728/23657d26/attachment.html>