Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-C Oxygen-20120901
- Subject: [Frama-c-discuss] Frama-C Oxygen-20120901
- From: loic.correnson at cea.fr (Loïc Correnson)
- Date: Mon, 24 Sep 2012 16:32:10 +0200
- In-reply-to: <505ACE1B.5090201@free.fr>
- References: <5059DFFE.5080209@cea.fr> <505ACE1B.5090201@free.fr>
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
- Follow-Ups:
- [Frama-c-discuss] Frama-C Oxygen-20120901
- From: anne.pacalet at free.fr (Anne Pacalet)
- [Frama-c-discuss] Frama-C Oxygen-20120901
- References:
- [Frama-c-discuss] Frama-C Oxygen-20120901
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Frama-C Oxygen-20120901
- From: anne.pacalet at free.fr (Anne Pacalet)
- [Frama-c-discuss] Frama-C Oxygen-20120901
- Prev by Date: [Frama-c-discuss] Some information on invariant needs
- Next by Date: [Frama-c-discuss] Frama-C Oxygen-20120901
- Previous by thread: [Frama-c-discuss] Frama-C Oxygen-20120901
- Next by thread: [Frama-c-discuss] Frama-C Oxygen-20120901
- Index(es):