Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] MS Windows / MinWG / broken dynamic plug-in detection / other
- Subject: [Frama-c-discuss] MS Windows / MinWG / broken dynamic plug-in detection / other
- From: sylvain.nahas at googlemail.com (sylvain nahas)
- Date: Thu, 9 Feb 2012 13:18:40 +0100
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