--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2013 ---
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.