Что вам нужно, так это статически связывать двоичные файлы. MacOS, к сожалению, официально не поощряет и не рекомендует устанавливать ссылки * stati c. Старая страница может быть найдена здесь . Вы также можете найти этот ответ Stackoverflow полезным.
Это меньше связано с самим OCaml и больше касается поведения компоновщиков на разных платформах (MacOS, Linux et c)
Чтобы решить вашу проблему, вы можете проверить esy-gmp , если вы используете esy в качестве менеджера пакетов. Если вы работаете в OPAM, вы можете добавить conf-gmp к своим зависимостям opam
Все это, как говорится, если вы заинтересованы в установлении связи c на поддерживаемой платформе, такой как Linux (и Windows тоже, наверное?), Вам нужно будет предоставить C флаги компоновщика через дюну
(link_flags (-ccopt -static))