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

[Frama-c-discuss] Frama-C Oxygen-20120901



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.