由于安全性原因,我试图在无法连接到互联网的计算机上安装Frama-c,但可以使用USB将所需的文件复制到此计算机上。该计算机的当前操作系统是Windows。 但是,在尝试在Windows以及Frama-c主页上安装Frama-c时遇到了一些问题,他们说Frama-c团队目前不正式支持Windows。因此,我认为最好在Ubuntu上安装Frama-c。然后,我使用Oracle VM Virtual Box安装了Ubuntu。请注意,当我安装Ubuntu时,我没有互联网连接,因此没有安装第三方软件。 现在我想问的是在这种情况下是否可以安装Frama-c?如果是,那么需要什么文件,我在哪里可以得到它们?
答案 0 :(得分:0)
如果您将opam
安装在具有互联网连接的计算机上,则应该可以使用opam-bundle
,这是为了创建包含所有 ocaml 依赖项,用于安装给定软件包。
但是请注意,显然没有包括系统依赖项(对于Frama-C gmp和gtk C库),因此,除非它们已包含在您用来安装Ubuntu的iso中,否则,您将需要分别检索它们。
最后,请注意.tar.gz
在Windows的https://fdopen.github.io/opam-repository-mingw/installation/上可用,应该允许您在Windows上安装Frama-C。