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

[Frama-c-discuss] MS Windows / MinWG / broken dynamic plug-in detection / other



Hi, dear users of MinGW/Frama-C,

I am wondering if you are having the same effect as the one I get and
reported here:
http://bts.frama-c.com/view.php?id=1087

Short description: on my system (MS Windows XP SP3, MinGW/MSYS,
compiled from sources), dynamic plugins are not detected by Frama-C if
the FRAMAC_PLUGIN env. variable is not set.

What could possibly be wrong?

Thanks!
Sylvain