Использование Frama-C на Windows 7

Question

Я установил версию Windows для Boron с сайта frame-c http://frama-c.com/download.html

когда я пытаюсь запустить плагин val, я получаю сообщение об ошибке, что препроцессорная переменная CPP не установлена, как показано ниже:

C:\Frama-C\bin>frama-c.exe -val filename.cpp
[kernel] user error: failed to run: gcc -C -E -I.  -o "C:\Users\akandoor\AppData\Local\Temp\filename.cpp4f5d23.i" "filename.cpp"
you may set the CPP environment variable to select the proper preprocessor command or use the option "-cpp-command".
[kernel] user error: skipping file "filename.cpp" that has errors.
[kernel] Frama-C aborted because of an invalid user input.
с помощью команды -cpp я получаю следующую ошибку: 


C:\Frama-C\bin>frama-c.exe -cpp-command 'C:\utils\cygwin\bin\gcc.exe -C -E -I. -
x c' filename.cpp
[kernel] user error: option `-C' is unknown.
                     use `frama-c.exe -help' for more information.
[kernel] Frama-C aborted because of an invalid user input.
Любые подсказки / предложения?
                                    
                                
                            

Answer 1

Вот предложение: поскольку предварительная обработка вызывает проблемы, выполняйте предварительную обработку любым удобным для вас способом, сохраняя предварительно обработанный файл (ы) в виде файлов.i. Затем передайте файлы.i в командной строке Frama-C: он будет знать, что тогда не нужно предварительно их обрабатывать.

Если вы вставляете аннотации в файлы.c или хотите изменить параметры предварительной обработки, не забудьте заново сгенерировать файлы.i.

---

Другим предложением, чаще всего адресованным людям, которые хотят последнюю, улучшенную версию Frama-C, является установка внутри виртуальной машины Linux. Это сделало бы все просто работать. Там будет GCC в PATH по умолчанию, и этот GCC будет принимать параметры командной строки -C а также -E для предварительной обработки. Вы будете использовать ту же среду, что и большинство пользователей и разработчиков Frama-C. И вы могли бы иметь более свежую версию тоже.