Запуск Frama-c Neon с Джесси

Question

Я установил Frama-C и Why3, но когда я пытаюсь запустить Frama-C, я получаю сообщение об ошибке с Jessie3.

frama-c -verbose 2
[kernel] warning: cannot load plug-in `Jessie3' (incompatible with Neon-20140301).
The exact failure is: error loading shared library:
/usr/local/lib/framac/plugins/Jessie3.cmxs: undefined symbol: camlGzip

Я не нашел никакой информации о camlGzip, так что это может быть ошибка в любом файле конфигурации (это может быть camlzip), но я не знаю, где он объявлен.

Редактировать: я пытался изменить camlGzip в camlzip в Jessie3.cmxs, но это вызывает ошибку сегментации, когда я запускаю frama-c

Мои версии frama-c и Why3:

frama-c -version
Version: Neon-20140301

why3 --version
Why3 platform, version 0.85 (build date: Wed Oct 29 10:42:47 CET 2014)

Я работаю на виртуальной машине Mint17 и не обнаружил ошибок в./configure и make каждой программы

Я надеюсь, что кто-то уже имел эту проблему и может мне помочь

Answer 1

Я только столкнулся с этой проблемой и вроде как решил ее. Вы должны установить Why-2.34, чтобы установить jessie в вашу библиотеку frama-c. Скачать по этой ссылке: https://opam.ocaml.org/packages/why/why.2.34/

У меня были некоторые проблемы с компиляцией, так как я должен удалить coq, чтобы он успешно скомпилирован. Кстати, кто-нибудь знает, как я должен сообщить об ошибке компиляции coq, пожалуйста, помогите.

Также, если у вас есть Why3.85, я рекомендую вам понизить до 3.83, так как кажется, что это единственная версия, которая распознается Why.2.34.

Приветствия.