[英]Launching Frama-c neon with jessie
我已經安裝了 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),但我還沒有找到它的聲明位置。
編輯:我嘗試在 Jessie3.cmxs 中的 camlzip 中修改 camlGzip,但是當我啟動 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 都沒有錯誤
我希望有人已經遇到這個問題並且可以幫助我
我剛剛遇到了這個問題並修復了它。 您必須安裝 Why-2.34 才能將 jessie 安裝到您的 frama-c 庫中。 從此鏈接下載: https : //opam.ocaml.org/packages/why/why.2.34/
我在編譯它時遇到了一些麻煩,因為我必須刪除 coq 才能成功編譯它。 順便說一句,有人知道我應該如何報告 coq 編譯錯誤,請幫忙。
另外如果你有Why3.85,我建議你降級到3.83,因為它似乎是Why.2.34唯一認可的版本。
干杯。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.