--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New Frama-C version: Fluorine




Le 06/05/2013 13:42, Julien Signoles a ?crit :
> Hello Anne,

Hello Julien,

> Thanks for your quick feedback.

Thanks for your long answer and the bug fixes.

>> - thanks to have added Datatype.Triple, but Type.pp_ml_name seems to be
>> incorrect.
>
> True. Should now be fixed.

Ok.

>
>> - #1287 is said to be fixed, but in fact, frama-c.toplevel is not working
>> anymore
>
> I just
> discover that there are non trivial issues between the Frama-C libraries
> and the OCaml 4.* standard libraries included in the toplevel.

Too bad :-( Thanks to have looked at the problem anyway.

>> - bts #1278 about the internal doc directory is said to be fixed,
>> but it is not.
>
> What have been fixed is the installation of the plug-in doc through the
> Frama-C Makefile. Installation of the doc through the plug-in's Makefile
> is fixed now.

Ok : thanks.

>> - in the INSTALL file, the "API DOCUMENTATION" section refers to
>> frama-c-api.tar.gz
>> which is supposed to be created by "make doc". I don't find it,
>> and I was wondering if it is the same thing that what is installed in
>> /usr/local/share/frama-c/doc/code ?
>
> Actually, the right target of the Makefile to create the tarball is
> "doc-distrib". INSTALL file is fixed.

Ok.

> Feel free to report additional problem if any. BTW do not hesitate to
> (re)open task on the BTS in case of issues.

Ok : but no more problem for the moment.

Many thanks again.
-- 
Anne.