--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on February 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compatibility-fix release of Frama-Clang



Dear list,

as pointed out in https://bts.frama-c.com/view.php?id=2368 (and reported
previously in the frame of the VESSEDIA project - https://vessedia.eu),
there is an issue when trying to use Frama-Clang against the Clang and LLVM
packages provided by Debian and its derivatives (note that a Clang/LLVM
installation compiled from the sources will not exhibit the problem).

A new release of Frama-Clang (0.0.5) is available on
http://frama-c.com/frama-clang.html to fix this issue. This is the only
change with respect to 0.0.4, hence there is no need to update if you have
a working Frama-Clang installation.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180219/fc6265b3/attachment.html>