Доступен двоичный файл Frama-C Windows?

Я ищу несколько экспериментов с проектом с открытым исходным кодом Frama-C и хотел бы установить инструменты на компьютере под управлением Windows 7. Похоже, что предыдущие версии имеют двоичные установки для Windows, но последняя версия, Nitrogen, имеет только исходный код. На веб-сайте проекта frama-c.com говорится, что они должны быть доступны, но я не вижу их на странице загрузки. Доступны ли двоичные установщики где-то еще?Доступен двоичный файл Frama-C Windows?

источник

2012-01-01 Bryan C.

Для построения версии командной строки требуется только среда POSIXish и OCaml (версия между 3.10.2 и 3.12.1). Поэтому, если у вас уже установлен MinGW, он должен быть таким же простым, как установка двоичного пакета для OCaml из http://caml.inria.fr/, а затем компиляция Frama-C из источника. Это GUI, который расстраивает компиляцию и распространение. –

Все еще не ответ, но Sylvain Nahas предоставляет относительно подробные инструкции по компиляции как часть этого отчета об ошибке: http://bts.frama-c.com/view.php?id=1087 –

Вы найдете here инструкции по установке бинарной версии Frama-C Nitrogen, последней версии на момент написания этой статьи. Он устанавливает поверх старой версии Boron и обновляет ее до азота.

источник

2012-02-10 08:50:28

После всего этого времени я, наконец, обойтись для установки, но у меня возникают проблемы с ссылкой на инструкцию, которую у вас есть. После выполнения всех шагов и выполнения теста, я получаю сообщение об ошибке: Неустранимая ошибка: исключение GdkPixbuf.GdkPixbufError (3, "Не удалось распознать изображение Формат файла для файла 'C: \ Frama-c- Nitrogen-20111001 \ share \ frama-c/frama-c.ico '")« Этот файл есть, поэтому я не уверен, в чем проблема. Я могу попробовать установить под MSYS. –

У меня такая же проблема на очень недавняя установка, по какой-то причине только этому удалось избежать только в лабораторных условиях WODI. В любом случае, поскольку это только значок панели задач программы и имеет просто эстетические цели, вы можете безопасно стереть файл .ico (и, в конечном итоге, файл .gif как ну, если у вас есть проблемы с этим, как и я) и снова запустите, он выдаст предупреждение, но в противном случае он будет работать нормально. – anol

Доступен двоичный файл Frama-C Windows?

ответ

Смежные вопросы