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