--- layout: fc_discuss_archives title: Message 83 from Frama-C-discuss on September 2013 ---
Hello David, 2013/9/12 David Yang <abiao.yang at gmail.com>: > While I use gcc -C -E -I/$FRAMA_C_PATH/share/frama-c/libc -nostdinc test.c > > It failed to pre-process the file. The "$FRAMA_C_PATH" notation was supposed to mean the location of YOUR Frama-C setup. ;-) In my case this is "/usr/local/stow/frama-c-Fluorine-20130601/share/frama-c/libc" so I need to use command: gcc -C -E -I/usr/local/stow/frama-c-Fluorine-20130601/share/frama-c/libc -nostdinc test.c You need to adapt this to YOUR setting. Notice that command "frama-c -print-share-path" can help you find the relevant path. Best regards, david