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