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] New Frama-C version: Fluorine

  • Subject: [Frama-c-discuss] New Frama-C version: Fluorine
  • From: anne.pacalet at (Anne Pacalet)
  • Date: Mon, 13 May 2013 11:04:45 +0200
  • In-reply-to: <>
  • References: <> <> <>

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.


>> - #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.


> 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.