Как установить Frama-c на компьютер без подключения к интернету

Question

Я пытаюсь установить Frama-c на компьютер, который не может подключиться к Интернету из-за безопасности, но я могу скопировать необходимые файлы на этот компьютер через USB. Текущая операционная система этого компьютера - Windows. Однако у меня были некоторые проблемы при попытке установить Frama-c на Windows и на домашней странице Frama-c, они говорят, что в настоящее время Windows официально не поддерживается командой Frama-c. Поэтому я думаю, что лучше установить Frama-c на Ubuntu. Затем я использовал Oracle VM Virtual box для установки Ubuntu. Обратите внимание, что когда я устанавливал Ubuntu, у меня не было подключения к интернету, поэтому я не устанавливал стороннее программное обеспечение. Теперь я хочу спросить, возможно ли установить Frama-c в этом случае? Если да, какие файлы нужны и где их взять?

Answer 1

Если на компьютере, подключенном к Интернету, установлено opam, можно использовать opam-bundle, что означает создание .tar.gz архива, содержащего все ocaml зависимости, необходимые для установки данного пакета.

Обратите внимание, что системные зависимости (в случае библиотек Frama-C gmp и gtk C), по-видимому, не включены, поэтому, если они не включены в iso, который вы использовали для установки Ubuntu, вы нужно будет получить их отдельно.

Наконец, обратите внимание, что opam доступно в Windows по адресу https://fdopen.github.io/opam-repository-mingw/installation/ и должно позволить вам установить Frama-C на Windows.