--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on September 2012 ---
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.