Ubuntu 22.04环境下Frama-Clang安装时Dune相关错误的解决请求
大家好,我正在Ubuntu 22.04系统上安装frama-clang,目前已经成功安装并能正常使用frama-c v28.1,也配齐了所有依赖组件:camlp5v8.02.01、clang v14.0.0-1ubuntu1.1、opam v4.13.1和cmake v3.22.1。
不过安装frama-clang的过程中碰到了两个问题,想请教大家怎么解决:
问题1:通过opam安装时进程被终止
我执行opam install frama-clang命令后,出现了如下错误:
The following actions will be performed:
∗ install frama-clang 0.0.15<> Processing actions <>
⬇ retrieved frama-clang.0.0.15 (cached)
Processing 2/3: [frama-clang: dune build]Killed
问题2:从源码编译时触发Dune内部错误
我下载了frama-clang-0.0.15源码包,在源码目录下执行make命令后,得到了这样的错误信息:
~/frama-clang-0.0.15$ make
Internal error, please report upstream including the contents of _build/log.
Description:
("Local.relative: received absolute path", { t = "."; path = "/sframa-c" })
Raised at Stdune__Code_e...
麻烦各位帮忙看看这两个问题该怎么排查和解决,谢谢!
备注:内容来源于stack exchange,提问作者Letitia Li

