--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on January 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Extra args in clang plugin



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