--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on January 2019 ---
Hello, Le mer. 16 janv. 2019 à 02:19, Subash Shankar < subash.shankar at hunter.cuny.edu> a écrit : > I am trying to use the clang plugin with my own additional include > files. To do this, I am typing: > frama-c -fclang-cpp-extra-args="-I /opt/foo" hello.cpp > However, it does not seem to be recognizing the extra argument. To > confirm this, I also tried it with the -fclang-msg-key clang option, and > it does not seem to be passing the argument to clang. This is with > Chlorine+clang 0.0.6. > > Alternatively, is there a better way to bring in -I and -L options? > You're right, there is an issue with this option. Thanks for reporting this, and sorry for the inconvenience. For workarounds, please note that this option was meant to be used only if you are parsing a mix of C and C++ files _and_ wish to have a separate set of options for the C and C++ files. Otherwise, you can use the standard -cpp-extra-args option which is taken into account by the frama-clang plugin. 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/20190116/cba31ef5/attachment.html>