--- layout: fc_discuss_archives title: Message 17 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 Anne,
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.
	L.



Le 20 sept. 2012 ? 10:04, Anne Pacalet a ?crit :

> Hello all,
> 
> Le 19/09/2012 17:08, Julien Signoles wrote :
>> We are glad to announce a new major release of Frama-C, namely 
>> Oxygen-20120901.
> 
> Thanks to you all for this new version. I couldn't wait to install it !
> 
> I just had a small compilation problem :
> 
> Compiling    Qed (byte)
> make[1]: ocamllex.opt : commande introuvable
> make[1]: *** [lexer.ml] Erreur 127
> make: *** [src/wp/qed/bin/Qed.cmo] Erreur 2
> 
> In config.log, I had :
> 
> configure:3127: checking for ocamllex
> configure:3143: found /usr/bin/ocamllex
> configure:3155: result: ocamllex
> configure:3168: checking for ocamllex.opt
> configure:3196: result: no
> 
> Then, I installed ocaml-native-compilers from my Ubuntu distribution,
> and everything is ok now, but there is maybe something to fix there.
> 
> I then tried to recompile my plug-ins.
> 
> First of all, it seems that the script bin/nitrogen2oxygen.sh is not in
> the source distribution,
> but anyway, I prefer to fix things myself.
> 
> I have two questions for now :
> 
> - Kernel_function.get_spec kf disappeared and seems to be
> Annotations.funspec now.
>  But what about Kernel_function.set_spec ? It doesn't exist anymore ?
> 
> - one of my plug-in compiled with no error, but when trying to load it,
> I get :
> [kernel] failure: unexpected exception
> "Invalid_argument(\"Descr.of_structural: inconsistent descriptor\")"
>  Any idea of how I can find the problem ?
> 
> Thanks in advance.
> -- 
> Anne.
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss