如何在没有互联网连接的计算机上安装Frama-c

Question

由于安全性原因，我试图在无法连接到互联网的计算机上安装Frama-c，但可以使用USB将所需的文件复制到此计算机上。该计算机的当前操作系统是Windows。 但是，在尝试在Windows以及Frama-c主页上安装Frama-c时遇到了一些问题，他们说Frama-c团队目前不正式支持Windows。因此，我认为最好在Ubuntu上安装Frama-c。然后，我使用Oracle VM Virtual Box安装了Ubuntu。请注意，当我安装Ubuntu时，我没有互联网连接，因此没有安装第三方软件。 现在我想问的是在这种情况下是否可以安装Frama-c？如果是，那么需要什么文件，我在哪里可以得到它们？

Answer 1

如果您将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。