--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on July 2012 ---
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.