--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dynamic Plugin Enabled in Linux but Failed in Windows




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.