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

[Frama-c-discuss] A few accessors...



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