--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on January 2019 ---
Hi, 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? Thanks in advance for any help. - Subash