我试图在一台无法连接到互联网的计算机上安装Frama-c，因为安全性，但我可以使用USB将所需文件复制到此计算机。该计算机的当前操作系统是Windows。但是，当我尝试在Windows和Frama-c的主页上安装Frama-c时遇到了一些问题，他们说目前Windows并未得到Frama-c团队的正式支持。所以我认为在Ubuntu上安装Frama-c会更好。然后我使用Oracle VM Virtual box安装Ubuntu。请注意，当我安装Ubuntu时，我没有连接互联网，因此我没有安装第三方软件。现在我想问一下，在这种情况下可以安装Frama-c吗？如果是，那么需要哪些文件以及我在哪里可以获得它们？
如果您在具有Internet连接的计算机上安装了opam，则应该可以使用opam-bundle，这是为了创建一个.tar.gz存档，其中包含安装给定包所需的所有ocaml依赖项。
但是请注意，系统依赖性（在Frama-C gmp和gtk C库的情况下）显然不包括在内，因此除非它们包含在用于安装Ubuntu的iso中，否则您需要单独检索它们。
最后，请注意opam可以在windows，https://fdopen.github.io/opam-repository-mingw/installation/上使用，并且应该让你在Windows上安装Frama-C。