--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on April 2013 ---
Hello, First of all, many thanks for this new version of Frama-C. The compilation of my plug-ins went smoothly, and the modification where mainly about the Printer and the new 'category' log feature. Nevertheless, some remarks about (little) things that are not working : - thanks to have added Datatype.Triple, but Type.pp_ml_name seems to be incorrect. Bts #1127 is fixed for Datatype.pair, but Triple leads to Datatype.Triple.instantiate which is not recognized later on : Error: Unbound value Datatype.Triple.instantiate $ sed -i "s/Datatype.Triple.instantiate/Datatype.triple/g" api.ml fixes the problem. - #1287 is said to be fixed, but in fact, frama-c.toplevel is not working anymore :-( It just returns and does nothing... Moreover, it doesn't understand the usual toplevel options like -I or -init. It seems to me that this is not an ocaml toplevel... This problem is the more serious one since I think that I have no idea of how to go arround :-( - bts #1278 about the internal doc directory is said to be fixed, but it is not. When I do : $ make install-doc-code It still install my documentation in /usr/local/share/frama-c/doc/XXX while the doc of the other plug-ins are in /usr/local/share/frama-c/doc/code/code/ So the link to ../index.html (from code/intro_plugin_default.txt) are broken. - 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 ? That's all for now, but I decided now to try the new ocaml version, so maybe some more problem to come... ;-) Bye. -- Anne.