--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on February 2012 ---
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