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

[Frama-c-discuss] Frama-c in minGW, window



Hi all,
Is there any way to integrate Frama-c Nitrogen to minGW in window 
environment?
I only find frama-c with GUI in win32, :(
A thousand thanks
BR.