Как сказано на веб-странице, на которую вы ссылаетесь , «установщик не позволит вам настроить пользовательские параметры: настройку прокси-сервера, выбрать исходную версию OCaml для установки и т. Д.» Более того, поскольку онсоздает новую среду Cygwin, вы не сможете добавить OCaml в среду Cygwin, которая была у вас ранее.
Если вы ранее не использовали Cygwin, и у вас все в порядке с опциями по умолчанию, поставляемыми с графическиминсталлятор и, в частности, версия OCaml, вы можете использовать этот инсталлятор.Если вам нужна конкретная версия OCaml или вы хотите установить ее в существующей среде Cygwin, вам следует использовать ручной метод.
При этом вместо Cygwin используется Windows 10вам лучше установить OCaml и его друзей в WSL , подсистеме Linux, встроенной в Windows.Если вы еще не использовали WSL, сначала вам нужно включить и установить его.Затем просто следуйте инструкциям по установке вещей в Linux Ubuntu.
В чем разница между Cygwin и WSL?
Cygwin делает все возможноеэмулирует POSIX API поверх Windows и требует, чтобы программы были специально скомпилированы с использованием его собственной DLL (а иногда их исходный код должен быть слегка исправлен).
В отличие от WSLобеспечивает настоящее ядро Linux, которое может запускать нативные программы Linux.У вас есть доступ ко всему миру Linux, включая репозиторий пакетов Ubuntu.Это просто проще и менее подвержено проблемам.
Что, если я хочу прямую поддержку Windows, без вложения Unix-подобной среды?
Поддержка OCaml для Windows несколько шатка.Официальный дистрибутив OCaml может быть собран из исходного кода, чтобы получить нативную программу Windows, но поддержка Windows из любого другого инструмента или библиотеки в экосистеме OCaml не предоставляется.Большинство сообщества использует Unix-подобные среды.