--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on September 2012 ---
Hello Lo?c, Le 24/09/2012 16:32, Lo?c Correnson a ?crit : > For the native compilation problem, you may export variable environment > OPTC to "" to compile with bytecode compilers. > (typically: make OPTC= [targets...] ). > I'll try to fix it automatically at configure time. As I said, I installed the native compilers (I should have done this before !), and everything worked well then. Thanks anyway for your answer. I didn't try the new WP for the moment, but I surely will ;-) Bye, -- Anne.