--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on May 2009 ---
I've patched frama-c so to add a few accessors, those have been handy to manipulate some data I needed for a plugin. Here is a patch, the frama-c's developper might consider adding this to mainstream. By the way, frama-c's Makefile parallel processing is buggy: make -j1 works, make -j2 fails. I don't know much about Makefile but if it can helps: make -j1 depend && make -j2 works So apparently the parallel processing problem is within the depend rule. And also by the way, frama-c (and almost all possible dependencies) are now part of the scientific overlay of gentoo linux: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git So it's easier now to install for linux folks ;) -------------- next part -------------- A non-text attachment was scrubbed... Name: frama-c-20081201-accessors.patch Type: text/x-patch Size: 4753 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090504/2d196c6f/attachment.bin